Towards System Safety: Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK 1999 by Felix RedmillTowards System Safety: Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK 1999 by Felix Redmill

Towards System Safety: Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK…

EditorFelix Redmill, Tom Anderson

Paperback

Pricing and Purchase Info

$161.16 online 
$180.95 list price save 10%
Earn 806 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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 operation of critical software-based systems. In particular, this volume explores recent work and experience which leads us further 'towards system safety'.
Title:Towards System Safety: Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK…Format:PaperbackDimensions:266 pages, 9.25 × 6.1 × 0.01 in

The following ISBNs are associated with this title:

ISBN - 10:1852330643

ISBN - 13:9781852330644

Look for similar items by category:

Reviews

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.