Modeling and analysis of system dependability using the system availability estimator

Alvin M. Blum; Ambuj Goyal; Philip Heidelberger; Stephen S. Lavenberg; Marvin Nakayama; Perwez Shahabuddin

Modeling and analysis of system dependability using the system availability estimator

Alvin M. Blum, Ambuj Goyal, Philip Heidelberger, Stephen S. Lavenberg, Marvin Nakayama, Perwez Shahabuddin

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

This paper reviews the System Availability Estimator (SAVE) modeling program package. SAVE is used to construct and analyze models of computer and communication systems dependability. The SAVE modeling language consists of a few constructs for describing the components in a system, their failure and repair characteristics, the interdependencies between components, and the conditions on the individual components for the system to be considered available. SAVE parses an input file and creates a Markov chain model. For small models numerical solution methods can be used, but for larger models (the state space grows exponentially with the number of components in the model), fast simulation techniques using importance sampling have to be used. We provide software demonstrations using both these techniques.

Original language	English (US)
Title of host publication	Digest of Papers - International Symposium on Fault-Tolerant Computing
Publisher	Publ by IEEE
Pages	137-141
Number of pages	5
ISBN (Print)	0818655224
State	Published - Jan 1 1994
Externally published	Yes
Event	Proceedings of the 24th International Symposium on Fault-Tolerant Computing - Austin, TX, USA Duration: Jun 15 1994 → Jun 17 1994

Other

Other	Proceedings of the 24th International Symposium on Fault-Tolerant Computing
City	Austin, TX, USA
Period	6/15/94 → 6/17/94

All Science Journal Classification (ASJC) codes

Hardware and Architecture
Engineering(all)

Cite this

@inproceedings{6e8a3b4ec228414a99aab6214433eac1,

title = "Modeling and analysis of system dependability using the system availability estimator",

abstract = "This paper reviews the System Availability Estimator (SAVE) modeling program package. SAVE is used to construct and analyze models of computer and communication systems dependability. The SAVE modeling language consists of a few constructs for describing the components in a system, their failure and repair characteristics, the interdependencies between components, and the conditions on the individual components for the system to be considered available. SAVE parses an input file and creates a Markov chain model. For small models numerical solution methods can be used, but for larger models (the state space grows exponentially with the number of components in the model), fast simulation techniques using importance sampling have to be used. We provide software demonstrations using both these techniques.",

author = "Blum, {Alvin M.} and Ambuj Goyal and Philip Heidelberger and Lavenberg, {Stephen S.} and Marvin Nakayama and Perwez Shahabuddin",

year = "1994",

month = jan,

day = "1",

language = "English (US)",

isbn = "0818655224",

pages = "137--141",

booktitle = "Digest of Papers - International Symposium on Fault-Tolerant Computing",

publisher = "Publ by IEEE",

note = "Proceedings of the 24th International Symposium on Fault-Tolerant Computing ; Conference date: 15-06-1994 Through 17-06-1994",

}

Blum, AM, Goyal, A, Heidelberger, P, Lavenberg, SS, Nakayama, M & Shahabuddin, P 1994, Modeling and analysis of system dependability using the system availability estimator. in Digest of Papers - International Symposium on Fault-Tolerant Computing. Publ by IEEE, pp. 137-141, Proceedings of the 24th International Symposium on Fault-Tolerant Computing, Austin, TX, USA, 6/15/94.

TY - GEN

T1 - Modeling and analysis of system dependability using the system availability estimator

AU - Blum, Alvin M.

AU - Goyal, Ambuj

AU - Heidelberger, Philip

AU - Lavenberg, Stephen S.

AU - Nakayama, Marvin

AU - Shahabuddin, Perwez

PY - 1994/1/1

Y1 - 1994/1/1

N2 - This paper reviews the System Availability Estimator (SAVE) modeling program package. SAVE is used to construct and analyze models of computer and communication systems dependability. The SAVE modeling language consists of a few constructs for describing the components in a system, their failure and repair characteristics, the interdependencies between components, and the conditions on the individual components for the system to be considered available. SAVE parses an input file and creates a Markov chain model. For small models numerical solution methods can be used, but for larger models (the state space grows exponentially with the number of components in the model), fast simulation techniques using importance sampling have to be used. We provide software demonstrations using both these techniques.

AB - This paper reviews the System Availability Estimator (SAVE) modeling program package. SAVE is used to construct and analyze models of computer and communication systems dependability. The SAVE modeling language consists of a few constructs for describing the components in a system, their failure and repair characteristics, the interdependencies between components, and the conditions on the individual components for the system to be considered available. SAVE parses an input file and creates a Markov chain model. For small models numerical solution methods can be used, but for larger models (the state space grows exponentially with the number of components in the model), fast simulation techniques using importance sampling have to be used. We provide software demonstrations using both these techniques.

UR - http://www.scopus.com/inward/record.url?scp=0027961962&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0027961962&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0027961962

SN - 0818655224

SP - 137

EP - 141

BT - Digest of Papers - International Symposium on Fault-Tolerant Computing

PB - Publ by IEEE

T2 - Proceedings of the 24th International Symposium on Fault-Tolerant Computing

Y2 - 15 June 1994 through 17 June 1994

ER -

Modeling and analysis of system dependability using the system availability estimator

Abstract

Other

All Science Journal Classification (ASJC) codes

Other files and links

Fingerprint

Cite this