Proceedings of the Fifteenth Safety-Critical Systems Symposium, Bristol, Uk, 13-15 February 2007
Buch, Englisch, 262 Seiten, Format (B × H): 156 mm x 234 mm, Gewicht: 412 g
ISBN: 978-1-84628-805-0
Verlag: Springer
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Wirtschaftswissenschaften Betriebswirtschaft Bereichsspezifisches Management Arbeitsplatz, Arbeitsschutz, Gefahrstoffschutz
- Mathematik | Informatik EDV | Informatik Technische Informatik Systemverwaltung & Management
- Rechtswissenschaften Arbeitsrecht Arbeitsschutz- und Arbeitssicherheitsrecht
Weitere Infos & Material
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.
