Practical Elements of Safety Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17–19 February 2004
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...
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
London
Springer London
2004, 2004
|
| Edition: | 1st ed. 2004 |
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- List
- Keynote
- Dear Sir, Yours faithfully: An Everyday Story of Formality
- Mature and Practical Formality
- Safe Object-Oriented Software: The Verified Design-By-Contract Paradigm
- A Rigorous Specification Technique for High Quality Software
- Managing Risk in the Railway Industry
- Development and Use of the UK Railway Network’s Safety Risk Model
- Safety Decision Making for the Railway
- Safety Integrity Levels
- Methods of Determining Safety Integrity Level (SIL) Requirements - Pros and Cons
- An Examination of the IEC 61508 Approach Towards Safety Integrity Levels and Modes of Operation of Safety Functions
- The Human Side of Risk
- Chasing Shadows: Science Journalism and the Politics of Risk
- Completing the Human Safety Jigsaw
- Assessment and the Derivation of Evidence
- Evidence Gathering Using Static Code Analysis
- Estimating PLC Logic Program Reliability
- A Systematic Framework for the Assessment of Operating Systems
- Safety Argument and the Law
- The Changing Face of UK Safety Legislation
- Turning up the HEAT on Safety Case Construction