In order to combine advantages of Real-Time Operating Systems (RTOS) implementing the Time-Triggered (TT) execution model and model-based design frameworks, we aim at proposing a correct-by-design methodology that derives correct TT implementations from high-level models. This methodology consists of two main steps; (1) transforming the high-level model into an intermediate which respects the TT communication principles and where all communication between components are simple send/receive interactions, and (2) transforming the obtained intermediate model into the programming language of the target platform. In this paper, we focus on the presentation of the methodology of the first step of the design flow. This methodology produces a correct-by-construction TT model by starting from a high-level model of the application software in Behaviour, Interaction, Priority (BIP).
CITATION STYLE
Guesmi, H., Ben Hedia, B., Bliudze, S., Bensalem, S., & Le Nabec, B. (2017). TT-BIP: Using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10466 LNCS, pp. 171–188). Springer Verlag. https://doi.org/10.1007/978-3-319-66176-6_12
Mendeley helps you to discover research relevant for your work.