Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations

Hela Guesmi (1, 2) , Belgacem Ben Hedia (1) , Simon Bliudze (3) , Mathieu Jan (1) , Saddek Bensalem (2)

1 LIST (CEA) - Laboratoire d'Intégration des Systèmes et des Technologies
2 VERIMAG - IMAG - VERIMAG
3 EPFL - Ecole Polytechnique Fédérale de Lausanne

In embedded systems, high-level component-based design approaches have been proposed in order to allow specification and design of complex real-time systems. However, their final implementations mostly rely on the generation of code for generic execution platforms. On the other hand, a variety of Real-Time Operating System (RTOS), in particular when based on the Time-Triggered (TT) paradigm, guarantee the temporal and behavioural determinism of the executed software. However, these TT-based RTOS do not provide high-level design frameworks enabling the scalable design of complex safety-critical real-time systems. The goal of our work is to couple a high-level component-based design approach based on the RT-BIP (Real-Time Behaviour-Interaction-Priority) framework with a safety-oriented real-time execution platform, implementing the TT approach. Thus, we combine their complementary advantages, by deriving correct-by-construction TT implementations from high-level componentised models. To this end, we propose an automatic transformation process from RT-BIP models into applications for the target platform based on the TT execution model. This transformation is already partially implemented.

Domaines: Systèmes embarqués

Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Mathieu Jan, Saddek Bensalem. Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations. RTAS, Apr 2016, Vienna, Austria. pp.13. ⟨hal-01306466⟩