2009 | OriginalPaper | Chapter
Component-Based Construction of Real-Time Systems in BIP
Author : Joseph Sifakis
Published in: Computer Aided Verification
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.