Home

Component-based Construction of Heterogeneous Real-time Systems in BIP by Joseph Sifakis VERIMAG

 

Component-based Construction of  Heterogeneous Real-time Systems in BIP
Joseph Sifakis
VERIMAG
 
We present a framework for the component-based construction of real-time systems. The framework is based on the BIP (Behaviour, Interaction, Priority)semantic model, characterized by a layered representation of components. Compound components are obtained as the composition of atomic components specified by their behaviour and interface, by using connectors and dynamic priorities. Connectors describe structured interactions between atomic components, in terms of two basic protocols: rendezvous and broadcast. Dynamic priorities are used to select amongst possible interactions - in particular, to express scheduling policies.

BIP supports a methodology for incremental construction within a three-dimensional space: Behavior×Interaction×Priority. The separation between behavior and architectural constraints expressed by interactions and priorities, eases compositional verification of systems through a separate analysis of their atomic components and their architectural constraints.

The BIP framework has been implemented in a language and a toolset. The BIP language offers primitives and constructs for modelling and composing atomic components described as state machines, extended with data and functions in C. The BIP toolset includes an editor and a compiler for generating from BIP programs, C++ code executable on a dedicated platform. It allows simulation and verification of BIP programs by using model checking or compositional techniques for some properties such as deadlock-freedom.
 
We provide several examples illustrating the use of BIP for modelling heterogeneous systems. 
Further information is available at: http://www-verimag.imag.fr/~async/bip.html