Conception conjointe & vérification par modèle pour des systèmes complexes
Type doc. :
Langue :
Année de soutenance:
Afficher le Résumé
La verification formelle est devenue un defi majeur de la conception des systemes materiels/logiciels, due en grande partie a leur complexite croissante et le cout prohibitif de la correction des erreurs. De même quil est devenu imperieux de developper de nouvelles metnodologies Une alternative prometteuse est d'e'lever le niveau d'absr,raction au niveau systeme dans une demarche uniliee Dans ce contexte, nos travaux ont porte sur une revisite critique et enricnissante des differentes etapes de codesign, serendant de la specification a la synthese, en proposant voire améliorant selon les cas des rnetlvodes et des outils 5 Cette metliodologie s'est vue completee par des moyens appropriés de model cnecking symbolique pour tenter de maitriser lexplosion combinatoire galopante de lespace des etats, principal probleme de cette verification, en oltrant cli?erents modeles temporises et temporels de specification de systemes et des extensions de logique arporescente pour les proprietes ainsi que des model cnecjkers adeduats pour tenter de nisser le niveau de confiance dans la conception des systemes materiels/log.rciels des le debut du cycle. Lensemble des composants est destine être iritegic* dans un environnement de developpement et de coveritication de systemes complexes en privilegiant la reconfiguration la réutilisation, et meme en inculguant de ts clec
| N° Bulletin | Date / Année de parution | Titre N° Spécial | Sommaire |
|---|
| Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|
| 004 BOU TH C1 | BIB-Centrale / Thèses | interne | disponible |