Achieving Safety and Reliability with Computer Systems

Abstract

Software Specification and Design.- A Strategy for the Development of Safety Critical Software.- Formal Support for the Development of Safety Related Systems.- Designing for Safety Using Ada Packages.- Software Verification, Acceptance and Certification.- MALPAS - Verification of a Safety Critical System.- Acceptance Testing.- Experience in Developing and Certifying Embedded Software for Aerospace Applications.- Software Verification, Test and Analysis.- Fail-safe Software - Some Principles and a Case Study.- Verification - the Practical Problems.- STEM - a Project on Software Test and Evaluation Methods.- Software Reliability and Safety Assessment and Data.- The Musa Data Revisited: Alternative Methods and Structure in Software Reliability Modelling and Analysis.- Statistical Methods for Software Reliability Assessment, Past, Present and Future.- The Development of Techniques for Safety and Reliability Assessment: Past, Present and Future.- A Model to Support the Collection and Analysis of Software Engineering Data.- Case Studies.- The THORP Approach to Safe Control.- Highly Reliable Microcomputer Systems for Railway Control.- Lessons Learned from the Failure of a Computer System Controlling a Nylon Polymer Plant.- Standards and their Application Towards Safe and Reliable Computer Systems.- The Work of the Technical Committee on Safety, Security and Reliability of Industrial Computer Systems: European Workshop on Industrial Computer Systems.- Testing of a Hardware Unit of a Nuclear Power Plant Protection System - the IEEE 796 Bus.- Beyond Good Practices - a Standard for Safety Critical Software (Naval Engineering Standard NES620).- Fault Tolerance: Components, Systems and Performance.- SMART: A System Designer Support Tool to Evaluate the Performance of Complex Fault-tolerant Systems.- A Self-checking Computer Module Based on the VIPER Microprocessor - a Building Block for Reliable Systems.- Availability by Replication in Embedded Distributed Systems: The CONCORDIA Project.- Another Dimension of Availability.- Latent Fault Detection in Fault Tolerant Computer Based Safety and Control Systems.