Affiliation:
1. Department of Computer Science, University of Pittsburgh, Pittsburgh, PA 15260, USA
2. SYSLAB, University of Stockholm, Sweden
Abstract
A system is safety-critical if failure of the system would result in loss of human life, personal injury, or significant material loss. Software that supports or supplants human control of safety-critical systems has to be highly reliable, but much research remains to be done before all the reliability-related issues of safety-critical software are fully understood. We discuss a research agenda under the following headings: completeness of requirements, readability of specifications, validation tools, validation of responsiveness, verification of implementations, software robustness, common-cause failures, reuse of reliable software, the software process, and ethical issues.
Publisher
World Scientific Pub Co Pte Lt
Subject
Artificial Intelligence,Computer Graphics and Computer-Aided Design,Computer Networks and Communications,Software
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A systematic review of software robustness;Information and Software Technology;2013-01