Software safety and reliability issues in safety-related systems.

摘要

The increasing number of accidents attributed to computer-based systems is causing increased public awareness of the risk associated with these systems' use in safety-related applications. Examples include the Therac-25 medical LINAC deaths, the growing number of Airbus A320 crashes, the AT&T Long-Lines disaster on Martin Luther King Day in 1990, the spate of regional telephone outages of the summer of 1991, and many more. How do safety and reliability sometimes conflict. What practical computer system and software development technologies and processes can be applied to increase the safety and reliability of computer systems. What are the technical and managerial issues contributing to the construction of less-than-safe computer-based systems. How can systems engineers and software engineers work together. to address the issues related to safety and reliability of computer systems. This paper will address these topics and include an assessment of the best current state-of-the-practice and upcoming technologies that will carry us into the 21st century.