Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Complete list of metadatas

Cited literature [7 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01242608
Contributor : Hela Guesmi <>
Submitted on : Sunday, April 24, 2016 - 12:29:01 PM
Last modification on : Thursday, July 9, 2020 - 9:43:24 AM
Document(s) archivé(s) le : Wednesday, November 9, 2016 - 6:21:14 PM

File

JRWRTC14_HG.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01242608, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

416

Files downloads

91