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

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

UML-RT and PapyrusRT 5/5/20163

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

UML-RT Ping Pong Example 5/5/20165

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

Research Project Goals 5/5/2016 7

Problem Statement 5/5/20168 Latency problem

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

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

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

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

Monitoring UI – Monitoring Configuration 5/5/201613

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

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

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

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

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

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

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

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

Demo 5/5/201622

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

Rover Model - Structure 5/5/201624

Rover Model – Control Software 5/5/201625

Rover Model – Engine Controller 5/5/201626

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

5/5/201628