Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download
Contributor : Hela Guesmi <>
Submitted on : Sunday, April 24, 2016 - 12:26:54 PM
Last modification on : Thursday, July 9, 2020 - 9:43:25 AM
Document(s) archivé(s) le : Tuesday, November 15, 2016 - 10:42:28 AM


Files produced by the author(s)


  • HAL Id : hal-01306466, version 1



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⟩



Record views


Files downloads