Title The safety of systems : proceedings of the fifteenth Safety-critical Systems Symposium, Bristol, UK, 13-15 February 2007 / Felix Redmill and Tom Anderson, (eds.)

Published London : Springer, 2007

Click on the following:
Springer Computer Science eBooks
Springer eBooks

Copies

Description 1 online resource (x, 261 pages) : illustrations 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 Summary 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 Analysis Safety critical systems Bibliography Includes bibliographical references and index Notes English Print version record In OhioLINK electronic book center SpringerLink Subject Industrial safety -- Management -- Congresses Automatic control -- Reliability -- Congresses Computer software -- Reliability -- Congresses Automatic control -- Reliability. Computer software -- Reliability. Industrial safety -- Management. Informatique. Automatic control -- Reliability. Computer software -- Reliability. Industrial safety -- Management. Genre/Form Conference papers and proceedings. Conference papers and proceedings. Actes de congrès. Form Electronic book Author Redmill, Felix. Anderson, Tom, 1947- ISBN 9781846288067 1846288061 1846288053 9781846288050 1281218081 9781281218087 9786611218089 6611218084

  Permalink