Vous êtes ici

MULTIVAL

MULTIVAL

Vérification des architectures complexes

Terminé

Type de projet

FUI 1

Porteur de projet

STMicroelectronics Grenoble

Partenaires

ATOS BDS, Leti, INRIA Grenoble - Rhône-Alpes

Enjeux

La complexité croissante des systèmes sur silicium multiprocesseurs devient comparable à la complexité des grands systèmes informatiques (serveurs d'entreprises). Plus de 70% du temps de conception est consacré à la vérification du bon fonctionnement du circuit. Le coût d'une erreur de conception se chiffre en dizaines de millions d'euros. La vérification des Systèmes sur silicium : - Doit être assurée depuis la spécification jusqu'au silicium impliquant la mise en œuvre de techniques logicielles hétérogènes. - Nécessite une abstraction toujours plus importante et des techniques logicielles en perpétuelle élaboration.

Objectifs

Etablir une modélisation formelle de l'asynchronisme : - Création de modèles formels comportementaux des architectures étudiées (FAME2, FAUST, xSTream) - Utilisation de langages de haut niveau de type LOTOS (norme ISO 8807) Fournir des outils d'aide à la conception : - Compilateurs, traducteurs et générateurs de modèles permettant les validations fonctionnelle et quantitative, y compris évaluation de performances à partir du même modèle. - Industrialisation des outils et des méthodes pour favoriser leur adoption durable par les acteurs du domaine.

Projet infos page d'un projet

Secteur d'activité

Technologies de base

Investissement

6,201 K€

Durée

36 mois

Total effort

55 homme(s)/an