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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |