CASES

Le projet CASES a été sélectionné dans le cadre du premier appel à projets « Développement de technologies innovantes critiques » – lancé par BPI France pour cofinancer la R&D portant sur des briques technologiques innovantes et critiques en cybersécurité.
Il a reçu le soutien du pôle de compétitivité mondial SCS.
Le projet vise à construire un calculateur générique sûr et sécuritaire souverain, permettant de contrôler et commander des infrastructures critiques au plus haut niveau d’intégrité.
Il s’appuie sur le calculateur CLEARSY Safety Platform et le microkernel ProvenCore.

Il combine l’état de l’art en matière de calculateur et de logiciel, en ayant recours de manière raisonnée aux méthodes formelles.