Title.
Accueil Partenaires Tâches Réunions Dissémination


Le projet SPICA est un projet commun aux pôles de compétitivité Minalogic et SCS - Durée : Juin 2014 - Décembre 2017

Le projet SPICA vise une solution innovante pour les domaines de la vérification, de la sûreté et de la sécurité des systèmes critiques. L'objectif du projet est 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'approche proposée vise à offrir au concepteur un contexte unifié et une grande souplesse d'utilisation. Son originalité réside dans le fait qu'elle décline et exploite des concepts similaires dans les trois principales composantes de la conception : le système global, le logiciel embarqué, et les blocs matériels dédiés.



Contact (coordinateur) :
Frédéric Poullet
Dolphin Integration
39 avenue du Granier - BP 65
38242 Meylan