Redmill / Anderson Improvements in System Safety

Proceedings of the Sixteenth Safety-critical Systems Symposium, Bristol, UK, 5-7 February 2008
1. Auflage 2007
ISBN: 978-1-84800-100-8
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 266 Seiten, eBook

Contains the invited papers presented at the Sixteenth annual Safety-critical Systems Symposium, held in February 2008 in the UKPresents 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 researchState-of-the-art contributions will appeal to practitioners and researchers alike, as well as to postgraduates

Zielgruppe

Research

Autoren/Hrsg.

Redmill, Felix

Anderson, Tom

Inhaltsverzeichnis

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.