- 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
- Achieving Safety through Security Management.
- Towards a Unified Approach to Safety and Security in Automotive Systems.
- Achieving Integrated Process and Product Safety Arguments.
- The Benefits of Electronic Safety Cases.
- A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996
- A Proactive Approach to Enhancing Safety Culture.
- Comparing and Contrasting some of the approaches in UK and USA Safety Assessment Processes.
- Safety Case Composition Using Contracts: Refinements based on Feedback from an Industrial Case Study.
- The Sum of Its Parts.
- Independently Assessing Legacy Safety Systems.
- Safety Assessments of Air Traffic Systems.
- CARA: A Human Reliability Assessment Tool for Air Traffic Safety Management: Technical Basis and Preliminary Architecture.
- AMBERS: Improving Requirements Specification Through Assertive Models and SCADE/DOORS Integration.
- Formalising C and C++ for Use in High Integrity Systems.
If you think that you've found an error in this book, please let us know by emailing to firstname.lastname@example.org . You will find any confirmed erratum below, so you can check if your concern has already been addressed. No errata are currently published