Vous êtes ici

SPICA

SPICA

SAFETY/SECURITY-ORIENTED POST INSTRUMENTATION OF CIRCUITS WITH ASSERTIONS

En cours

Type de projet

FUI 17

Porteur de projet

Dolphin Integration

Partenaires non-membres

Lab-STICC - Sciences et Techniques de l?Information, de la Communication et de la Connaissance, STMicroelectronics Rousset, TIMA - Techniques de l'Informatique et de la Microélectronique pour l'Architecture d'ordinateurs

Enjeux

Conception et sécurisation de puces SoC complexes et critiques - Composants de vérification pour le débogage en phase de développement et la détection en continu de dysfonctionnements - Prise en compte d'exigences du niveau système jusqu'à la réalisation matérielle - Synthèse de haut niveau (HLS), détection d'erreurs liées à des perturbations transitoires, et vérification à base d'assertions (ABV).

Objectifs

L'objectif du projet SPICA est de proposer des solutions permettant de faire évoluer les méthodes de conception des systèmes sur puce critiques vers l'intégration de techniques automatisées et efficaces pour (1) la vérification d'exigences de bonne conception, de sûreté ou de sécurité dès les premières étapes du flot de conception, et (2) la détection de dysfonctionnements liés à des perturbations environnementales ou malveillantes en opération. L'originalité de l'approche proposée réside essentiellement dans le fait qu'elle décline des concepts similaires dans les trois principales composantes de la conception : le niveau système, le logiciel embarqué, et les blocs matériels dédiés.

Projet infos page d'un projet

Investissement

2,725 K€

Durée

42 mois

Total effort

32 homme(s)/an