Article Dans Une Revue Simulation Modelling Practice and Theory Année : 2006

BFS-DEVS: A General DEVS-Based Formalism For Behavioral Fault Simulation

Résumé

Discrete event modeling allows designing an easy-to-handle and reusable representation of a system but, in its classical form, only permits one simulation at a time for a system. Concurrent and Comparative Simulation (CCS) with Multi-List Propagation (MLP) appears to be an adapted solution, by providing a way to perform several simulations in a single execution run. Concurrent Fault Simulation (CFS) has been one of the first applications of the CCS. 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 new BFS-DEVS formalism, which is an evolution of the original DEVS Simulator that integrates the CCS algorithm. The appli- cation is performed in the behavioral digital domain of systems described in the VHDL language.

Fichier principal
Vignette du fichier
submission.pdf (769.94 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-00165444 , version 1 (26-07-2007)

Licence

Identifiants

  • HAL Id : hal-00165444 , version 1

Citer

Laurent Capocchi, Fabrice Bernardi, Dominique Federici, Paul-Antoine Bisgambiglia. BFS-DEVS: A General DEVS-Based Formalism For Behavioral Fault Simulation. Simulation Modelling Practice and Theory, 2006, 14 (7), pp.945-970. ⟨hal-00165444⟩
184 Consultations
367 Téléchargements

Partager

  • More