Markov reward approach to performability and reliability analysis

Author

Trivedi, K.S. ; Malhotra, M. ; Fricks, R.M.

Author_Institution

Dept. of Electr. Eng., Duke Univ., Durham, NC, USA

fYear

1994

fDate

31 Jan-2 Feb 1994

Firstpage

7

Lastpage

11

Abstract

Performability and reliability modeling techniques and tools have been an area of intensive research activity in the last ten years. We present a unified mathematical framework for performability and reliability models in terms of Markov reward models. The framework presented is not the only one available for performability analysis, but it is the most commonly used one. To complete our exposition, we describe two modeling software packages: SHARPE (Symbolic Hierarchical Automated Reliability/Performance Evaluator) and SPNP (Stochastic Petri Net Package)

Keywords

Markov processes; digital simulation; performance evaluation; reliability theory; software packages; Markov reward models; SHARPE; SPNP; Stochastic Petri Net Package; Symbolic Hierarchical Automated Reliability/Performance Evaluator; modeling software packages; performability analysis; reliability analysis; Algorithm design and analysis; Degradation; Failure analysis; Fault tolerant systems; Military computing; Packaging; Performance analysis; Performance evaluation; State-space methods; Steady-state;

fLanguage

English

Publisher

ieee

Conference_Titel

Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 1994., MASCOTS '94., Proceedings of the Second International Workshop on

Conference_Location

Durham, NC

Print_ISBN

0-8186-5292-6

Type

conf

DOI

10.1109/MASCOT.1994.284455

Filename

284455