Advances in Systems Safety Proceedings of the Nineteenth Safety-Crit

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

  • PDF / 8,113,095 Bytes
  • 309 Pages / 439.37 x 666.142 pts Page_size
  • 62 Downloads / 145 Views

DOWNLOAD

REPORT


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 of  Ltd., All Rights Reserved c Ron Bell. Published by Springer London Ltd., All Chapter 16 is published with kind permission of  Rights Reserved c Silver Atena (UK) Ltd. Published by Springer London Chapter 17 is published with kind permission of  Ltd., All Rights Reserved Apart from any fair dealing for the purposes of research or