|
Published Articles >> Table of Contents >> Abstract
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)
pp. 3-12
Modeling Heterogeneous Real-time Components in BIP
Ananda Basu, Verimag, France
Marius Bozga, Verimag, France
Joseph Sifakis, Verimag, France
Full Article Text:
 
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.27
Send link to a friend
| 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.
|
 Additional Information
|
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
|
|
