Computer Safety, Reliability, and Security: 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings

Description

This book constitutes the refereed proceedings of the 31st International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2012, held in Magdeburg, Germany, in September 2012. The 33 revised full papers presented were carefully reviewed and selected from more than 70 submissions. The papers are organized in topical sections on tools, risk analysis, testing, quantitative analysis, security, formal methods, aeronautic, automotive, and process. Also included are 4 case studies. Front Matter....Pages - A Lightweight Methodology for Safety Case Assembly....Pages 1-12 A Pattern-Based Method for Safe Control Systems Exemplified within Nuclear Power Production....Pages 13-24 Risk Assessment for Airworthiness Security....Pages 25-36 A Method for Guided Hazard Identification and Risk Mitigation for Offshore Operations , ....Pages 37-48 Risk Analysis and Software Integrity Protection for 4G Network Elements in ASMONIA....Pages 49-61 Applying Industrial-Strength Testing Techniques to Critical Care Medical Equipment....Pages 62-73 Requirement Decomposition and Testability in Development of Safety-Critical Automotive Components , ....Pages 74-86 Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile....Pages 87-98 Quantification of Priority-OR Gates in Temporal Fault Trees....Pages 99-110 Cross-Level Compositional Reliability Analysis for Embedded Systems....Pages 111-124 IT-Forensic Automotive Investigations on the Example of Route Reconstruction on Automotive System and Communication Data....Pages 125-136 Towards an IT Security Protection Profile for Safety-Related Communication in Railway Automation....Pages 137-148 Towards Secure Fieldbus Communication....Pages 149-160 Extracting EFSMs of Web Applications for Formal Requirements Specification....Pages 161-172 An Ontological Approach to Systematization of SW-FMEA....Pages 173-184 Online Black-Box Failure Prediction for Mission Critical Distributed Systems....Pages 185-197 On the Impact of Hardware Faults – An Investigation of the Relationship between Workload Inputs and Failure Mode Distributions....Pages 198-209 Formal Development and Assessment of a Reconfigurable On-board Satellite System....Pages 210-222 Impact of Soft Errors in a Jet Engine Controller....Pages 223-234 Which Automata for Which Safety Assessment Step of Satellite FDIR?....Pages 235-246 A Novel Modelling Pattern for Establishing Failure Models and Assisting Architectural Exploration in an Automotive Context....Pages 247-257 Reviewing Software Models in Compliance with ISO 26262....Pages 258-267 Software Architecture of a Safety-Related Actuator in Traffic Management Systems....Pages 268-278 Approximate Reliability Algebra for Architecture Optimization....Pages 279-290 On the Formal Verification of Systems of Synchronous Software Components....Pages 291-304 A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments....Pages 305-316 Determining Potential Errors in Tool Chains....Pages 317-327 Safety-Focused Deployment Optimization in Open Integrated Architectures....Pages 328-339 Qualifying Software Tools, a Systems Approach....Pages 340-351 Adapting a Software Product Line Engineering Process for Certifying Safety Critical Embedded Systems....Pages 352-363 Combining Failure Mode and Functional Resonance Analyses in Healthcare Settings....Pages 364-375 A STAMP Analysis on the China-Yongwen Railway Accident....Pages 376-387 Efficient Software Component Reuse in Safety-Critical Systems – An Empirical Study....Pages 388-399 Back Matter....Pages -