Apress

Improvements in System Safety

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

By Felix Redmill , Tom Anderson

Improvements in System Safety Cover Image

  • ISBN13: 978-1-8480-0099-5
  • 276 Pages
  • User Level: Science
  • Publication Date: December 25, 2007
  • Available eBook Formats: PDF
  • eBook Price: $149.00
Buy eBook Buy Print Book Add to Wishlist
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

  1. Can process
  2. based and Product
  3. based Approaches to Software Safety Certification be Reconciled?
  4. Making Safe Software Secure.
  5. Safety Process Improvement with POSE and Alloy.
  6. How to Select a Programming Language Subset to Maximise Software Quality.
  7. Safety Case Development – How can I continue to work?
  8. Safety Case Experiences from Harrier.
  9. Investigation to Establish Whether Cultural Analysis can be used to Improve the Interactions Between Design, Safety and Operations Departments.
  10. Human Performance Improvement: Reducing Significant Events in Nuclear Power.
  11. A Human Factors Perspective on Safety Management Systems.
  12. Human Factors Safety Assurance for Changing ATM Systems.
  13. Practical Ways of Improving Product Safety in Industry.
  14. Prototyping versus Formal Development.
  15. Systems Approach to Unmanned Air Vehicle Development and Certification.
  16. Safety Analysis: Thoughts on Methods and Experience.
  17. Simplifying the Creation and Use of the Risk Matrix.
Errata

If you think that you've found an error in this book, please let us know about it. You will find any confirmed erratum below, so you can check if your concern has already been addressed.

* Required Fields

No errata are currently published