Dependable computing: From concepts to design diversity
- 1 May 1986
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the IEEE
- Vol. 74 (5) , 629-638
- https://doi.org/10.1109/proc.1986.13527
Abstract
This paper is composed of two sections. The first provides a conceptual framework for expressing the attributes of what constitutes dependable and reliable computing: a) the impairments to dependability (faults, errors, and failures), b) the means for dependability (fault avoidance, tolerance, removal, and forecasting), and c) the measures of dependability (reliability, availability, safety). The second section focuses on one of the most challenging problems for dependable computing: coping with design faults.Keywords
This publication has 24 references indexed in Scilit:
- A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident ErrorsIEEE Transactions on Software Engineering, 1985
- Architectural solutions to safety problems of digital flight Critical systems for commercial transportsPublished by American Institute of Aeronautics and Astronautics (AIAA) ,1984
- Application of a Methodology for the Development and Validation of Reliable Process Control SoftwareIEEE Transactions on Software Engineering, 1981
- Reliability, Availability, and Serviceability of IBM Computer Systems: A Quarter Century of ProgressIBM Journal of Research and Development, 1981
- No. 4 ESS: Performance Objectives and Service ExperienceBell System Technical Journal, 1981
- FTMP—A highly reliable fault-tolerant multiprocess for aircraftProceedings of the IEEE, 1978
- Fault-tolerant design of local ESS processorsProceedings of the IEEE, 1978
- Integration of the Schrödinger equation in imaginary timeJournal of Computational Physics, 1967
- No. 1 ESS Maintenance PlanBell System Technical Journal, 1964
- Measures of DependabilityOperations Research, 1960