Apress NBA

Improvements in System Safety

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

By Felix Redmill , Tom Anderson

  • eBook Price: $139.00
Buy eBook Buy Print Book

Improvements in System Safety Cover Image

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

If you think that you've found an error in this book, please let us know by emailing to editorial@apress.com . You will find any confirmed erratum below, so you can check if your concern has already been addressed.
No errata are currently published


    1. PHP Objects, Patterns, and Practice


      View Book

    2. Beginning Android 3D Game Development


      View Book

    3. Troubleshooting Oracle Performance


      View Book

    4. Beginning Amazon Web Services with Node.js


      View Book