Safer Systems

Safer Systems : Proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997

Edited by  , Edited by 

Free delivery worldwide

Available. Dispatched from the UK in 3 business days
When will my order arrive?

Description

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.show more

Product details

  • Paperback | 285 pages
  • 154.94 x 234.95 x 17.02mm | 449.05g
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Berlin, Germany
  • English
  • Softcover reprint of the original 1st ed. 1997
  • 21 Illustrations, black and white; IX, 285 p. 21 illus.
  • 3540761349
  • 9783540761341

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.show more