Show simple item record

dc.contributor.authorDas, Nondini
dc.contributor.otherQueen's University (Kingston, Ont.). Theses (Queen's University (Kingston, Ont.))en
dc.date2016-10-31 13:16:02.966en
dc.date2016-10-31 15:49:30.47en
dc.date.accessioned2016-11-01T13:30:23Z
dc.date.available2016-11-01T13:30:23Z
dc.date.issued2016-11-01
dc.identifier.urihttp://hdl.handle.net/1974/15215
dc.descriptionThesis (Master, Computing) -- Queen's University, 2016-10-31 15:49:30.47en
dc.description.abstractModel-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.en_US
dc.languageenen
dc.language.isoenen_US
dc.relation.ispartofseriesCanadian thesesen
dc.rightsQueen's University's Thesis/Dissertation Non-Exclusive License for Deposit to QSpace and Library and Archives Canadaen
dc.rightsProQuest PhD and Master's Theses International Dissemination Agreementen
dc.rightsIntellectual Property Guidelines at Queen's Universityen
dc.rightsCopying and Preserving Your Thesisen
dc.rightsCreative Commons - Attribution - CC BYen
dc.rightsThis 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.en
dc.rightsThis 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.en
dc.subjectPapyrus-RTen_US
dc.subjectMDDen_US
dc.subjectLTTngen_US
dc.subjectUML-RTen_US
dc.subjectRuntime Monitoringen_US
dc.titleUsing LTTng for runtime monitoring of models of real-time embedded systemsen_US
dc.typeThesisen_US
dc.description.degreeMasteren
dc.contributor.supervisorDingel, Juergenen
dc.contributor.departmentComputingen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record