عنوان

Safer systems :

3540761349

9783540761341

b540215

Safer systems :

[Book]

proceedings of the Fifth Safety-critical systems symposium, Brighton 1997

eds. Felix Redmill and Tom Anderson.

London ; Berlin ; New York

Springer

1997

285 p. ; 24 cm

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.

eds. Felix Redmill and Tom Anderson.

Felix Redmill

SAFETY-CRITICAL SYSTEMS CLUB.

Tom Anderson

[Book]

Y