Cover Image

Practical Elements of Safety : Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17-19 February 2004 /

Show other versions (1)

<STRONG>Practical Elements of Safety</STRONG> 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...

Full description

Bibliographic Details
Main Author: Redmill, Felix
Corporate Author: SpringerLink (Online service)
Other Authors: Anderson, Tom
Format: eBook
Language:English
Published: London : Springer London : Imprint : Springer, 2004.
Subjects:
Computer science.
Computer system performance.
Software engineering.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • From the contents. Dear Sir, Yours faithfully: An Everyday Story of Formality
  • Safe Object-Oriented Software: The Verified Design-By-Contract Paradigm. A Rigorous Specification Technique for High Quality Software
  • Development and Use of the UK Railway Network's Safety Risk Model. Safety Decision Making for the Railway
  • 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
  • Chasing Shadows: Science Journalism and the Politics of Risk. Completing the Human Safety Jigsaw
  • Evidence Gathering Using Static Code Analysis. Estimating PLC Logic Program Reliability. A Systematic Framework for the Assessment of Operating Systems
  • The Changing Face of UK Safety Legislation. Turning up the HEAT on Safety Case Construction.