Advances in Systems Safety contains the papers presented at the nineteenth annual Safety-Critical Systems Symposium, held at Southampton, UK, in 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.
Advances in Systems Safety
Related titles: Lessons in System Safety Proceedings of the Eighth Safety-critical Systems Symposium, Southampton, UK, 2000 Redmill and Anderson (Eds) 1-85233-249-2 Aspects of Safety Management Proceedings of the Ninth Safety-critical Systems Symposium, Bristol, UK, 2001 Redmill and Anderson (Eds) 1-85233-411-8 Components of System Safety Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002 Redmill and Anderson (Eds) 1-85233-561-0 Current Issues in Safety-critical Systems Proceedings of the Eleventh Safety-critical Systems Symposium, Bristol, UK, 2003 Redmill and Anderson (Eds) 1-85233-696-X Practical Elements of Safety Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 2004 Redmill and Anderson (Eds) 1-85233-800-8 Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 2005 Redmill and Anderson (Eds) 1-85233-952-7 Developments in Risk-based Approaches to Safety Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, 2006 Redmill and Anderson (Eds) 1-84628-333-7 The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 2007 Redmill and Anderson (Eds) 978-1-84628-805-0 Improvements in System Safety Proceedings of the Sixteenth Safety-critical Systems Symposium, Bristol, UK, 2008 Redmill and Anderson (Eds) 978-1-84800-099-5 Safety-Critical Systems: Problems, Process and Practice Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 2009 Dale and Anderson (Eds) 978-1-84882-348-8 Making Systems Safer Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 2010 Dale and Anderson (Eds) 978-1-84996-085-4
Chris Dale · Tom Anderson Editors
Advances in Systems Safety Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8–10th February 2011
The publication of these proceedings is sponsored by BAE Systems plc
123
Editors Chris Dale Dale Research Ltd 33 North Street Martock TA12 6DH United Kingdom
[email protected]
Prof. Tom Anderson Centre for Software Reliability Newcastle University Newcastle upon Tyne NE1 7RU United Kingdom
ISBN 978-0-85729-132-5 e-ISBN 978-0-85729-133-2 DOI 10.1007/978-0-85729-133-2 Springer London Dordrecht Heidelberg New York British Library Cataloguing in Publication Data A catalogue record for this book is available from the British Library c Springer-Verlag London Limited 2011 c BAE Systems Ltd. Published by Springer London Ltd., Chapter 4 is published with kind permission of All Rights Reserved c Wind River UK Ltd. Published by Springer London Chapter 13 is published with kind permission o