|
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) :
Nicolas Gaude
Dolphin Integration
39 avenue du Granier - BP 65
38242 Meylan
|
|