Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00119245
Contributor : Rapport de Recherche Inria <>
Submitted on : Monday, December 11, 2006 - 9:57:55 AM
Last modification on : Wednesday, April 11, 2018 - 1:54:48 AM
Long-term archiving on: : Monday, September 20, 2010 - 5:58:02 PM

Files

RR-6057.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

184

Files downloads

200