Dependability and Performability Analysis

Abstract

In this tutorial, we discuss several practical issues regarding specification and solution of dependability and performability models. We compare model types with and without rewards. Continuous-time Markov chains (CTMCs) are compared with (continuous-time) Markov reward models (MRMS) and generalized stochastic Petri nets (GSPNs) are compared with stochastic reward nets (SRNs). It is shown that reward-based models could lead to more concise model specification and solution of a variety of new measures. With respect to the solution of dependability and performability models, we identify three practical issues: largeness, stiffness, and non-exponentiality, and we discuss a variety of approaches to deal with them, including some of the latest research efforts.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1993
Accession Number
ADA275376

Entities

People

  • Gianfranco Ciardo
  • Kishor S. Trivedi
  • Manish Malhotra
  • Robin A. Sahner

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Accuracy
  • Availability
  • Demographic Cohorts
  • Differential Equations
  • Distribution Functions
  • Engineering
  • Equations
  • Fault Tolerance
  • Markov Chains
  • Models
  • Petri Nets
  • Probability
  • Simulations
  • Specifications
  • Steady State
  • Stiffness
  • Stochastic Processes

Readers

  • Mathematical Modeling and Probability Theory.
  • Software Engineering
  • Software Engineering.