Abstract We consider a wide class of models that includes the highly reliable Markovian systems (HRMS) often used to represent the evolution of multi-component systems in reliability settings. Repair times and component lifetimes are random variables that follow a general distribution, and the repair service adopts a priority repair rule based on system failure risk. Since crude simulation has proved to be inefficient for highly-dependable systems, the RESTART method is used for the estimation of steady-state unavailability and other reliability measures. In this method, a number of simulation retrials are performed when the process enters regions of the state space where the chance of occurrence of a rare event (e.g., a system failure) ...
This paper targets the simulation of continuous-time Markov chain models of fault-tolerant systems w...
The RESTART method is a widely applicable simulation technique for the estimation of rare event prob...
Simulation methods have recently been developed for the solution of the extremely large Markovian de...
Abstract We consider a wide class of models that includes the highly reliable Markovian systems (...
International audienceWe consider a repairable system such that different completeness degrees are p...
The reliability of consecutive-k-out-of-n: F system (or C (k, n: F) system) has aroused great intere...
Recent years have seen a growth in research on system reliability and maintenance. Various studies i...
The efficient estimation of system reliability characteristics is of paramount importance for many e...
Markov models are often used to evaluate dependability attributes of fault-tolerant computer systems...
Probabilistic model checking has been used recently to assess, among others, dependability measures ...
Recent years have seen a growth in research on system reliability and maintenance. Various studies i...
This paper targets the simulation of continuous-time Markov chain models of fault-tolerant systems w...
An approach for simulating models of highly dependable systems with general failure and repair time ...
This paper targets the simulation of continuous-time Markov chain models of fault-tolerant systems w...
In this paper we examine several models for systems subject to both repairable and nonrepairable fai...
This paper targets the simulation of continuous-time Markov chain models of fault-tolerant systems w...
The RESTART method is a widely applicable simulation technique for the estimation of rare event prob...
Simulation methods have recently been developed for the solution of the extremely large Markovian de...
Abstract We consider a wide class of models that includes the highly reliable Markovian systems (...
International audienceWe consider a repairable system such that different completeness degrees are p...
The reliability of consecutive-k-out-of-n: F system (or C (k, n: F) system) has aroused great intere...
Recent years have seen a growth in research on system reliability and maintenance. Various studies i...
The efficient estimation of system reliability characteristics is of paramount importance for many e...
Markov models are often used to evaluate dependability attributes of fault-tolerant computer systems...
Probabilistic model checking has been used recently to assess, among others, dependability measures ...
Recent years have seen a growth in research on system reliability and maintenance. Various studies i...
This paper targets the simulation of continuous-time Markov chain models of fault-tolerant systems w...
An approach for simulating models of highly dependable systems with general failure and repair time ...
This paper targets the simulation of continuous-time Markov chain models of fault-tolerant systems w...
In this paper we examine several models for systems subject to both repairable and nonrepairable fai...
This paper targets the simulation of continuous-time Markov chain models of fault-tolerant systems w...
The RESTART method is a widely applicable simulation technique for the estimation of rare event prob...
Simulation methods have recently been developed for the solution of the extremely large Markovian de...