[Back]

I. Ayestaran, Carlos Nicolas, J. Perez, P. Puschner:
"Modeling Logical Execution Time Based Safety-Critical Embedded Systems in SystemC";
Talk: The Third Mediterranean Conference on Embedded Computing (MECO), Budva, Montenegro; 2014-06-15 - 2014-06-19; in: "Proceedings 3rd Mediterranean Conference on Embedded Computing (MECO)", IEEE, (2014), ISBN: 978-1-4799-4827-7; 77 - 80.

The increase in the amount of functionalities provided by safety-critical systems in the last years has lead to a complexity growth in these systems. Several techniques have been developed in order to tackle this issue, including simplification strategies and the definition of time-deterministic models of computation (MoCs) and architectures, such as the Logical Execution Time MoC (LET) and the Time-Triggered Architecture (TTA) respectively. Although TTA based systems relying on the LET MoC have already been successfully applied to safety-critical systems, SystemC, the nowadays de-facto standard in HW/SW system development, does not provide a LET-based simulation engine for the modeling and assessment of these systems. With the aim to fill this gap, this paper presents the PI-TTM, a novel SystemC extension for the modeling and simulation of LET based safety-critical embedded systems.

Logical Execution Time, LET, SystemC, system modeling, time-triggered

http://dx.doi.org/10.1109/MECO.2014.6862662