Apress Windows 10 Release Sale

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

Related Titles

  • Information Systems and Neuroscience
  • BPM - Driving Innovation in a Digital World
  • Data-Driven Process Discovery and Analysis
  • Physical Asset Management
  • Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII
  • UML @ Classroom
  • AIDA-CMK: Multi-Algorithm Optimization Kernel Applied to Analog IC Sizing
  • Computational Color Imaging
  • Uncertainty Quantification in Computational Fluid Dynamics and Aircraft Engines
  • Non-Linear Finite Element Analysis in Structural Mechanics
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

Please Login to submit errata.

No errata are currently published

Best-Sellers

    1. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

      $79.99

      View Details

    2. Service-Oriented Computing

      $89.99

      View Details

    3. Cloud Computing and Services Science

      $49.99

      View Details

    4. Transactions on Aspect-Oriented Software Development XI

      $49.99

      View Details