The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13-15 February 2007
题名:
The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13-15 February 2007
ISBN:
9781846288067
版:
1st ed. 2007.
PRODUCTION_INFO:
London : Springer London : Imprint: Springer, 2007.
物理描述:
X, 262 p. 61 illus. online resource.
内容:
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.
附加团体著者:
语言:
英文