Using LTTng for runtime monitoring of models of real-time embedded systems
Loading...
Authors
Das, Nondini
Date
2016-11-01
Type
thesis
Language
eng
Keyword
Papyrus-RT , MDD , LTTng , UML-RT , Runtime Monitoring
Alternative Title
Abstract
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.
Description
Thesis (Master, Computing) -- Queen's University, 2016-10-31 15:49:30.47
Citation
Publisher
License
Queen's University's Thesis/Dissertation Non-Exclusive License for Deposit to QSpace and Library and Archives Canada
ProQuest PhD and Master's Theses International Dissemination Agreement
Intellectual Property Guidelines at Queen's University
Copying and Preserving Your Thesis
Creative Commons - Attribution - CC BY
This publication is made available by the authority of the copyright owner solely for the purpose of private study and research and may not be copied or reproduced except as permitted by the copyright laws without written authority from the copyright owner.
This publication is made available by the authority of the copyright owner solely for the purpose of private study and research and may not be copied or reproduced except as permitted by the copyright laws without written authority from the copyright owner.
ProQuest PhD and Master's Theses International Dissemination Agreement
Intellectual Property Guidelines at Queen's University
Copying and Preserving Your Thesis
Creative Commons - Attribution - CC BY
This publication is made available by the authority of the copyright owner solely for the purpose of private study and research and may not be copied or reproduced except as permitted by the copyright laws without written authority from the copyright owner.
This publication is made available by the authority of the copyright owner solely for the purpose of private study and research and may not be copied or reproduced except as permitted by the copyright laws without written authority from the copyright owner.