R&D Projects

Cercles

logo16

Compositional certification of critical and safe embedded software.
Train/Ground Communication

logo-neutre2

Train/Ground Magnetic Communication System
Deploy
logo-neutre2
Industrial deployment of system engineering methods providing high dependability and productivity
Forcoment

logo14

Event-B for the synthesizable VHDL
OISAU
logo20
Opening and Interoperability for Autonomous Systems.
QPSK

logo-neutre2

Transmission par modulation QPSK
RIMEL
logo16
Incremental refinement of event models.
Topcased

logo-neutre2

Open source software toolkit project integrated into Eclipse’s IDE.

Comments are closed.