2026-07-20T06:00:11Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1602 2024-03-06T11:08:13Z ddc:004 open_access

Modeling Heterogeneous Real-time Components in BIP Basu, Ananda Bozga, Marius Sifakis, Joseph Component based construction Heterogeneous systems Modeling and simulation Code generation 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Ananda Basu and Marius Bozga and Joseph Sifakis 2008 Is Part Of Dagstuhl Seminar Proceedings, Volume 8331, Perspectives Workshop: Model Engineering of Complex Systems (MECS) (2008) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.08331.5 urn:nbn:de:0030-drops-16026 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08331.5 eng https://creativecommons.org/licenses/by/4.0/legalcode