- Full Description
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
- Table of Contents
Table of Contents
- Can process
- based and Product
- based Approaches to Software Safety Certification be Reconciled?
- Making Safe Software Secure.
- Safety Process Improvement with POSE and Alloy.
- How to Select a Programming Language Subset to Maximise Software Quality.
- Safety Case Development – How can I continue to work?
- Safety Case Experiences from Harrier.
- 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.
- A Human Factors Perspective on Safety Management Systems.
- Human Factors Safety Assurance for Changing ATM Systems.
- Practical Ways of Improving Product Safety in Industry.
- Prototyping versus Formal Development.
- Systems Approach to Unmanned Air Vehicle Development and Certification.
- Safety Analysis: Thoughts on Methods and Experience.
- Simplifying the Creation and Use of the Risk Matrix.
If you think that you've found an error in this book, please let us know by emailing to email@example.com . You will find any confirmed erratum below, so you can check if your concern has already been addressed. No errata are currently published