BIP Tools

Core Tools

The core BIP toolset is described in detail in the following pages:

• documentation about the BIP language
• description of the meta-model of BIP that allows powerful transformations
• description of the BIP compiler & runtimes
• download the BIP compiler & runtimes for GNU/Linux - x86.

Additional Tools

The following tools are also available:

• a set of factories for translating various languages into BIP models
• a compiler for Send/Receive BIP used for generating distributed implementations of BIP models
• the D-Finder tool for compositional deadlock detection and verification
• the BIP System Designer
• the Statistical Model Checker Tool
• a code generator for mixed-critical applications targeting multi-core platforms.

NEW VERSIONS of the compiler and engines are AVAILABLE!

Examples

BIP examples can be found here.

contact: Jacques Combaz