Skip to main content
SpringerLink
Log in

Towards System Safety

Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK 1999

  • Conference proceedings
  • © 1999

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 (15 papers)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Design for Safety

    • Neil Storey
    Pages 1-25

  3. Experiences with Safety Case Documentation According to the CENELEC Railway Safety Norms

    • Øystein Skogstad
    Pages 26-47

  4. Retrospective Collection of Safety Case Evidence - Experiences from an Air Traffic Control System Safety Case

    • Tim Boyce, Vivien Hamilton
    Pages 48-59

  5. Assuring Safety through Measurement — A Laudable Goal

    • Paul Goodman
    Pages 60-64

  6. Assessing Safety Critical COTS Systems

    • Colin O’Halloran
    Pages 65-74

  7. Systems Approach to Safety-related Systems

    • John Elliott
    Pages 75-98

  8. The Safety Analysis Case in the São Paulo Metro

    • João Batista Camargo, Jorge Rady de Almeida Jr.
    Pages 99-110

  9. Safety Integrity Levels: An Industrial Viewpoint

    • Vivien Hamilton, Ceri Rees
    Pages 111-126

  10. Code generation in the SACRES project

    • Thierry Gautier, Paul Le Guernic
    Pages 127-149

  11. Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checking

    • Tom Bienmüller, Udo Brockmeyer, Werner Damm, Gert Döhmen, Claus Eßmann, Hans-Jürgen Holberg et al.
    Pages 150-173

  12. Safety and the Millennium Bug

    • Tony Foord, Harry Smith
    Pages 174-192

  13. Integrated Modular Avionics — A View on Safe Partitioning

    • Mike Ainsworth, Alan Simpson
    Pages 193-210

  14. Independent Verification Magic or Myth?

    • Andrew J. Nolan
    Pages 211-224

  15. Can Formal Argumentation Raise our Confidence in Safe Design ?

    • David Robertson
    Pages 225-238

  16. Who can you trust? Assessing Professional Competence

    • R. Malcolm, S. Clarke, S. Hatton, R. May
    Pages 239-255

  17. Back Matter

    Pages 252-257
    Download chapter PDF
Back to top

Keywords

About this book

Each year the Safety-critical Systems Symposium brings together practitioners and researchers in a quest to inculcate a higher degree of safety engineering into the development and operation of critical software-based systems. On this, the Symposium's seventh occasion, it explores recent work and experience which lead us further 'towards system safety'. This book of the Proceedings covers the entire event. The first paper is the course text of a tutorial run on the first day of the Symposium, included here to provide readers with a coverage of the entire event. The next fourteen papers were presented, on the second and third days, in six sessions: Safety Cases, Systems Engineering, Safety Analysis and Safety Integrity, Tools for Software Safety, Solving Safety Problems, and Qllestions and Competences. Eight of the fourteen papers were authored in industry, four in universities, and two in other research establishments. Four of them report on work outside the UK: in France, Germany, Norway and Brazil. There are three papers on safety cases, each taking a different perspective. Skogstad from Norway and Boyce and Hamilton of GEC-Marconi both report on experience in the field, the former in attempting to apply European norms to project documentation and the latter in attempting to build up a retrospective safety case. The third paper, by Goodman, takes a more philosophical stance, examining the lack of useful measurement in safety assurance.

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