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 …

There have been many advancements and developments in hazard and risk analysis
techniques over the past several decades. Since then, many researchers integrated various …

We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows
the modeling of complex system behaviors. Advanced constructs are available, such as …

The authors describe the Maintainable Real-Time System, a fault-tolerant distributed system
for process control, developed under the Mars project started in 1980 at the Technische …

In recent times, the functioning of various aspects of modern society—ranging from the
various infrastructural utilities such as electrical power, water to socio-economical aspects …

Markov and Markov reward models are widely used for the performance and reliability
analysis of computer and communication systems. Models of real systems often contain …

We describe the use of stochastic Petri nets (SPNs) and stochastic reward nets (SRNs)
which are SPNs augmented with the ability to specify output measures as reward-based …

During the past decade, advances in processor and memory technology have given rise to
increases in computational performance that far outstrip increases in the performance of …

Despite the development of many modeling formalisms and model solution methods, most
tool implementations support only a single formalism. Furthermore, models expressed in the …

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