Sommaire
- Overview, p1
- Synchronous Systems in BIP, p2
- MATLAB/Simulink to BIP, p3
- AADL to BIP, p4
- GeNoM to BIP, p5
- NesC/TinyOS in BIP, p6
- C to BIP, p7
- DOL to BIP, p8
GeNoM to BIP
GeNoM is a C++ software framework used for the implementation of the functional layer within autonomous robotic applications. Our joint collaboration with LAAS reported in [4], [5] demonstrates that BIP can be seamlessly integrated within the preexisting design methodology, in particular :
- BIP has been used for (1) the incremental modeling of GenoM modules used to implement the functional level and (2) the modeling of their allowed interactions as specified by the control execution level of the robot ;
- the resulting BIP model has been used to synthesize a controller for the overall execution of all the functional modules and to enforce by construction the constraints and the rules inside modules but also between the various functional modules ;
- the BIP model has been also used to formally verify several safety-critical properties of the robot including ordering and synchronization constraints, data freshness properties, deadlock-freedom, etc.
