Title :
Reliability modeling of life-critical, real-time systems
Author :
Tomek, Lorrie ; Mainkar, Varsha ; Geist, Robert M. ; Trivedi, Kishor S.
Author_Institution :
Dept. of Comput. Sci., Duke Univ., Durham, NC, USA
fDate :
1/1/1994 12:00:00 AM
Abstract :
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
Keywords :
fault tolerant computing; nuclear power stations; real-time systems; safety; software reliability; Markov reward; fault-tolerant system; industrial control systems; life-critical real-time systems; model calibration; model validation; multilevel models; nuclear power plant cooling system; reliability modeling; stochastic reward net models; validation; Aerospace control; Computer science; Humans; Power system modeling; Predictive models; Process design; Real time systems; Stochastic processes; System analysis and design; Timing;
Journal_Title :
Proceedings of the IEEE
