Reliability Modeling of Life-Critical, Real-Time Systems

TitleReliability Modeling of Life-Critical, Real-Time Systems
Publication TypeJournal Article
Year of Publication1994
AuthorsL Tomek, V Mainkar, RM Geist, and KS Trivedi
JournalProceedings of the IEEE
Volume82
Issue1
Start Page108
Pagination108 - 121
Date Published01/1994
Abstract

In this paper, we discuss the role of modeling in the design and validation of life-critical, real time systems. The basics of Markov, Markov reward, and stochastic reward net models are covered. An example of a nuclear power plant cooling system is developed in detail. Multilevel models, model calibration, and model validation are also discussed. © 1994 IEEE

DOI10.1109/5.259430
Short TitleProceedings of the IEEE