Towards System Safety : Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK 1999 /
Towards System Safety contains the invited papers presented at the seventh annual Safety-critical Systems Symposium, held in Huntingdon, February 1999. The papers bring together practitioners and researchers in a quest to inculate a higher degree of safety engineering into the development and operat...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London,
1999.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- Design for Safety
- Neil Storey
- Experiences with Safety Case Documentation According to the CENELEC Railway Safety Norms
- Xystein Skogstad
- Retrospective Collection of Safety Case Evidence
- Experiences from an Air Traffic Control System Safety Case
- Tim Boyce and Vivien Hamilton
- Assuring Safety through Measurement
- A Laudable Goal
- Paul Goodman
- Assessing Safety Critical COTS Systems
- Colin Oalloran
- Systems Approach to Safety-related Systems
- John Elliott
- The Safety Analysis Case in the Sco Paulo Metro
- Joco Camargo and Jorge de Almeida
- Safety Integrity Levels
- An Industrial View
- Vivien Hamilton and Ceri Rees
- Code Generation in the SACRES Project
- Thierry Gautier and Paul Le Guernic
- Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checking
- Tom Bienmüller et al.
- Safety and the Millennium Bug
- Tony Foord and Harry Smith
- Integrated Modular Avionics
- A View of Safe Partitioning
- Mike Ainsworth and Alan Simpson
- Independent Verification
- Magic or Myth?
- Andrew Nolan
- Can Formal Argumentation Raise our Confidence in Safe Design?
- David Robertson
- Whom can you Trust?
- Assessing Professional Competence
- R. Malcolm, S. Clarke, S. Hatton and R. May.