Safer Systems

1. Front Matter

   Pages i-ix

   PDF

2. Safety-Critical Systems: Prescient, Presignifying, Public-Good Systems?

   • Khurshid Ahmad, AI Group

   Pages 1-37

3. Designing for Safety: Current Activities at the University of Bristol and Future Directions

   • G. Hughes, J. H. R. May, J. Noyes

   Pages 38-55

4. Using a Layered Functional Model to Determine Safety Requirements

   • J. U. M. Smith

   Pages 56-66

5. Formal Methods: No Cure for Faulty Reasoning

   • Martin Loomes, Rick Vinter

   Pages 67-78

6. Artificial Intelligence — Genuine Hazards?

   • Ken Frith, Richard Ellis

   Pages 79-95

7. How to Improve Safety Critical Systems Standards

   • Norman Fenton

   Pages 96-110

8. Engineering Cognitive Diversity

   • S. J. Westerman, N. M. Shryane, C. M. Crawshaw, G. R. J. Hockey

   Pages 111-120

9. The PRICES Approach to Human Error

   • Christine Tomlinson

   Pages 121-135

10. The StAR Risk Adviser: Psychological Arguments for Qualitative Risk Assessment

    • Peter Ayton, David K. Hardman

    Pages 136-159

11. Is there a Role for Third Party Software Assessment in the Automotive Industry?

    • Roger Rivett

    Pages 160-184

12. Initial Safety Considerations for an Advanced Transport System

    • M. V. Lowson, C. E. Medus

    Pages 185-202

13. Safe Systems Architectures for Autonomous Robots

    • I. Sommerville, D. Seward, R. Morrey, S. Quayle

    Pages 203-215

14. Increasing Software Integrity Using Functionally Dissimilar Monitoring

    • David M. Johnson

    Pages 216-230

15. Timing Aspects of Fault Tree Analysis of Safety Critical Systems

    • Janusz Górski, Andrzej Wardziński

    Pages 231-244

16. SACRES — Formalism for Real Projects

    • Alvery Grazebrook

    Pages 245-255

17. Product Monitoring for Integrity and Safety Enhancement

    • Robin Whitty

    Pages 256-274

18. Multi-disciplinary Projects and Technology Exchange — the SEMSPLC Experience

    • Audrey Canning

    Pages 275-283

19. Back Matter

    Pages 285-285

    PDF

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.

• Management
• Software
• Software Engineering
• Technologie
• Transport
• design
• model
• quality
• robot
• structured analysis
• systems architecture
• technology

• Redmill Consultancy, London, UK

  Felix Redmill

• Centre for Software Reliability, University of Newcastle-upon-Tyne, Newcastle-upon-Tyne, UK

  Tom Anderson

Policies and ethics