The Safety of Systems

Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13-15 February 2007

By Felix Redmill , Tom Anderson

The Safety of Systems Cover Image

  • ISBN13: 978-1-8462-8805-0
  • 272 Pages
  • User Level: Science
  • Publication Date: March 5, 2008
  • Available eBook Formats: PDF
  • eBook Price: $129.00
Buy eBook Buy Print Book Add to Wishlist

Related Titles

Full Description
'The Safety of Systems' contains the invited papers presented at the fifteenth annual Safety-critical Systems Symposium, held at Bristol, UK in February 2007. The papers included in this volume cover a broad spectrum of important safety issues. They provide a combination of industrial experience and recent developments, and are presented under the headings: Interdependence of Safety and Security, Demonstrating Safety, Safety Management, Trends in Safety Case Development, Lessons in Safety Assessment, and High Integrity from Specification to Code.
Table of Contents

Table of Contents

  1. Achieving Safety through Security Management.
  2. Towards a Unified Approach to Safety and Security in Automotive Systems.
  3. Dependability
  4. by
  5. Contract.
  6. Achieving Integrated Process and Product Safety Arguments.
  7. The Benefits of Electronic Safety Cases.
  8. A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996
  9. 2006).
  10. A Proactive Approach to Enhancing Safety Culture.
  11. Comparing and Contrasting some of the approaches in UK and USA Safety Assessment Processes.
  12. Safety Case Composition Using Contracts: Refinements based on Feedback from an Industrial Case Study.
  13. The Sum of Its Parts.
  14. Independently Assessing Legacy Safety Systems.
  15. Safety Assessments of Air Traffic Systems.
  16. CARA: A Human Reliability Assessment Tool for Air Traffic Safety Management: Technical Basis and Preliminary Architecture.
  17. AMBERS: Improving Requirements Specification Through Assertive Models and SCADE/DOORS Integration.
  18. Formalising C and C++ for Use in High Integrity Systems.
Errata

Please Login to submit errata.

No errata are currently published