Loading [MathJax]/extensions/TeX/ietmacros.js
Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis | IEEE Conference Publication | IEEE Xplore

Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis


Abstract:

The TrueTime toolbox simulates real-time control systems, including platform-specific details like process scheduling, task execution and network communications. Analysis...Show More

Abstract:

The TrueTime toolbox simulates real-time control systems, 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 induced 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 requires significant manual effort and detailed knowledge of the desired platform's execution semantics. In this paper, we present an extension of the Embedded Systems Modeling Language (ESMoL) tool chain that automatically synthesizes TTA-based TrueTime models. In our tools, timeinvariant Simulink models are imported into the ESMoL modeling environment where they are annotated with details of the desired deployment platforms. A constraint-based offline scheduler then generates the static TTA execution 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.
Date of Conference: 08-11 June 2010
Date Added to IEEE Xplore: 03 December 2010
ISBN Information:

ISSN Information:

Conference Location: Fairfax, VA, USA

References

References is not available for this document.