Automated Ultrareliability Models: A Review
- 25 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. i, 396-402
- https://doi.org/10.1109/rams.1984.764324
Abstract
Analytic models are required to assess the reliability of systems designed to ultrareliability requirements. This paper reviews the capabilities and limitations of five currently available automated reliability models which are applicable to fault-tolerant flight control systems. "System" includes sensors, computers, and actuators. A set of review criteria--including validation, configuration adaptability, and resource requirements--for model evaluation are described. Five models- ARIES, CARE II, CARE III, CARSRA, and CAST--are assessed against the criteria, thereby characterizing their capabilities and limitations. This review should be helpful to potential users of the models.Keywords
This publication has 9 references indexed in Scilit:
- Fault-tolerance: The survival attribute of digital systemsProceedings of the IEEE, 1978
- MFAULT: a computer program for analyzing fault trees. [In FORTRAN IV for CDC CYBER 74]Published by Office of Scientific and Technical Information (OSTI) ,1977
- Computer-aided reliability estimationPublished by American Institute of Aeronautics and Astronautics (AIAA) ,1977
- Fault -Tolerant System Reliability Modeling /AnalysisJournal of Aircraft, 1977
- A many-state Markov model for the estimation and prediction of computer software performance parametersPublished by Association for Computing Machinery (ACM) ,1975
- A Bayesian Reliability Growth Model for Computer SoftwareJournal of the Royal Statistical Society Series C: Applied Statistics, 1973
- A Methodology for Software Reliability Prediction and Quality ControlPublished by Defense Technical Information Center (DTIC) ,1972
- SOFTWARE RELIABILITY RESEARCHPublished by Elsevier ,1972
- An approach to software reliability prediction and quality controlPublished by Association for Computing Machinery (ACM) ,1972