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

Abstract : 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.
Type de document :
Article dans une revue
Simulation Modelling Practice and Theory, Elsevier, 2006, 14 (7), pp.945-970
Liste complète des métadonnées

Littérature citée [34 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00165444
Contributeur : Laurent Capocchi <>
Soumis le : jeudi 26 juillet 2007 - 11:02:06
Dernière modification le : lundi 21 mars 2016 - 17:31:37
Document(s) archivé(s) le : vendredi 9 avril 2010 - 00:04:33

Fichier

submission.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00165444, version 1

Collections

Citation

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, Elsevier, 2006, 14 (7), pp.945-970. 〈hal-00165444〉

Partager

Métriques

Consultations de
la notice

121

Téléchargements du document

110