The Safety of Systems [electronic resource] :Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007 / edited by Felix Redmill, Tom Anderson.
by Redmill, Felix [editor.]; Anderson, Tom [editor.]; SpringerLink (Online service).
Material type:
BookPublisher: London : Springer London, 2007.Description: X, 261 p. online resource.ISBN: 9781846288067.Subject(s): Computer science | Computer system performance | Software engineering | Computer Science | Software Engineering | System Performance and EvaluationDDC classification: 005.1 Online resources: Click here to access online | Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | QA76.758 (Browse shelf) | Available |
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.
There are no comments for this item.