University of Twente Student Theses


Testing real-time requirements for integrated systems

Peterson, R.S. (2010) Testing real-time requirements for integrated systems.

[img] PDF
Abstract:Problem Integrating two or more hard real-time devices while assuring real-time requirements is a complex task. Model-based techniques exist for assisting developers with validating real-time requirements. Hereby, a developer specifies (expected) execution timings, such as the Worst Case Execution Time (WCET). These models serve as input for model checkers which use the specified timings to validate the real-time requirements. During literature research no methods/approaches to test and assure the correctness of the specified timings were found. This research aims to close this gap. Solution Initially, a new Domain-Specific Language (DSL) was developed to model the system. This had great resemblance with Architecture Analysis & Design Language (AADL). Because AADL is an industry standard and existing tools can be reused, AADL was chosen to model the system to be developed. AADL is extended with the ability to specify monitors, which monitor execution scenarios. The developer can implement his own monitor listeners and specify what to do on execution scenario start, finish, strict violation and deadline miss. A code generator is built which transforms an instance of the extended AADL model into source code which cooperates with the created framework. The framework provides an implementation for the created AADL extension and the essential AADL parts for modelling a case-study.
Item Type:Essay (Master)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science MSc (60300)
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page