CASES

The CASES project was selected in the first call for projects “Development of critical innovative technologies” – launched by BPI France to co-finance R&D on innovative and critical technological bricks in cybersecurity.
It has received the support of the SCS world-class competitiveness cluster.
The project aims to build a safe and secure generic sovereign computer, enabling critical infrastructures to be controlled and commanded with the highest level of integrity.
It is based on the CLEARSY Safety Platform computer and the ProvenCore microkernel.

It combines the state of the art in terms of computer and software, using formal methods in a reasoned manner.