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

DOI: 10.1109/SEFM.2006.27
View Slides

Extracted Key Phrases

14 Figures and Tables

050'05'06'07'08'09'10'11'12'13'14'15'16'17
Citations per Year

494 Citations

Semantic Scholar estimates that this publication has 494 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Basu2006ModelingHR, title={Modeling Heterogeneous Real-time Components in BIP}, author={Ananda Basu and Marius Bozga and Joseph Sifakis}, journal={Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)}, year={2006}, pages={3-12} }