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.
![](local/cache-vignettes/L416xH308/engines-44ffe.png?1656498674)
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: