1. Supervised By: Dr. Juergen Dingel Suchita Ganesan, Laith “Leo” Juwaidah, Nondini Das Nicolas Hili, Reza Ahmadi Model-Based Monitoring for PapyrusRT 5/5/20161

2. Outline Monitoring time constraints Research project goals Implementation details Demo Challenges and solutions Vision (Nicolas) Model based animation and interaction (Nicolas) Model based debugging (Reza) 5/5/20162

3. UML-RT and PapyrusRT 5/5/20163

4. Real time systems are huge and complex Convenient for communicating design concepts UML-RT is a profile of UML for real-time embedded systems Supports encapsulation and reuse Why UML-RT? 5/5/20164

5. UML-RT Ping Pong Example 5/5/20165

6. PapyrusRT Real-time variation of Papyrus Open source Eclipse plugin UML-RT 5/5/20166

7. Research Project Goals 5/5/2016 7

8. Problem Statement 5/5/20168 Latency problem

9. Solution Monitoring the generated code can be used for:  Model debugging  Model refinement  Runtime verification  Monitoring performance 5/5/20169

10. Implementation Overview Monitoring UI Code Generation Trace Collection & Display 5/5/201610

11. Workflow Run and trace the code with LTTng Display traces on model level Code-generation feature of PapyrusRT UI for monitoring configuration Model with Monitoring Information MODEL LEVEL CODE LEVEL Generated Trace Files Code with Tracepoint Files UML-RT Model Model with Trace Results UI for monitoring configuration 5/5/201611

12. Monitoring UI Profiled Model Code Generation LTTng-Ready Code Trace Collection & Display Model with Trace Info. Monitoring UI 5/5/201612

13. Monitoring UI – Monitoring Configuration 5/5/201613

14. Monitoring UI – Approach Monitoring profile Custom stereotypes Interface with the code generator 5/5/201614

15. Monitoring UI – Overview UML-RT Model in PapyrusRT PapyrusRT User selects the elements to be monitored Eclipse Plugin Update the stereotypes of selected elements UML Profiles 5/5/201615

16. Monitoring UI Profiled Model Code Generation LTTng-Ready Code Trace Collection & Display Model with Trace Info. Code Generation 5/5/201616

17. Profiled model UML profiles Add tracepoints to code Xtend Generate LTTng-ready code LTTng Code Generation – Overview 5/5/201617

18. Capsule_Workstation::State Capsule_Workstation::state_____top__Workstation_Producing( const UMLRTMessage * msg ) { tracepoint( ActiveState__Workstation__Workstation_Producing_provider, ActiveState__Workstation__Workstation_Producing_tracepoint, "ActiveState__Workstation__Workstation_Producing" ); switch( msg->destPort->role()->id ) { case port_ProductionTimer: switch( msg->getSignalId() ) { case UMLRTTimerProtocol::signal_timeout: tracepoint( MessageReceived__Workstation__Workstation_finished_provider, MessageReceived__Workstation__Workstation_finished_tracepoint, "MessageReceived__Workstation__Workstation_finished" ); actionchain_____top__Workstation_finished__ActionChain4( msg ); return top__Workstation_Standby; default: this->unexpectedMessage(); break; } return currentState; default: this->unexpectedMessage(); break; } return currentState; } Code Generation – Example 5/5/201618

19. Monitoring UI Profiled Model Code Generation LTTng-Ready Code Trace Collection & Display Model with Trace Info. Trace Collection & Display 5/5/201619

20. Trace Collection & Display - Goals Monitor generated code Collect the monitoring information Display the traces on the model 5/5/201620

21. Trace Collection & Display – Overview Append LTTng script to the code generator Xtend Run the generated code and generate trace file LTTng Parse the trace file / Read live traces Trace Compass Display traces on the model Eclipse Plugin 5/5/201621

22. Demo 5/5/201622

23. Rover Architecture HardwareFile SystemGPIO ClassRover LibraryControl Software 5/5/201623

24. Rover Model - Structure 5/5/201624

25. Rover Model – Control Software 5/5/201625

26. Rover Model – Engine Controller 5/5/201626

27. Next Steps Support for more options to monitor Apply the results towards a general vision of other activities – Animation interaction – Model based debugging 5/5/201627

28. 5/5/201628