A Unified Framework for Simulating Markovian Models of Highly Dependable Systems

Abstract

In this paper we present a unified framework for simulating Markovian models of highly dependable systems. Since the failure event is a rare event, the estimation of system dependability measures using standard simulation requires very long simulation runs. We show that a variance reduction technique called Importance Sampling can be used to speed up the simulation by many orders of magnitude over standard simulation. This technique can be combined very effectively with regenerative simulation to estimate measures such as steady- state availability and mean time to failure. Moreover, it can be combined with conditional Monte Carlo methods to quickly estimate transient measures such as reliability, expected interval availability and the distribution of interval availability. We show the effectiveness of these methods by using them to simulate large dependability models. We also discuss how these methods can be implemented in a software package to compute both transient and steady-state measures simultaneously from the same sample run.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1989
Accession Number
ADA212164

Entities

People

  • Ambuj Goyal
  • Perwez Shahabuddin
  • Peter W. Glynn
  • Philip Heidelberger
  • Victor F. Nicola

Organizations

  • Stanford University

Tags

DTIC Thesaurus Topics

  • Availability
  • Data Science
  • Estimators
  • Failed States
  • Failure Mode And Effect Analysis
  • Information Science
  • Intervals
  • Language
  • Markov Chains
  • Monte Carlo Method
  • Probability
  • Random Variables
  • Reliability
  • Sampling
  • Simulations
  • Standards
  • Steady State

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Modeling and Simulation
  • Computer Networking
  • Statistical inference.