Reliability Versus Safety

This publication has 12 references indexed in Scilit:

• Software Safety in Computer-Controlled Systems
  Computer, 1984
• Software Reliability—Status and Perspectives
  IEEE Transactions on Software Engineering, 1982
• Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System
  IEEE Transactions on Computers, 1982
• Software safety
  ACM SIGSOFT Software Engineering Notes, 1982
• Theories of Software Reliability: How Good Are They and How Can They Be Improved?
  IEEE Transactions on Software Engineering, 1980
• FTMP—A highly reliable fault-tolerant multiprocess for aircraft
  Proceedings of the IEEE, 1978
• Fault-tolerance: The survival attribute of digital systems
  Proceedings of the IEEE, 1978
• SIFT: Design and analysis of a fault-tolerant computer for aircraft control
  Proceedings of the IEEE, 1978
• A theory of software reliability and its application
  IEEE Transactions on Software Engineering, 1975
• System structure for software fault tolerance
  IEEE Transactions on Software Engineering, 1975