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

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 -