Software safety: why, what, and how
- 1 June 1986
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 18 (2), 125-163
- https://doi.org/10.1145/7474.7528
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 research topics.Keywords
This publication has 36 references indexed in Scilit:
- Software aspects of strategic defense systemsCommunications of the ACM, 1985
- The "BUG" heard 'round the worldACM SIGSOFT Software Engineering Notes, 1981
- Human-Computer Interaction in the Control of Dynamic SystemsACM Computing Surveys, 1981
- IntroductionPublished by Springer Nature ,1981
- NRC Takes a Second Look at Reactor DesignScience, 1980
- INSPECTION OF PROCESS COMPUTERS FOR NUCLEAR POWER PLANTSPublished by Elsevier ,1980
- SAFETY CONSIDERATIONS IN PROJECT MANAGEMENT OF COMPUTERIZED AUTOMATION SYSTEMSPublished by Elsevier ,1980
- Safe programmingBIT Numerical Mathematics, 1978
- Some experience with automated aids to the design of large-scale reliable softwareACM SIGPLAN Notices, 1975
- Space PoetsEnglish, 1971