@inproceedings{367,
  author = {Graham Hemingway and Joseph Porter and Nicholas Kottenstette and Chris vanBuskirk and Gabor Karsai and Janos Sztipanovits},
  title = {Automated synthesis of time-triggered architecture-based TrueTime models for platform effects simulation and analysis},
  abstract = {The TrueTime toolbox simulates real-time control sys- tems, including platform-specific details like process scheduling, task execution and network communications. Analysis using these models provides insight into platform- induced timing effects, such as jitter and delay. For safety- critical applications, the Time-Triggered Architecture (TTA) has been shown to provide the necessary services to create robust, fault-tolerant control systems. Communication in- duced timing effects still need to be simulated and analyzed even for TTA-compliant models. The process of adapting time-invariant control system models, through the inclusion of platform specifics, into TTA-based TrueTime models re- quires significant manual effort and detailed knowledge of the desired platform’s execution semantics. In this paper, we present an extension of the Embedded Systems Model- ing Language (ESMoL) tool chain that automatically syn- thesizes TTA-based TrueTime models. In our tools, time- invariant Simulink models are imported into the ESMoL modeling environment where they are annotated with de- tails of the desired deployment platforms. A constraint- based offline scheduler then generates the static TTA execu- tion schedules. Finally, we synthesize new TrueTime models that encapsulate all of the TTA execution semantics. Using this approach it is possible to rapidly prototype, evaluate, and modify controller designs and their hardware platforms to better understand deployment induced performance and timing effects.},
  year = {2010},
  journal = {Rapid System Prototyping},
  pages = {1-7},
  month = {10/2010},
  publisher = {IEEE},
  address = {Fairfax, VA},
  isbn = {978-1-4244-7073-0},
}