IMPRO

IMPLANTABILITE ET ROBUSTESSE DES SYSTEMES TEMPORISES

Objectifs :

Développement d’une théorie et d’outils pour :
- prouver la sureté de fonctionnement et générer des systèmes embarqués sûrs par construction


Pilote :

INSTITUT DE RECHERCHE EN COMMUNICATION ET CYBERNETIQUE DE NANTES 

Partenaires :

INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTEMES ALEATOIRES - RENNES ; LABORATOIRE D’INFORMATIQUE DE PARIS ; LABORATOIRE SPECIFICATION ET VERIFICATION

DAS :

ISE - Intelligence des Systèmes Embarqués

Etat du projet :

Financé

Type de financement :

ANR