Title | Reliability Modeling of Life-Critical, Real-Time Systems |
Publication Type | Journal Article |
Year of Publication | 1994 |
Authors | L Tomek, V Mainkar, RM Geist, and KS Trivedi |
Journal | Proceedings of the IEEE |
Volume | 82 |
Issue | 1 |
Start Page | 108 |
Pagination | 108 - 121 |
Date Published | 01/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 |
DOI | 10.1109/5.259430 |
Short Title | Proceedings of the IEEE |