Skip to main content
SpringerLink
Log in

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

Proceedings of the Fourth Safety-critical Systems Symposium Leeds, UK 6–8 February 1996

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Felix Redmill

    1. Redmill Consultancy, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tom Anderson

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Pages i-ix
    Download chapter 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
    Download chapter PDF
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Redmill Consultancy, London, UK

    Felix Redmill

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

    Tom Anderson

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation