Using LTTng for runtime monitoring of models of real-time embedded systems
Papyrus-RT , MDD , LTTng , UML-RT , Runtime Monitoring
Model-Driven Development (MDD) is used for reducing the complexity of a software development process. One of the principal features of MDD which can make it very effective is the support for automatically generating code from the modeling artifacts. An example of MDD is the development of complex real time embedded software systems using the real time profile of UML (UML-RT). Development of this software is difficult mainly due to the requirement to satisfy timing constraints in a resource-constrained environment. Determining the correctness of this requirement is very important for ensuring the integrity and reliability of a real time software system. This research focuses on examining the correctness of timing information related to UML-RT models. The Linux Trace Toolkit: next generation (LTTng) is used for monitoring an executable real-time application, where the code is generated from UML-RT models using the open-source Papyrus-RT tool. Some of the key research outcomes include the ability to trace a user application, to read a trace file, display the trace results on the model level and display associated timestamps in textual form through the implementation of an Eclipse plugin. In addition, support is also provided to verify the actual timing information of a trace file against the desired user input. This feature enables users to find out the occurrence of any timing delay. Finally, three case studies are conducted using the prototype Eclipse plugin.