Article

Techniques for fast simulation of models of highly dependable systems

Dept. of Electr. Eng., Twente Univ., Enschede
IEEE Transactions on Reliability (Impact Factor: 2.29). 10/2001; DOI: 10.1109/24.974122
Source: IEEE Xplore

ABSTRACT With the ever-increasing complexity and requirements of highly
dependable systems, their evaluation during design and operation is
becoming more crucial. Realistic models of such systems are often not
amenable to analysis using conventional analytic or numerical methods.
Therefore, analysts and designers turn to simulation to evaluate these
models. However, accurate estimation of dependability measures of these
models requires that the simulation frequently observes system failures,
which are rare events in highly dependable systems. This renders
ordinary Simulation impractical for evaluating such systems. To overcome
this problem, simulation techniques based on importance sampling have
been developed, and are very effective in certain settings. When
importance sampling works well, simulation run lengths can be reduced by
several orders of magnitude when estimating transient as well as
steady-state dependability measures. This paper reviews some of the
importance-sampling techniques that have been developed in recent years
to estimate dependability measures efficiently in Markov and nonMarkov
models of highly dependable systems

0 Bookmarks
 · 
69 Views
  • [Show abstract] [Hide abstract]
    ABSTRACT: We discuss methods for statistically analyzing the output from stochastic discrete-event or Monte Carlo simulations. Terminating and steady-state simulations are considered
    Simulation Conference, 2006. WSC 06. Proceedings of the Winter; 01/2006
  • [Show abstract] [Hide abstract]
    ABSTRACT: With the increasingly stringent contractual requirements placed on system availability in urban and intercity passenger rail systems, and the emergence of public-private partnerships with maintenance contracts over periods of 25 years or more, rail system suppliers such as ALSTOM Transport now adopt an integrated logistic support (ILS) vision, where the entire support system (maintenance policy, crew scheduling, spare parts, tools, etc.) is modeled at the same time as the main system. The need to overcome the restrictive assumptions imposed by Markov models has led us to the use of non-Markovian stochastic Petri Nets, which in addition lend themselves to building decentralized, hierarchical models. The challenges that are addressed in this paper are how to deal with: deferred maintenance, aging, and different time scales (not all units in the rail system have the same mission profile). Comparisons are made with results obtained with Markov models.
    Simulation Conference (WSC), Proceedings of the 2012 Winter; 01/2012
  • [Show abstract] [Hide abstract]
    ABSTRACT: We discuss methods for statistically analyzing the output from stochastic discrete-event or Monte Carlo simulations. Terminating and steady-state simulations are considered.
    Simulation Conference, 2008. WSC 2008. Winter; 01/2008

Full-text (2 Sources)

Download
31 Downloads
Available from
May 17, 2014