loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)
Modeling Heterogeneous Real-time Components in BIP
Pune, India
September 11-September 15
ISBN: 0-7695-2678-0
ASCII Text
x 
 
Ananda Basu, Marius Bozga, Joseph Sifakis, "Modeling Heterogeneous Real-time Components in BIP," Software Engineering and Formal Methods, International Conference on, pp. 3-12, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/SEFM.2006.27,
author = {Ananda Basu and Marius Bozga and Joseph Sifakis},
title = {Modeling Heterogeneous Real-time Components in BIP},
journal ={Software Engineering and Formal Methods, International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2678-0},
pages = {3-12},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.27},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering and Formal Methods, International Conference on
TI - Modeling Heterogeneous Real-time Components in BIP
SN - 0-7695-2678-0
SP3
EP12
A1 - Ananda Basu,
A1 - Marius Bozga,
A1 - Joseph Sifakis,
PY - 2006
KW - null
VL - 0
JA - Software Engineering and Formal Methods, International Conference on
ER -
 
Ananda Basu, Verimag, France
Marius Bozga, Verimag, France
Joseph Sifakis, Verimag, France
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.

Citation:
Ananda Basu, Marius Bozga, Joseph Sifakis, "Modeling Heterogeneous Real-time Components in BIP," sefm, pp.3-12, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.