DocumentCode
1017105
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
Volume
82
Issue
1
fYear
1994
fDate
1/1/1994 12:00:00 AM
Firstpage
108
Lastpage
121
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;
fLanguage
English
Journal_Title
Proceedings of the IEEE
Publisher
ieee
ISSN
0018-9219
Type
jour
DOI
10.1109/5.259430
Filename
259430
Link To Document