Skip to Main content Skip to Navigation
Conference papers

Modeling Heterogeneous Real-Time Components in BIP

Abstract : We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitions; Interactions between transitions of the behavior; Priorities, used to choose amongst possible interactions. A parameterized binary composition operator is used to compose components layer by layer. We present the BIP language for the description and composition of layered components as well as associated tools for executing and analyzing components on a dedicated platform. The language provides a powerful mechanism for structuring interactions involving rendezvous and broadcast. We show that synchronous and timed systems are particular classes of components. Finally, we provide examples and compare the BIP framework to existing ones for heterogeneous component-based modeling.
Document type :
Conference papers
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00375298
Contributor : Marius Bozga <>
Submitted on : Tuesday, April 14, 2009 - 2:45:09 PM
Last modification on : Friday, July 17, 2020 - 11:48:06 AM
Document(s) archivé(s) le : Thursday, June 10, 2010 - 6:40:52 PM

File

BIP.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00375298, version 1

Collections

Citation

Ananda Basu, Marius Bozga, Joseph Sifakis. Modeling Heterogeneous Real-Time Components in BIP. Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), Sep 2006, Pune, India. pp.3-12. ⟨hal-00375298⟩

Share

Metrics

Record views

397

Files downloads

818