2010

Making Systems Safer

Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010

Editors:

ISBN: 978-1-84996-085-4 (Print) 978-1-84996-086-1 (Online)

Table of contents (15 chapters)

  1. Front Matter

    Pages i-x

  2. Tutorial Paper

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-17

      Formalism in Safety Cases

  3. Perspectives on Systems Safety

    1. Front Matter

      Pages 19-19

    2. No Access

      Book Chapter

      Pages 21-36

      Bureaucracy, Safety and Software: a Potentially Lethal Cocktail

    3. No Access

      Book Chapter

      Pages 37-50

      Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems (CESAR) – An Objective Overview

    4. No Access

      Book Chapter

      Pages 51-67

      Safety and Assurance Cases: Past, Present and Possible Future – an Adelard Perspective

  4. Managing Safety-Related Projects

    1. Front Matter

      Pages 69-69

    2. No Access

      Book Chapter

      Pages 71-83

      An Integrated Project Management Life Cycle Supporting System Safety

    3. No Access

      Book Chapter

      Pages 85-100

      Patterns in Safety-Related Projects

  5. Transport Safety

    1. Front Matter

      Pages 101-101

    2. No Access

      Book Chapter

      Pages 103-113

      Applying IEC 61508 to Air Traffic Management Systems

    3. No Access

      Book Chapter

      Pages 115-126

      Phileas, a Safety Critical Trip around the World

  6. Safety Standards

    1. Front Matter

      Pages 127-127

    2. No Access

      Book Chapter

      Pages 129-147

      An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4

    3. No Access

      Book Chapter

      Pages 149-171

      IEC80001 and Future Ramifications for Health Systems not currently classed as Medical Devices

  7. Safety Competencies

    1. Front Matter

      Pages 173-173

    2. No Access

      Book Chapter

      Pages 175-186

      Competence, The Why? The How? and ‘A Practical Approach’

    3. No Access

      Book Chapter

      Pages 187-210

      The new IET Guide – how to do EMC to help achieve Functional Safety

    4. No Access

      Book Chapter

      Pages 211-230

      Code of Practice and Competencies for ISAs

  8. Safety Methods

    1. Front Matter

      Pages 231-231

    2. No Access

      Book Chapter

      Pages 233-254

      Evaluation and Integration of COTS in Evidence based Assurance Frameworks

    3. No Access

      Book Chapter

      Pages 255-271

      A Way to Successful Hazard Management

  9. Back Matter

    Pages 273-273