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.

Components
Linked to this research and development
Posts
Linked to this research and development

Need a custom-made system ?

We are safety software and systems designers.  Contact us and let's discuss your project together!