Safety-Critical Systems: The Convergence of High Tech and Human Factors

1. Front Matter

   Pages i-ix

   PDF

2. Meeting the Challenge of Changing Requirements

   • R. C. Sugden, M. R. Strens, J. E. Dobson

   Pages 1-12

3. LIFETRACK — Enhancing Team Knowledge and Corporate Memory in Petrochemical Operations through Sharing Lessons Learnt

   • Paul Wilhelmij, Tony Holden, Barrie Reynolds, Boon Horng Liew

   Pages 13-43

4. Managing “Risky” Projects

   • S. N. Gandy

   Pages 44-60

5. Management of Dependability a Railway Perspective

   • Robin Cook

   Pages 61-70

6. Applying Bayesian Belief Networks to System Dependability Assessment

   • Martin Neil, Bev Littlewood, Norman Fenton

   Pages 71-94

7. Exploit (Technology) or Die

   • Stan Price

   Pages 95-104

8. Human Issues in the Software Development Process — Modelling Their Influence on Productivity and Integrity

   • J. Griffyth

   Pages 105-123

9. The Institution of Railway Signal Engineers Licensing Scheme — Promoting Competence in the Workplace

   • M. A. Watson-Walker, R. J. Gray

   Pages 124-138

10. Anticipate and Prevent — Managing the Legal Risks in Safety Critical Systems

    • Rachel Burnett

    Pages 139-152

11. Organisational Learning using Near-Miss and Accident Data within and outside your Organisation

    • Floor Koornneef, André Spijkervet, Jurek Karczewski

    Pages 153-167

12. Understanding and Communicating Risk: A Psychological Overview

    • Peter Ayton, David K. Hardman

    Pages 168-183

13. Impact as a Human Factor in Interactive System Design

    • A. M. Dearden, M. D. Harrison

    Pages 184-199

14. Classifying & Managing Risk: The RATIFI Project

    • Sophia Langley, Peter Jarratt

    Pages 200-208

15. Software Hazard and Safety Analysis: Opportunities and Challenges

    • John A. McDermid

    Pages 209-221

16. SADLI: Functional Programming in a Safety Critical Application

    • Morris Chudleigh, Chris Berridge, Jenny Butler, Rod May, Ian Poole

    Pages 223-242

17. System Safety through Formal Domain-Specific Languages

    • Tim Bull, Keith Bennett

    Pages 243-265

18. Effects of Technology on the Safety of Automotive Transport

    • P. A. Barber, D. P. Smith

    Pages 266-284

19. Back Matter

    Pages 285-285

    PDF

Safety-critical systems, in the sense of software-based systems used in safety­ critical applications, are 'high-tech'. They are products of modern technology. Their effective, efficient and safe functioning depends not only on the devel­ opment of the right technologies but also on the right use of them. The safety of a system may be compromised not only by faults in the system but also by the use in the first place of an unreliable, unsafe, or unproved technology in its development. The key to the development and use of both technologies and systems is the human being. Until recently, the importance of human involvement, other than at the direct operational level, was hardly admitted. But now the unreliability of humans is recognised, as is the potential for latent faults to be introduced into systems at any point in their life cycles, by all who are in­ volved with them, including designers and strategic decision makers.

• Management
• Software
• Technologie
• Transport
• design
• development
• functional programming
• modeling
• organization
• productivity
• programming
• structured analysis
• technology
• complexity

• Redmill Consultancy, London, UK

  Felix Redmill

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

  Tom Anderson

Policies and ethics