Simulation concurrente de fautes comportementales pour des systèmes à événements discrets : Application aux circuits digitaux

Laurent Capocchi 1
1 TIC
SPE - Sciences pour l'environnement
Résumé : La Simulation Comparative et Concurrente (SCC) permet d'effectuer plusieurs simulations d'un système en une seule
exécution. Une des premières applications de la SCC a été la Simulation de Fautes Concurrente (SFC) permettant la simu-
lation de fautes au sein des systèmes digitaux décrits au niveau portes logiques. De nos jours, les concepteurs de circuits
évitent de travailler sur ces modèles logiques et préfèrent utiliser des descriptions plus abstraites basées sur des langages
de description de matériel comme le VHDL (Very high speed integrated circuits Hardware Description Language). Ces
langages permettent de modéliser et de simuler le comportement des circuits digitaux mais ils ne sont pas appropriés pour
la simulation concurrente des comportements fautifs ou fautes. Les barrières au développement d'un simulateur concurrent
de fautes comportementales sont le manque de modèles de fautes réalistes et la difficulté à mettre en œuvre les algorithmes
concurrents au sein d'un noyau de simulation.
Pour répondre à cette problématique, nous proposons le formalisme BFS-DEVS (Behavioral Fault Simulator for Discrete
EVent system Specification). Ce formalisme permet de modéliser et de simuler les fautes comportementales sur des systèmes
à événements discrets comme les circuits digitaux décrits en VHDL. Il dérive du formalisme DEVS (Discrete EVent system
Specification) introduit par le professeur B.P. Zeigler à la fin des années 70. Le noyau de simulation BFS-DEVS intègre les
algorithmes concurrents de la SFC et il s'appuie sur une technique de propagation de listes de fautes au sein des modèles du
système. Cette technique améliore la rapidité du processus de simulation car elle permet la détection simultanée de plusieurs
fautes et simplifie également l'observabilité des résultats en fin de simulation.
Type de document :
Thèse
Modélisation et simulation. Université Pascal Paoli, 2005. Français
Liste complète des métadonnées


https://tel.archives-ouvertes.fr/tel-00165440
Contributeur : Laurent Capocchi <>
Soumis le : jeudi 26 juillet 2007 - 10:52:35
Dernière modification le : lundi 21 mars 2016 - 17:31:37
Document(s) archivé(s) le : vendredi 9 avril 2010 - 00:04:25

Fichier

Identifiants

  • HAL Id : tel-00165440, version 1

Collections

Citation

Laurent Capocchi. Simulation concurrente de fautes comportementales pour des systèmes à événements discrets : Application aux circuits digitaux. Modélisation et simulation. Université Pascal Paoli, 2005. Français. <tel-00165440>

Partager

Métriques

Consultations de
la notice

212

Téléchargements du document

643