Skip to main content
SpringerLink
Log in

Practical Elements of Safety

Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17–19 February 2004

  • Conference proceedings
  • © 2004

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, 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 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.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 (14 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Keynote

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Dear Sir, Yours faithfully: an Everyday Story of Formality

      • Peter Amey
      Pages 3-15

  3. Mature and Practical Formality

    1. Front Matter

      Pages 17-17
      Download chapter PDF

    2. Safe Object-Oriented Software: The Verified Design-By-Contract Paradigm

      • David Crocker
      Pages 19-41

    3. A Rigorous Specification Technique for High Quality Software

      • John H. Warren, Robin D. Oldman
      Pages 43-65

  4. Managing Risk in the Railway Industry

    1. Front Matter

      Pages 67-67
      Download chapter PDF

    2. Development and Use of the UK Railway Network’s Safety Risk Model

      • Colin Dennis
      Pages 69-89

    3. Safety Decision Making for the Railway

      • Andrew Sharpe
      Pages 91-102

  6. The Human Side of Risk

    1. Front Matter

      Pages 135-135
      Download chapter PDF

    2. Chasing Shadows: Science Journalism and the Politics of Risk

      • Stuart Allan
      Pages 137-147

    3. Completing the Human Safety Jigsaw

      • Richard G. Scaife
      Pages 149-160

  7. Assessment and the Derivation of Evidence

    1. Front Matter

      Pages 161-161
      Download chapter PDF

    2. Evidence Gathering Using Static Code Analysis

      • Chris Sampson
      Pages 163-177

    3. Estimating PLC logic program reliability

      • Peter G. Bishop
      Pages 179-193

    4. A Systematic Framework for the Assessment of Operating Systems

      • Philippa Conmy, Steven Crook-Dawkins
      Pages 195-208

  8. Safety Argument and the Law

    1. Front Matter

      Pages 209-209
      Download chapter PDF
Back to top

Keywords

About this book

Practical Elements of Safety contains the invited papers presented at the Twelfth annual Safety-critical Systems Symposium, held at Birmingham, UK in February 2004. The papers included in this volume focus on the themes of the identification and analysis of risk - using the UK railway as an industry example; safety-integrity levels; industrial use of formal methods; as well as expanding on the development, assessment and changing face of current safety issues. All the papers are linked within the broad context of safety-critical systems actvities and offer a practical perspective. Papers contain industrial experience, as well as academic research, and are presented under the headings of: Mature and Practical Formality, Managing Risk in the Railway Industry, Safety Integrity Levels, the Human Side of Risk, Assessment and the Derivation of Evidence, and Safety Argument and the Law.

Editors and Affiliations

  • Redmill Consultancy, London, UK

    Felix Redmill

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

    Tom Anderson

Bibliographic Information

  • Book Title: Practical Elements of Safety

  • Book Subtitle: Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17–19 February 2004

  • Editors: Felix Redmill, Tom Anderson

  • DOI: https://doi.org/10.1007/978-0-85729-408-1

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag London 2004

  • Softcover ISBN: 978-1-85233-800-8Published: 20 February 2004

  • eBook ISBN: 978-0-85729-408-1Published: 06 December 2012

  • Edition Number: 1

  • Number of Pages: X, 242

  • Number of Illustrations: 9 b/w illustrations

  • Topics: Operations Research/Decision Theory, Software Engineering, System Performance and Evaluation

Publish with us

Policies and ethics

Back to top

Search

Navigation