Reliability modeling of life-critical, real-time systems
Lorrie A. Tomek, Varsha Mainkar, Robert Geist, Kishor Shridharbhai Trivedi · Proceedings of the IEEE · 1994
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.>