Sommaire
- Overview, p1
- Single-Thread Engine, p2
- Multi-Thread Engine, p3
- Real-Time Engine, p4
Overview
We have developed a compiler targeting BIP Execution Engines (general information about code generation from BIP models is provided here). Both the generated code and the Engines are in C++. Execution Engines are responsible for the coordination of the components, that is, they apply the semantics of the interaction and priority layers of BIP.
Execution Engines can be used for execution, simulation, debug or state-space exploration (i.e. all traces) of BIP models. The following Engines are currently available:
