A DEVS-based Concurrent and Comparative Fault Simulation Algorithm

Laurent Capocchi (1) , Fabrice Bernardi (1) , Dominique Federici (1) , Paul-Antoine Bisgambiglia (1)

1 SPE - Sciences pour l'environnement

Concurrent and Comparative Simulation (CCS) with Multi-List Propagation (MLP) provides a way to per- form several simulations in a single execution run and Concurrent Fault Simulation (CFS) has been one of its first applications. The main obstacles to a wide use of this technique are the high complexity of the concurrent simulation algorithms, along with the difficulty to integrate them in a simulation kernel. We focus in this paper on the CFS with MLP of systems described in the BFS-DEVS formalism, an extension of the original DEVS simulator that integrates the CCS algorithm. Application is performed in the behavioral digital domain of systems described in the VHDL language.

Mots clés: Discrete Event Simulation; Concurrent and Comparative Simulation; Fault Simulation; DEVS; VHDL

Domaines: Modélisation et simulation

Laurent Capocchi, Fabrice Bernardi, Dominique Federici, Paul-Antoine Bisgambiglia. A DEVS-based Concurrent and Comparative Fault Simulation Algorithm. SCS Summer Computer Simulation Conference, Jul 2005, San Diego, United States. pp.130-136. ⟨hal-00165455⟩