Improvements in System Safety [electronic resource] / edited by Felix Redmill, Tom Anderson.

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.

Improvements in System Safety contains the full complement of papers presented at the sixteenth annual Safety-critical Systems Symposium, held at Bristol, UK, in February 2008. The Symposium is for engineers, managers and academics in the field of safety, across all industry sectors, and so the papers included in this volume offer a wide-ranging coverage of major safety issues as well as a good blend of academic research and industrial experience. They include discussions of some of the most recent developments in the field. The first paper reflects a tutorial on The Safety Case held on the first day of the Symposium. The subsequent 14 papers are presented under the headings of the Symposiums sessions: Themes Reprised from SSS 07; The Safety Case; Safety Culture; Human Factors; Achieving and Improving System Safety; Safety and Risk Analysis. This book will be of interest to both academics and practitioners working in the safety-critical systems arena.

ZDB-2-SCS