Abstract
BIP is a framework for the component-based construction of real-time systems. It considers that systems can be obtained as the composition of 3-layer components. For a component,
-
The lower layer describes its behavior, a set of transitions with triggers and actions (atomic state transformations). A trigger consists of an enabling condition on data and a port through which synchronization is sought.
-
The intermediate level is the set of interactions between transitions of the behavior level. An interaction is a set of synchronizing ports and associated actions. Interactions are specified by using connectors expressing synchronization constraints on ports.
-
The upper level is a set of priority rules implementing scheduling policies for interactions.
The framework supports a system construction methodology which is based on a parameterized binary composition operator on components. The product of two components consists in composing their corresponding layers, separately. Parameters are used to define new interactions as well as new priorities between the composed components.
Chapter PDF
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sifakis, J. (2009). Component-Based Construction of Real-Time Systems in BIP. In: Bouajjani, A., Maler, O. (eds) Computer Aided Verification. CAV 2009. Lecture Notes in Computer Science, vol 5643. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02658-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-02658-4_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02657-7
Online ISBN: 978-3-642-02658-4
eBook Packages: Computer ScienceComputer Science (R0)