Abstract

Software safety issues become important when computers are used to control real-time, safety-critical processes. This survey attempts to explain why there is a problem, what the problem is, and what is known about how to solve it. Since this is a relatively new software research area, emphasis is placed on delineating the outstanding issues and

Citations

13	Using executable assertions for testing and fault tolerance - Andrews - 1979
8	Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerance Flight Control System - Melliar-Smith, Schwartz - 1982
7	Human Detection and Diagnosis of System Failures - Rouse - 1981
6	An investigation into the methods of production and verification of highly reliable software - Dahll, Lahti - 1980
4	Monitoring vs. man-in-the-loop detection of aircraft control failures - EPHRATH, YOUNG - 1981
4	Reliability versus safety - Mulazzani - 1985
4	Application of the fault-tolerant deadline mechanism to a satellite on-board computer system - Wei, Hiraishi, et al. - 1980
3	Fault tree analysis of computer systems - Ramamoorthy, Ho, et al. - 1977
2	Beyond the sterile cockpit - WEINER - 1985
1	An experiment in design and validation of software for a reactor protection system - BOLOGNA, AGOSTNO, et al. - 1979
1	Software safety for complex systems - BROWN - 1985
1	Report by the Task Force on computers and software as medical devices, Bureau of Medical Devices. Food and Drug Administration - BRUCH - 1982
1	Experience with computers in some U.K. power plants - DANIELS, AITKEN, et al. - 1979
1	Aspects of development and verification of reliable process computer software - EHRENBERCER - 1980
1	Safety program validation by means of control checking - EHRENBERGER, BOLOGNA - 1979
1	Reliabilitv and saretv considerations in operating systems for process control - D - 1982
1	FDA regulation of computerized medical devices. Byte - JORGENS, BRUCH, et al. - 1982
1	Organising for safety. New Sci - KRONLUND - 1979
1	Guidelines for the documentation of safety related computer systems - LEVENE - 1979
1	Safety Engineering - MARSHALL - 1982
1	revised August 1986; final revision accepted - Received - 1986
1	Software fault tree analysis of OMS purge ascent and entry critical function - ROGERS, MCKENZIE - 1978
1	Experiences in verification and validation of digital systems used in nuclear applications - THOMAS, STRAKER - 1982
1	Comments on man/machine interface session - WOODS - 1982
1	An approach to real-time control flow checking - YAU, CHEN, et al. - 1978
1	FAA perspective on software safety and security - ZELLWEGER - 1984