"Safety-Critical systems club".

Includes bibliographical references and index.

Tutorial Paper -- Formalism in Safety Cases / John Rushby -- Perspectives on Systems Safety -- Bureaucracy, Safety and Software: a Potentially Lethal Cocktail / Les Hatton -- Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems (CESAR) - An Objective Overview / Graham Jolliffe -- Safety and Assurance Cases: Past, Present and Possible Future - an Adelard Perspective / Robin Bloomfield and Peter Bishop -- Managing Safety-Related Projects -- Integrated Project Management Life Cycle Supporting System Safety / Hans Tschurtz and Gabriele Schedl -- Patterns in Safety-Related Projects / Mike Parsons and Charles Hunter -- Transport Safety -- Applying IEC 61508 to Air Traffic Management Systems / Ron Pierce and Derek Fowler -- Phileas, a Safety Critical Trip around the World / Jean-Luc Valk, Hans Vis and Gerard Koning -- Safety Standards -- Overview of the SoBP for Software in the Context of DS 00-56 Issue 4 / Catherine Menon, Richard Hawkins, John McDermid and Tim Kelly -- IEC80001 and Future Ramifications for Health Systems not currently classed as Medical Devices / Ian Harrison -- Safety Competencies -- Competence, The Why? The How? and 'A Practical Approach' / Peter Duggan -- new lET Guide - how to do EMC to help achieve Functional Safety / Keith Armstrong -- Code of Practice and Competencies for ISAs / Steve Kinnersly and Ian Spalding -- Safety Methods -- Evaluation and Integration of COTS in Evidence based Assurance Frameworks / George Despotou, Mike Bennett and Tim Kelly -- Way to Successful Hazard Management / Gabriele Schedl, Werner Winkelbauer and Alexander Wendt.