Component-Based Construction of Real-Time Systems in BIP
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.