Component-based Design of Heterogeneous Reactive Systems in Prometheus - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2006

Component-based Design of Heterogeneous Reactive Systems in Prometheus

Résumé

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.
Fichier principal
Vignette du fichier
RR-6057.pdf (363.23 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00119245 , version 1 (08-12-2006)
inria-00119245 , version 2 (11-12-2006)

Identifiants

  • HAL Id : inria-00119245 , version 2

Citer

Gregor Goessler. Component-based Design of Heterogeneous Reactive Systems in Prometheus. [Research Report] RR-6057, INRIA. 2006, pp.18. ⟨inria-00119245v2⟩
77 Consultations
128 Téléchargements

Partager

Gmail Facebook X LinkedIn More