2011

Advances in Systems Safety

Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011

Editors:

ISBN: 978-0-85729-132-5 (Print) 978-0-85729-133-2 (Online)

Table of contents (17 chapters)

  1. Front Matter

    Pages i-x

  2. Safety Cases

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-23

      A New Approach to creating Clear Safety Arguments

    3. No Access

      Book Chapter

      Pages 25-40

      Safety Cases – what can we learn from Science?

    4. No Access

      Book Chapter

      Pages 41-51

      Accounting for Evidence: Managing Evidence for Goal Based Software Safety Standards

  3. Projects, Services and Systems of Systems

    1. Front Matter

      Pages 53-53

    2. No Access

      Book Chapter

      Pages 55-72

      Distinguishing Fact from Fiction in a System of Systems Safety Case

    3. No Access

      Book Chapter

      Pages 73-88

      A Project Manager’s View of Safety-Critical Systems

    4. No Access

      Book Chapter

      Pages 89-107

      System Safety in an IT Service Organization

  4. Systems Safety in Healthcare

    1. Front Matter

      Pages 109-109

    2. No Access

      Book Chapter

      Pages 111-125

      Integrating a Risk-based Approach and ISO 62304 into a Quality System for Medical Devices

    3. No Access

      Book Chapter

      Pages 127-141

      Maintaining the Safety of Operational Health ICT Systems

    4. No Access

      Book Chapter

      Pages 143-153

      Testing of Safety-Critical Software Embedded in an Artificial Heart

  5. Testing Safety-Critical Systems

    1. Front Matter

      Pages 155-155

    2. No Access

      Book Chapter

      Pages 157-168

      A Risk Driven Approach to testing Medical Device Software

    3. No Access

      Book Chapter

      Pages 169-186

      Testing Experiences of Safety-Critical Embedded Systems

    4. No Access

      Book Chapter

      Pages 187-211

      Testing of Safety-Critical Systems – a Structural Approach to Test Case Design

  6. Technological Matters

    1. Front Matter

      Pages 213-213

    2. No Access

      Book Chapter

      Pages 215-232

      Safety, Security and Multicore

    3. No Access

      Book Chapter

      Pages 233-248

      A Pragmatic View of Formal Methods: the Hi-Lite Project

  7. Safety Standards

    1. Front Matter

      Pages 249-249

    2. No Access

      Book Chapter

      Pages 251-271

      CE Marking – the Essential Requirements

    3. No Access

      Book Chapter

      Pages 273-291

      Introduction and Revision of IEC 61508

    4. No Access

      Book Chapter

      Pages 293-313

      Are we there yet? A Practitioner’s View of DO-178C/ED-12C

  8. Back Matter

    Pages 315-315