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, 1. 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. 2. 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. 3. The upper level is a set of priority rules implementing scheduling policies for interactions.
展开▼
