Component-based Design of Heterogeneous Reactive Systems in Prometheus

Abstract : Designing embedded systems increasingly demands coping with heterogeneous systems, involving different models of computation, communication, and execution, on different levels of abstraction and different time scales. The component model BIP (Behavior, Interaction model, Priority) has been designed to support the construction of heterogeneous reactive systems. It enables heterogeneous modeling by separating the notions of behavior, interaction model, and execution model. We present here the design tool Prometheus, which implements the BIP component model, along with a set of algorithms for compositional verification. The use of the component framework is illustrated with two case studies involving different models of computation and communication.
Type de document :
Rapport
[Research Report] RR-6057, INRIA. 2006, pp.18
Liste complète des métadonnées

https://hal.inria.fr/inria-00119245
Contributeur : Rapport de Recherche Inria <>
Soumis le : lundi 11 décembre 2006 - 09:57:55
Dernière modification le : samedi 17 septembre 2016 - 01:35:06
Document(s) archivé(s) le : lundi 20 septembre 2010 - 17:58:02

Fichiers

RR-6057.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00119245, version 2

Collections

Citation

Gregor Goessler. Component-based Design of Heterogeneous Reactive Systems in Prometheus. [Research Report] RR-6057, INRIA. 2006, pp.18. 〈inria-00119245v2〉

Partager

Métriques

Consultations de la notice

144

Téléchargements de fichiers

128