Improvements in System Safety (eBook, PDF)

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

• Format: PDF

Produktbeschreibung

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

Produktdetails

• Verlag: Springer London
• Erscheinungstermin: 25. Dezember 2007
• Englisch
• ISBN-13: 9781848001008
• Artikelnr.: 37354731

Inhaltsangabe

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.

---

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.