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

Front Matter....Pages i-x
Front Matter....Pages 1-1
A New Approach to creating Clear Safety Arguments....Pages 3-23
Safety Cases – what can we learn from Science?....Pages 25-40
Accounting for Evidence: Managing Evidence for Goal Based Software Safety Standards....Pages 41-51
Front Matter....Pages 53-53
Distinguishing Fact from Fiction in a System of Systems Safety Case....Pages 55-72
A Project Manager’s View of Safety-Critical Systems....Pages 73-88
System Safety in an IT Service Organization....Pages 89-107
Front Matter....Pages 109-109
Integrating a Risk-based Approach and ISO 62304 into a Quality System for Medical Devices....Pages 111-125
Maintaining the Safety of Operational Health ICT Systems....Pages 127-141
Testing of Safety-Critical Software Embedded in an Artificial Heart....Pages 143-153
Front Matter....Pages 155-155
A Risk Driven Approach to testing Medical Device Software....Pages 157-168
Testing Experiences of Safety-Critical Embedded Systems....Pages 169-186
Testing of Safety-Critical Systems – a Structural Approach to Test Case Design....Pages 187-211
Front Matter....Pages 213-213
Safety, Security and Multicore....Pages 215-232
A Pragmatic View of Formal Methods: the Hi-Lite Project....Pages 233-248
Front Matter....Pages 249-249
CE Marking – the Essential Requirements....Pages 251-271
Introduction and Revision of IEC 61508....Pages 273-291
Are we there yet? A Practitioner’s View of DO-178C/ED-12C....Pages 293-313
Back Matter....Pages 315-315