Skip to Main content Skip to Navigation
Theses

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
Abstract : The Concurrent and Comparative Simulation (CCS) allows several simulations on a system in one single pass. One of
the first applications of CCS has been the Concurrent Fault Simulation (CFS) for fault simulation in digital systems described
at the gate level. However, nowadays digital designers focus on more abstract languages such as VHDL (Very high speed
integrated circuits Hardware Description Language) rather than on these logical models. Modeling and simulating digital
circuits behaviors is possible using these languages, but they do not allow the concurrent simulation of faulty behaviors, also
simply called faults. Technical barriers for the design of a concurrent fault simulator are on the one hand the lack of realistic
fault models and on the other hand the difficulty to integrate the concurrent algorithms into a simulation kernel.
To reach this objective, we propose the BFS-DEVS formalism (Behavioral Fault Simulator for Discrete EVent system
Specification). This formalism allows to model and simulate behavioral faults on discrete event system such as digital circuits
described with VHDL. Its theoretical fundation is the DEVS (Discrete EVent system Specification) formalism introduced by
Zeigler in the late 70's. The BFS-DEVS simulation kernel integrates the CFS concurrent algorithms and is based on a
propagated fault lists technique inside the models of the system. This technique speeds up the simulation processus since it
allows the simultaneous detection of several faults and also simplify results observability at the end of the simulation.
Document type :
Theses
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00165440
Contributor : Laurent Capocchi <>
Submitted on : Thursday, July 26, 2007 - 10:52:35 AM
Last modification on : Monday, March 29, 2021 - 11:58:09 AM
Long-term archiving on: : Friday, April 9, 2010 - 12:04:25 AM

Identifiers

  • 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⟩

Share

Metrics

Record views

354

Files downloads

938