Experiences with concurrent fault simulation of diagnostic programs

Demba, S.; Ulrich, Ernst G.; Panetta, K.; Giramma, D.

doi:10.1109/test.1988.207875

Cited by 6 publications

(5 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…An optimal testing method is a systematic submodels simulation, which is naturally and easily done with CCS. (5) Many applications using CCS are available, and one particularly interesting is the Concurrent Software Simulation (CSS, used in [19]). CSS simulates variant executions of a computer program, and is useful for testing/debugging most kinds of computer programs, finding bugs more quickly and exhaustively than with non-simulating tools.…”

Section: Concurrent and Comparative Simulationmentioning

confidence: 99%

BFS-DEVS: A general DEVS-based formalism for behavioral fault simulation

Capocchi¹,

Bernardi²,

Fédérici³

et al. 2006

Simulation Modelling Practice and Theory

View full text Add to dashboard Cite

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 application is performed in the behavioral digital domain of systems described in the VHDL language.

show abstract

Section: Concurrent and Comparative Simulationmentioning

confidence: 99%

BFS-DEVS: A general DEVS-based formalism for behavioral fault simulation

Capocchi¹,

Bernardi²,

Fédérici³

et al. 2006

Simulation Modelling Practice and Theory

View full text Add to dashboard Cite

show abstract

“…Within CCS, Multi-List-Traversal (MLT) is a key technique [13]- [19]. It permits any number of ordered linked lists to be traversed simultaneously so that items with identical ID-numbers on different lists are processed together.…”

Section: Multi-list-traversalmentioning

confidence: 99%

“…(CSDP) has been successful [13], but CCS (the preceding application) can further accelerate the creation, debugging, and fault analysis of diagnostic programs. Specifically (see Section 9, figure 6a), replacement of segments of a detailed logic network with higher level behavioral models will permit earlier debugging of diagnostic programs, before structurally detailed logic becomes available.…”

Section: Concurrent Simulation Of Diagnostic Programsmentioning

confidence: 99%

“…This was originally developed to verify the fault detecting capability of diagnostic programs [13], but there is much more to this application. This was originally developed to verify the fault detecting capability of diagnostic programs [13], but there is much more to this application.…”

Section: Concurrent Software Simulation (Css)mentioning

confidence: 99%

“…This generality is essentially due to the technique of Multi-List-Traversal [13]- [19]. CCS is a general method because it allows complex submodels to be simulated.…”

mentioning

confidence: 99%

See 2 more Smart Citations

The Comparative and Concurrent Simulation of discrete-event experiments

et al. 1992

View full text Add to dashboard Cite

Discrete-Event Simulation is a powerful, but underexploited alternative for many kinds of physical experimentation. It permits what is physically impossible or unaffordable, to conduct and run related experiments in parallel, against each other. Comparative and Concurrent Simulation (CCS) is a parallel experimentation method that adds a comparative dimension to discrete-event simulation. As a methodology or style, CCS resembles a manypronged rake; its effectiveness is proportional to the number of prongs--the number of parallel experiments. It yields information in parallel and in time order, rather than in the arbitrary order of one-pronged serial simulations. CCS takes advantage of the similarities between parallel experiments via the one-for-many simulation of their identical parts; if many experiments are simulated, then it is normally hundreds to thousands times faster than serial simulation. While CCS is a one-dimensional method, a more general, multi-dimensional or multidomain version is MDCCS. MDCCS permits parent experiments to interact and produce offspring experiments, i.e., to produce more, but smaller experiments, and many zero-size/zero-cost experiments. MDCCS is more general, informative, and faster (usually over 100:1) than CCS for most applications. It handles more complex applications and experiments, such as multiple faults, variant executions of a software program, animation, and others.

show abstract

FNSIM: a functional fault simulator for efficient testability analysis

Ienne

Proceedings ETC 93 Third European Test Conference

View full text Add to dashboard Cite

Experiences with concurrent fault simulation of diagnostic programs

Cited by 6 publications

References 5 publications

BFS-DEVS: A general DEVS-based formalism for behavioral fault simulation

BFS-DEVS: A general DEVS-based formalism for behavioral fault simulation

The Comparative and Concurrent Simulation of discrete-event experiments

FNSIM: a functional fault simulator for efficient testability analysis

Contact Info

Product

Resources

About