Proceedings of SSS 2007
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 a variety of headings.
|Since 1993 the Safety-Critical Systems Club has hosted the Safety-critical Systems Symposium (SSS) each February. Every year the programme has reflected what is then of particular interest to the safety community - in ways of working, in analysis techniques, in technology, in standards, and in research work that is on the point of being useful to practitioners. This book presents the papers delivered at the landmark fifteenth SSS. A subject that is mostly neglected by safety practitioners but which, if studied more carefully, could lead to both technical and economic efficiencies, as well as more effective protection, is the relationship between safety and security. The management of both is based on risk analysis and there are indications that the analyses could effectively be combined. The Symposium has offered papers on this subject in the past, and this year there are three. Continuing the trend of recent years, there are five papers on the development of safety cases, which are intended to demonstrate, or claim, the achievement of safety - in defined applications and under given circumstances. Some of the papers report on experiences in the field, but others venture to propose new ways in which safety cases may be used or extended.
Interdependence of Safety and Security.- Achieving Safety through Security Management.- Towards a Unified Approach to Safety and Security in Automotive Systems.- Dependability-by-Contract.- Demonstrating Safety.- Achieving Integrated Process and Product Safety Arguments.- The Benefits of Electronic Safety Cases.- Safety Management.- A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996–2006).- A Proactive Approach to Enhancing Safety Culture.- Comparing and Contrasting some of the Approaches in UK and USA Safety Assessment Processes.- Trends in Safety Case Development.- Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study.- The Sum of its Parts.- Lessons in Safety Assessment.- 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.- High Integrity from Specification to Code.- AMBERS: Improving Requirements Specification Through Assertive Models and SCADE/DOORS Integration.- Formalising C and C++ for Use in High Integrity Systems.
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.
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 a variety of headings.
Interdependence of Safety and Security.- Achieving Safety through Security Management.- Towards a Unified Approach to Safety and Security in Automotive Systems.- Dependability-by-Contract.- Demonstrating Safety.- Achieving Integrated Process and Product Safety Arguments.- The Benefits of Electronic Safety Cases.- Safety Management.- A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996-2006).- A Proactive Approach to Enhancing Safety Culture.- Comparing and Contrasting some of the Approaches in UK and USA Safety Assessment Processes.- Trends in Safety Case Development.- Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study.- The Sum of its Parts.- Lessons in Safety Assessment.- 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.- High Integrity from Specification to Code.- AMBERS: Improving Requirements Specification Through Assertive Models and SCADE/DOORS Integration.- Formalising C and C++ for Use in High Integrity Systems.
Inhaltsverzeichnis
Interdependence of Safety and Security.- Achieving Safety through Security Management.- Towards a Unified Approach to Safety and Security in Automotive Systems.- Dependability-by-Contract.- Demonstrating Safety.- Achieving Integrated Process and Product Safety Arguments.- The Benefits of Electronic Safety Cases.- Safety Management.- A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996-2006).- A Proactive Approach to Enhancing Safety Culture.- Comparing and Contrasting some of the Approaches in UK and USA Safety Assessment Processes.- Trends in Safety Case Development.- Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study.- The Sum of its Parts.- Lessons in Safety Assessment.- 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.- High Integrity from Specification to Code.- AMBERS: Improving Requirements Specification Through Assertive Models and SCADE/DOORS Integration.- Formalising C and C++ for Use in High Integrity Systems.
Klappentext
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 a variety of headings.
Proceedings of SSS 2007
