Externalisation of Time-Triggered communication system in BIP high level models

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

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

To target a wider spectrum of Time-Triggered(TT) implementations of hard real-time systems, we consider approaches for building component-based systems that provide a physical model from a high-level model of the system and TT specifications. The obtained physical model is thus suitable for direct transformation into languages of specific TT platforms. In addition, if these approaches provide correctness-by-construction, they can help to avoid the monolithic a posteriori validation. In this paper, we focus on the TT interface concept of the TT paradigm. And we present a method that transforms the interaction in classic BIP (Behavior, Interaction, Priority) Model into a TT interface by source-to-source transformations. The method is based on the successive application of two types of source-to-source transformations; Transfer functions internalisation and n + 1-ary connector to TT interface transformation. The first simplifies the connector transfer functions by modifying components automata. The second transforms connector with simple transfer function into TT interfaces.

Mots clés: TT paradigm; correctness-by-construction; Source-to-source transformation; BIP; interaction expressions; connectors

Domaines: Systèmes embarqués; Modélisation et simulation

Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem. Externalisation of Time-Triggered communication system in BIP high level models. 8th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2014), Oct 2014, Versailles, France. pp.47-50. ⟨hal-01242608⟩