+612 9045 4394
Safer Systems : Proceedings of the Fifth Safety-Critical Systems Symposium, 4-6 February 1997, Brighton, U. K. - Felix Redmill

Safer Systems : Proceedings of the Fifth Safety-Critical Systems Symposium, 4-6 February 1997, Brighton, U. K.

By: Felix Redmill (Editor), Tom Anderson (Editor)

Paperback ISBN: 9783540761341
Number Of Pages: 285

Share This Book:


or 4 easy payments of $31.26 with Learn more
Ships in 7 to 10 business days

The field of safety-critical systems covers computer systems in hazardous applications. As traditional means of control such as relays are replaced by software, the field is rapidly expanding and increasing in importance. It is formed by the convergence of software engineering and safety engineering, and its criticality emphasizes the importance of a number of other disciplines, such as human factors, management, psychology, sociology and quality. This volume contains 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, 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 the appers address practical issues and offer useful information and advice.

Safety-critical Systems: Prescient, Presignifying, Public-good Systems?p. 1
Designing for Safety: Current Activities at the University of Bristol and Future Directionsp. 38
Using a Layered Functional Model to Determine Safety Requirementsp. 56
Formal Methods: No Cure for Faulty Reasoningp. 67
Artificial Intelligence - Genuine Hazards?p. 79
How to Improve Safety Critical Systems Standardsp. 96
Engineering Cognitive Diversityp. 111
The PRICES Approach to Human Errorp. 121
The StAR Risk Adviser: Psychological Arguments for Qualitative Risk Assessmentp. 136
Is There a Role for Third Party Software Assessment in the Automotive Industry?p. 160
Initial Safety Considerations for an Advanced Transport Systemp. 185
Safe Systems Architectures for Autonomous Robotsp. 203
Increasing Software Integrity Using Functionally Dissimilar Monitoringp. 216
Timing Aspects of Fault Tree Analysis of Safety Critical Systemsp. 231
SACRES - Formalism for Real Projectsp. 245
Product Monitoring for Integrity and Safety Enhancementp. 256
Multi-disciplinary Projects and Technology Exchange - The SEMSPLC Experiencep. 275
Author Indexp. 285
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540761341
ISBN-10: 3540761349
Audience: General
Format: Paperback
Language: English
Number Of Pages: 285
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: GB
Dimensions (cm): 23.39 x 15.6  x 1.58
Weight (kg): 0.42