Making systems safer
Subtitle: proceedings of the eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010
By: Chris Dale, Tom Anderson, editors
Contributors: Dale, Chris, 1953-; Anderson, Tom, 1947-; Safety-Critical Systems Club
Publisher: Springer
Published: 2010
Place of publication: London
Language: eng
Number of pages: 271
ISBN-13: 9781849960854
Subjects: Reliability; Management; Congresses; Industrial safety; System safety; Reliability (Engineering); Automatic control
Notes: "Safety-Critical systems club".

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