Reliability Modeling of Life-Critical, Real-Time Systems
Publication
, Journal Article
Tomek, L; Mainkar, V; Geist, RM; Trivedi, KS
Published in: Proceedings of the IEEE
January 1, 1994
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
Duke Scholars
Published In
Proceedings of the IEEE
DOI
EISSN
1558-2256
ISSN
0018-9219
Publication Date
January 1, 1994
Volume
82
Issue
1
Start / End Page
108 / 121
Related Subject Headings
- 4009 Electronics, sensors and digital hardware
- 0906 Electrical and Electronic Engineering
- 0903 Biomedical Engineering
- 0801 Artificial Intelligence and Image Processing
Citation
APA
Chicago
ICMJE
MLA
NLM
Tomek, L., Mainkar, V., Geist, R. M., & Trivedi, K. S. (1994). Reliability Modeling of Life-Critical, Real-Time Systems. Proceedings of the IEEE, 82(1), 108–121. https://doi.org/10.1109/5.259430
Tomek, L., V. Mainkar, R. M. Geist, and K. S. Trivedi. “Reliability Modeling of Life-Critical, Real-Time Systems.” Proceedings of the IEEE 82, no. 1 (January 1, 1994): 108–21. https://doi.org/10.1109/5.259430.
Tomek L, Mainkar V, Geist RM, Trivedi KS. Reliability Modeling of Life-Critical, Real-Time Systems. Proceedings of the IEEE. 1994 Jan 1;82(1):108–21.
Tomek, L., et al. “Reliability Modeling of Life-Critical, Real-Time Systems.” Proceedings of the IEEE, vol. 82, no. 1, Jan. 1994, pp. 108–21. Scopus, doi:10.1109/5.259430.
Tomek L, Mainkar V, Geist RM, Trivedi KS. Reliability Modeling of Life-Critical, Real-Time Systems. Proceedings of the IEEE. 1994 Jan 1;82(1):108–121.
Published In
Proceedings of the IEEE
DOI
EISSN
1558-2256
ISSN
0018-9219
Publication Date
January 1, 1994
Volume
82
Issue
1
Start / End Page
108 / 121
Related Subject Headings
- 4009 Electronics, sensors and digital hardware
- 0906 Electrical and Electronic Engineering
- 0903 Biomedical Engineering
- 0801 Artificial Intelligence and Image Processing