This work presents a modeling and simulation platform for embedded control systems where real-time requirements are explicitly specified in the system model by using the Timing Definition Language (TDL). TDL employs the Logical Execution Time (LET) abstraction to specify platformindependent execution times of periodic time-triggered computational tasks, with the main aim of achieving time and value determinism of composable embedded software. For a certain execution platform, this aim is attained if the software components can be suitably scheduled for execution so that the LET specifications are satisfied. In general, an embedded control system contains also concurrent computations triggered by environment conditions (dynamic events), which share the same execution platform. This makes static schedulability analysis for the LET-based part hard to achieve. Thus, a simulation platform is needed to investigate the interaction between time-triggered components and components triggered by dynamic events. We have implemented such a simulation platform by extending the Ptolemy II framework, thus leveraging models of computation that are already available in Ptolemy II, such as the modal model and the discrete event domains.
[1]
Petru Eles,et al.
Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems
,
2002,
Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627).
[2]
Edward A. Lee,et al.
Heterogeneous Concurrent Modeling and Design in Java (Volume 3: Ptolemy II Domains)
,
2008
.
[3]
Norman Scaife,et al.
Integrating model-based design and preemptive scheduling in mixed time- and event-triggered systems
,
2004,
Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004..
[4]
Edward A. Lee,et al.
Timed multitasking for real-time embedded software
,
2003
.
[5]
Thomas A. Henzinger,et al.
From control models to real-time code using Giotto
,
2003
.
[6]
Edward A. Lee,et al.
Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II)
,
2008
.