A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is
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. reliable to effectively preclude the loss of human life carries with it an important obstruction to that very design: the inability to effectivelydoi:10.1109/5.259430 fatcat:jlatdxmao5gipffqswkjwftyzq