HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Compositional design of isochronous systems

Jean-Pierre Talpin 1 Julien Ouy 1 Loïc Besnard 1 Paul Le Guernic 1
1 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related frameworks, global execution correctness is achieved by ensuring endochrony: the insensitivity of (logical) time in the system from (real) time in the environment. Interestingly, endochrony can be statically checked, making it fast to ensure design correctness. Unfortunately, endochrony is not preserved by composition, making it difficult to exploit with component-based design concepts in mind. Compositionality can be achieved by weakening the objective of endochrony but at the cost of an exhaustive state-space exploration. These observations raise a tradeoff between performance and precision. Our aim is to balance this tradeoff by proposing a formal design methodology that adheres to a weakened global design objective, namely, the non-blocking composition of weakly endochronous processes, while preserving local endochrony objectives. This yields an ad-hoc yet cost-efficient approach to compositional synchronous modeling.
Document type :
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download

Contributor : Jean-Pierre Talpin Connect in order to contact the contributor
Submitted on : Friday, November 23, 2007 - 10:27:54 AM
Last modification on : Friday, February 4, 2022 - 3:23:26 AM
Long-term archiving on: : Friday, November 25, 2016 - 7:11:34 PM


Files produced by the author(s)


  • HAL Id : inria-00156499, version 5


Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic. Compositional design of isochronous systems. [Research Report] RR-6227, INRIA. 2007, pp.24. ⟨inria-00156499v5⟩



Record views


Files downloads