R&D Projects

Project Client Description
Cercles ANR Compositional certification of critical and safe embedded software.
Train/Ground Communication - Train/Ground Magnetic Communication System
Deploy - Industrial deployment of system engineering methods providing high dependability and productivity
Forcoment StMicroelectronics Event-B for the synthesizable VHDL
OISAU DGA Opening and Interoperability for Autonomous Systems.
QPSK - Transmission par modulation QPSK
RIMEL ANR Incremental refinement of event models.
Topcased Open source software toolkit project integrated into Eclipse’s IDE.

Comments are closed.