Home > Teams > DCS > Tools > Tools
Tools
- BIP Behavior Interaction Priority
The BIP toolset includes translators from various programming modes into BIP, source-to-source transformers as well as a compiler for generating code executable by a dedicated engine.
- BIP System Designer
The BIP System Designer is the complete tool-set to obtain a system model of a mixed software/hardware system, that can be simulated, analyzed (verification of functional + extra-functional properties), and used to generate the software stack (application software + hardware dependent software) for a target platform. The tools are classified as follows: Frontend Translation of application software model into application model in BIP. The translator from DOL to BIP is here. The (...)
- D-Finder a compositional deadlock detection and verification tool for BIP models
- Multicore Code Generation for Time-critical Applications
A diagram of the tool chain for code generation is shown in the figure above. The top-part represents a high-level design, serving as input to the tool chain. Currently we support high level designs from the DOL Critical framework. The framework should provide the model of the application (task graph) and the model of deployment (mapping). The application model includes both the task communication structure (here: the DOL-Cr XML) and the task functions (here: the C files). The mapping file (...)
- SBIP : A Statistical Model Checking Extension for BIP framework
A statistical model checking engine prototype for the BIP framework.
