License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.08331.5
URN: urn:nbn:de:0030-drops-16026
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2008/1602/
Go to the corresponding Portal

Basu, Ananda ; Bozga, Marius ; Sifakis, Joseph

Modeling Heterogeneous Real-time Components in BIP

pdf-format:
08331.BasuAnanda.Paper.1602.pdf (0.2 MB)

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 showing the utility of the BIP framework in heterogeneous component
modeling.

BibTeX - Entry

@InProceedings{basu_et_al:DagSemProc.08331.5,
  author =	{Basu, Ananda and Bozga, Marius and Sifakis, Joseph},
  title =	{{Modeling Heterogeneous Real-time Components in BIP}},
  booktitle =	{Perspectives Workshop: Model Engineering of Complex Systems (MECS)},
  pages =	{1--10},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8331},
  editor =	{Uwe A{\ss}mann and Jean B\'{e}zivin and Richard Paige and Bernhard Rumpe and Douglas C. Schmidt},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2008/1602},
  URN =		{urn:nbn:de:0030-drops-16026},
  doi =		{10.4230/DagSemProc.08331.5},
  annote =	{Keywords: Component based construction, Heterogeneous systems, Modeling and simulation, Code generation}
}

Keywords: Component based construction, Heterogeneous systems, Modeling and simulation, Code generation
Collection: 08331 - Perspectives Workshop: Model Engineering of Complex Systems (MECS)
Issue Date: 2008
Date of publication: 17.10.2008

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI