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

__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 Symposium’s 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.

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 book begins with a tutorial examining the recent marked shift in the regulatory approach to ensuring software safety. Whereas compliance with development standards used to be norm, the responsibility has now shifted on to the developers and operators to construct and present well reasoned arguments that their software is acceptably safe (in a system context). These arguments, together with supporting evidence, are typically assembled, structured and presented in a software ‘safety case’. This tutorial is crucial to all involved in the discipline and an excellent introduction to the topics subsequently discussed.

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 Symposium’s 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.

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 book begins with a tutorial examining the recent marked shift in the regulatory approach to ensuring software safety. Whereas compliance with development standards used to be norm, the responsibility has now shifted on to the developers and operators to construct and present well reasoned arguments that their software is acceptably safe (in a system context). These arguments, together with supporting evidence, are typically assembled, structured and presented in a software ‘safety case’. This tutorial is crucial to all involved in the discipline and an excellent introduction to the topics subsequently discussed. 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 Symposium’s 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. Front Matter....Pages i-x Can Process-Based and Product-Based Approaches to Software Safety Certification be Reconciled?....Pages 3-12 Making Safe Software Secure....Pages 15-23 Safety Process Improvement with POSE and Alloy....Pages 25-41 How to Select a Programming Language Subset to Maximise Software Quality....Pages 43-56 Safety Case Development How can I continue the work?....Pages 59-76 Safety Case Experiences from Harrier....Pages 77-91 Investigation to Establish Whether Cultural Analysis can be used to Improve the Interactions Between Design, Safety and Operations Departments....Pages 95-116 Human Performance Improvement-Reducing Significant Events in Nuclear Power....Pages 117-135 A Human Factors Perspective on Safety Management Systems....Pages 139-153 Human Factors Safety Assurance for Changing ATM Systems....Pages 155-173 Practical Ways of Improving Product Safety in Industry....Pages 177-193 Prototyping versus Formal Development....Pages 195-207 Systems Approach to Unmanned Air Vehicle Development and Certification....Pages 209-221 Safety Analysis: Thoughts on Methods and Experience....Pages 225-238 Simplifying the Creation and Use of the Risk Matrix....Pages 239-264 Back Matter....Pages 265-265 "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 Symposium's 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."--Jacket This book 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 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.