Titre:
La coverification des systemes integres
Conférencier:
Mostafa Azizi ,
etudiant Ph.D
Departement d'informatique et de recherche operationnelle
Universite de Montreal
Lieu:
Université de Montréal, Pavillon André-Aisenstadt ,
Salle 3195
Date et heure:
lundi le 20 juillet 1998 de
09:00 à 00:00
Résumé:
Le design des composantes, logicielle et materielle, d'un systeme integre, au long des decennies passees, s'effectuait separement. Puis, le software obtenu etait execute sur le hardware prototype. Si les contraintes de la specification requises pour le systeme sous design ne sont pas satisfaites, le processus est reitere dans l'espoir de retrouver un bon prototype. Cette technique de verifi- cation des proprietes d'un tel systeme, s'est averee lourdement coušteuse en terme de temps de realisation et de coušt du systeme global. Pour remedier a une telle situation, plusieurs compagnies et universites ont axe leurs interets sur l'elaboration des environnements de codesign de meilleures performances. Aussi, ces derniers devront-ils integrer des outils efficaces et fiables pour accomplir des ta’ches de coverification. Dans l'objectif d'atteindre un niveau maximum de succes, la coverification doit etre executee en concurrence avec le codesign, en d'autres mots, il est necessaire qu'elle soit integree au codesign des ses premieres phases.
La coverification a priori peut etre effectuee par trois techniques principales: "bread-boarding", cosimulation et coverification formelle. La premiere n'est utilisee que rarement ou lorsque les autres methodes echouent. La troisieme technique et la verification formelle se chevauchent largement et elle necessite d'etre revue et developpee. Quant a la deuxieme, la cosimulation, elle est largement utilisee pour les systemes mixtes a tel point qu'on confond les termes "coverification" et "cosimulation". Elle consiste a simuler simultanement les parties logicielle et materielle d'un systeme tout en assurant la communi- cation entre les deux. Nous proposons d'ameliorer cette technique par une methodologie combinant les concepts de base de la simulation, des inspirations de la verification formelle et des techniques de la programmation orientee objet. Aussi, projetons-nous a donner le jour a des methodes d'aide au choix de vecteurs de test quantitativement et qualitativement suffisants pour decider de la credibilite d'une coverification par cosimulation.
N.B. The presentation will be given in French.