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.

Composants
Liés à cet recherche et développement

Besoin d'un système sur-mesure ?

Nous sommes des créateurs de logiciels et de systèmes sécuritaires. Conçus et fabriqués en France. Contactez-nous et discutons ensemble de votre projet !