The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13-15 February 2007
Başlık:
The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13-15 February 2007
ISBN:
9781846288067
Edition:
1st ed. 2007.
Yayın Bilgileri:
London : Springer London : Imprint: Springer, 2007.
Fiziksel Tanımlama:
X, 262 p. 61 illus. online resource.
Contents:
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.
Abstract:
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.
Ek Kurum Yazarı:
Elektronik Erişim:
Full Text Available From Springer Nature Computer Science 2007 Packages
Dil:
English