Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2004

Practical Elements of Safety

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

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

Sections

Buy it now

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

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

Table of contents (14 papers)

  1. Front Matter

    Pages I-X
    PDF

  2. Keynote

    1. Front Matter

      Pages 1-1
      PDF

  3. Mature and Practical Formality

    1. Front Matter

      Pages 17-17
      PDF

    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
      PDF

    3. Safety Decision Making for the Railway

      • Andrew Sharpe
      Pages 91-102

  6. The Human Side of Risk

    1. Front Matter

      Pages 135-135
      PDF

    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
      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
      PDF
Back to top

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Redmill Consultancy, London, UK

    Felix Redmill

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

    Tom Anderson

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation