Software Failure Modes and Effects Analysis
- 1 August 1979
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Reliability
- Vol. R-28 (3) , 247-249
- https://doi.org/10.1109/tr.1979.5220578
Abstract
This concept paper discusses the possible use of failure modes and effects analysis (FMEA) as a means to produce more reliable software. FMEA is a fault avoidance technique whose objective is to identify hazards in requirements that have the potential to either endanger mission success or significantly impact life-cycle costs. FMEA techniques can be profitably applied during the analysis stage to identify potential hazards in requirements and design. As hazards are identified, software defenses can be developed using fault tolerant or self-checking techniques to reduce the probability of their occurrence once the program is implemented. Critical design features can also be demonstrated a priori analytically using proof of correctness techniques prior to their implementation if warranted by cost and criticality.Keywords
This publication has 8 references indexed in Scilit:
- The Oregon Report Software Engineering: The Turning PointComputer, 1978
- Program Verification in the 1980s: Problems, Perspectives, and OpportunitiesPublished by Defense Technical Information Center (DTIC) ,1978
- The establishment and use of measures to evaluate the quality of software designsPublished by Association for Computing Machinery (ACM) ,1978
- Reliability measurement during software developmentPublished by American Institute of Aeronautics and Astronautics (AIAA) ,1977
- Fault-Tolerant Software for Real-Time ApplicationsACM Computing Surveys, 1976
- Reliability Design HandbookPublished by Defense Technical Information Center (DTIC) ,1976
- System structure for software fault toleranceIEEE Transactions on Software Engineering, 1975
- A view of program verificationACM SIGPLAN Notices, 1975