The safe operation of computer systems, in both their software and hardware continues to be a key issue in many real time applications, when people, environment, investment or goodwill can be at risk. Such applications include the monitoring and control of high energy processes, of nuclear and chemical plants, of factory automation, of transportation systems, or funds transfer and of communication and information systems. This book represents the proceedings of the 1987 Safety and Reliability Society Symposium held in Altrincham, UK, 11-12 November 1987. It is thus part of the series of...

This volume provides the proceedings of the First European Workshop on Parallel Processing Techniques for Simulation which was held at the end of October 1985. The Workshop was organized within the framework of a joint project sponsored by the Commission of the European Communities under the research part of the multiannua1 programme in the field of Data Processing aming at promoting collaborative research work in the Community. The project involved collaborative work between the Complex Systems Group of the Control Systems Centre at UMIST, the Systems Reliability Service of the United...

The safe operation of computer systems, in both their software and hardware continues to be a key issue in many real time applications, when people, environment, investment or goodwill can be at risk. Such applications include the monitoring and control of high energy processes, of nuclear and chemical plants, of factory automation, of transportation systems, or funds transfer and of communication and information systems. This book represents the proceedings of the 1987 Safety and Reliability Society Symposium held in Altrincham, UK, 11-12 November 1987. It is thus part of the series of...