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

The Symposium is for engineers, managers and academics in the field of system safety, across all industry sectors, so the papers making up this volume offer a wide-ranging coverage of current safety topics, and a blend of academic research and industrial experience. They include both recent developments in the field and discussion of open issues that will shape future progress.

The 17 papers in this volume are presented under the headings of the Symposium’s sessions: Safety Cases; Projects, Services and Systems of Systems; Systems Safety in Healthcare; Testing Safety-Critical Systems; Technological Matters and Safety Standards.

The book will be of interest to both academics and practitioners working in the safety-critical systems arena.

Safety Cases.-A New Approach to Creating Clear Safety Arguments.-Safety Cases-What Can We Learn from Science?.-Accounting for Evidence: Managing Evidence for Goal Based Software Safety Standards.-Projects, Services and Systems of Systems.-Distinguishing Fact from Fiction in a System of Systems Safety Case.-A Project Manager’s View of Safety-Critical Systems.-System Safety in an IT Service Organization.-Systems Safety in Healthcare.-Integrating a Risk-based Approach and ISO 62304 into a Quality System for Medical Devices.-Maintaining the Safety of Operational Health ICT Systems.-Testing of Safety-Critical Software Embedded in an Artificial Heart.-Testing Safety-Critical Systems.-A Risk Driven Approach to testing Medical Device Software.-Testing Experiences of Safety-Critical Embedded Systems.-Technological Matters.-Safety, Security and Multicore.-A Pragmatic View of Formal Methods: the Hi-Lite Project.-Safety Standards.-CE Marking – the Essential Requirements.-Introduction and Revision of IEC 61508.-Are we there yet? A Practitioner’s View of DO-178C/ED-12C.-Author Index.-Testing of Safety-Critical Systems – a Structural Approach to Test Case Design.-Technological Matters.-Safety, Security and Multicore.-A Pragmatic View of Formal Methods: the Hi-Lite Project.-Safety Standards.-CE Marking – the Essential Requirements.-Introduction and Revision of IEC 61508.-Are we there yet? A Practitioner’s View of DO-178C/ED-12C.-Author Index