Safer Systems : Proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997
The contributions to this book are the invited papers presented at the fifth annual Safety-critical Systems Symposium. They cover a broad spectrum of issues affecting safety, from a philosophical appraisal to technology transfer, from requirements analysis to assessment, from formal methods to artificial intelligence and psychological aspects. They touch on a number of industry sectors, but are restricted to none, for the essence of the event is the transfer of lessons and technologies between sectors. All address practical issues and of- fer useful information and advice. Contributions from industrial authors provide evidence of both safety con- sciousness and safety professionalism in industry. Smith's on safety analysis in air traffic control and Rivett's on assessment in the automotive industry are informative on current practice; Frith's thoughtful paper on artificial intelli- gence in safety-critical systems reflects an understanding of questions which need to be resolved; Tomlinson's, Alvery's and Canning's papers report on collaborative projects, the first on results which emphasise the importance of human factors in system development, the second on the development and trial of a comprehensive tool set, and the third on experience in achieving tech- nology transfer - something which is crucial to increasing safety.
- Paperback | 285 pages
- 155 x 235 x 15.75mm | 451g
- 07 Feb 1997
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Springer-Verlag Berlin and Heidelberg GmbH & Co. K
- Berlin, Germany
- Softcover reprint of the original 1st ed. 1997
- 21 Illustrations, black and white; IX, 285 p. 21 illus.
Table of contents
Safety-critical Systems: Prescient, Presignifying, Public-good Systems?.- Designing for Safety: Current Activities at the University of Bristol and Future Directions.- Using a Layered Functional Model to Determine Safety Requirements.- Formal Methods: No Cure for Faulty Reasoning.- Artificial Intelligence - Genuine Hazards?.- How to Improve Safety Critical Systems Standards.- Engineering Cognitive Diversity.- The PRICES Approach to Human Error.- The StAR Risk Adviser: Psychological Arguments for Qualitative Risk Assessment.- Is There a Role for Third Party Software Assessment in the Automotive Industry?.- Initial Safety Considerations for an Advanced Transport System.- Safe Systems Architectures for Autonomous Robots.- Increasing Software Integrity Using Functionally Dissimilar Monitoring.- Timing Aspects of Fault Tree Analysis of Safety Critical Systems.- SACRES - Formalism for Real Projects.- Product Monitoring for Integrity and Safety Enhancement.- Multi-disciplinary Projects and Technology Exchange - The SEMSPLC Experience.- Author Index.