Improvements in System Safety: Proceedings of the Sixteenth Safety-critical Systems Symposium, Bristol, UK, 5-7 February 2008

by Felix Redmill (Editor), Tom Anderson (Editor)

Overview

Contains the invited papers presented at the Sixteenth annual Safety-critical Systems Symposium, held in February 2008 in the UK

Presents a broad spectrum of major safety issues and the papers included cover a broad spectrum of issues affecting safety and bring together topics that are of the utmost importance in current safety thinking. Papers provide a combination of extensive industrial experience and academic research

State-of-the-art contributions will appeal to practitioners and researchers alike, as well as to postgraduates

Product Details

ISBN-13:	9781848000995
Publisher:	Springer London
Publication date:	01/24/2008
Edition description:	2008
Pages:	266
Product dimensions:	6.10(w) x 9.25(h) x 0.36(d)

Table of Contents

Tutorial Paper.- Can Process-Based and Product-Based Approaches to Software Safety Certification be Reconciled?.- Themes Reprised from SSS—07.- Making Safe Software Secure.- Safety Process Improvement with POSE and Alloy.- How to Select a Programming Language Subset to Maximise Software Quality.- The Safety Case.- Safety Case Development How can I continue the work?.- Safety Case Experiences from Harrier.- Safety Culture.- Investigation to Establish Whether Cultural Analysis can be used to Improve the Interactions Between Design, Safety and Operations Departments.- Human Performance Improvement-Reducing Significant Events in Nuclear Power.- Human Factors.- A Human Factors Perspective on Safety Management Systems.- Human Factors Safety Assurance for Changing ATM Systems.- Achieving and Improving System Safety.- Practical Ways of Improving Product Safety in Industry.- Prototyping versus Formal Development.- Systems Approach to Unmanned Air Vehicle Development and Certification.- Safety and Risk Analysis.- Safety Analysis: Thoughts on Methods and Experience.- Simplifying the Creation and Use of the Risk Matrix.