inria-00156499, version 5
Compositional design of isochronous systems
Jean-Pierre Talpin
a, 1Julien Ouy a, 1Loïc Besnard
b, 1Paul Le Guernic a, 1
N° RR-6227 (2007)
Résumé : 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.
- a – INRIA
- b – CNRS
- 1 : ESPRESSO (INRIA - IRISA)
- CNRS : UMR6074 – INRIA – INSA Rennes – Université de Rennes 1
- Domaine : Informatique/Systèmes embarqués
- Mots-clés : formal methods – embedded systems – program analysis – synchronous paradigm
- Référence interne : RR-6227
- Versions disponibles : v1 (21-06-2007) v2 (25-06-2007) v3 (27-06-2007) v4 (05-07-2007) v5 (23-11-2007)
- inria-00156499, version 5
- http://hal.inria.fr/inria-00156499
- oai:hal.inria.fr:inria-00156499
- Contributeur : Jean-Pierre Talpin
- Soumis le : Vendredi 23 Novembre 2007, 10:27:54
- Dernière modification le : Lundi 5 Octobre 2009, 13:14:19






Documents associés
Exporter