

Online pre-enrolment for our training programs is now open.
The team works on methodologies based on the association of heterogeneous models, as well as on scalable model checking: proving the systems’ correctness by construction.
The team also works on the securing of the compilation flow for reconfigurable circuits and on the virtualization of reconfigurable architectures to design durable and secure systems on chip (SoC).
Associating executable models for the operational simulation of defense systems. In collaboration with Sodius.
Execution and formal verification of the models of systems developed using the NATO Architecture Framework (NAF). In collaboration with PragmaDev.
Securing overlay architectures for digital circuits to remain operational for long periods of time (school study).