Abstract System safety, reliability and risk analysis are important tasks that are performed
throughout the system life-cycle to ensure the dependability of safety-critical systems …

In computer design, it is essential to know the effectiveness of different design options in
improving performance and dependability. Various software tools have been created to …

We consider the numerical evaluation of Markov model transient behavior. Our research is
motivated primarily by computer system dependability modeling. Other application areas …

Combinatorial models such as fault trees and reliability block diagrams are efficient for
model specification and often efficient in their evaluation. But it is difficult, if not impossible, to …

Several different models for predicting coverage in a fault-tolerant system, including models
for permanent, intermittent, and transient errors, are discussed. Markov, semi-Markov …

An approximation algorithm for systematically converting a stiff Markov chain into a nonstiff
chain with a smaller state space is discussed in this paper. After classifying the set of all …

The advent of fault-tolerant, distributed systems has led to increased interest in analytic
techniques for the prediction of reliability, availability, and combined performance and …

Reliability analysis of fault tolerant computer systems for critical applications is complicated
by several factors. In this paper, we discuss these modeling difficulties and describe and …

In the modern scenario, reliability has becomes the most challenging and demanding
theory. The theory and the methods of reliability analysis have been developed significantly …

Practical Performance Modeling: Application of the MOSEL Language introduces the new
and powerful performance and reliability modeling language MOSEL (MOdeling …