Computer Safety, Reliability, and Security [recurso electrónico] 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings

This book constitutes the refereed proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, held in Toulouse, France, in September 2013. The 20 revised full papers presented together with 5 practical experience reports were carefully reviewed and selected from more than 88 submissions. The papers are organized in topical sections on safety requirements and assurance, testing and verification, security, software reliability assessment, practical experience reports and tools, safety assurance in automotive, error control codes, dependable user interfaces, and hazard and failure mode analysis. Front Matter....Pages - Logic and Epistemology in Safety Cases....Pages 1-7 Comparative Conformance Cases for Monitoring Multiple Implementations of Critical Requirements....Pages 8-20 A Formal Basis for Safety Case Patterns....Pages 21-32 Testing Autonomous Robot Control Software Using Procedural Content Generation....Pages 33-44 Fine-Grained Implementation of Fault Tolerance Mechanisms with AOP: To What Extent?....Pages 45-56 Formalisation of an Industrial Approach to Monitoring Critical Data....Pages 57-69 Protecting Vehicles Against Unauthorised Diagnostics Sessions Using Trusted Third Parties....Pages 70-81 Vulnerability Analysis on Smart Cards Using Fault Tree....Pages 82-93 Does Malware Detection Improve with Diverse AntiVirus Products? An Empirical Study....Pages 94-105 Software Fault-Freeness and Reliability Predictions....Pages 106-117 Does Software Have to Be Ultra Reliable in Safety Critical Systems?....Pages 118-129 The SafeCap Platform for Modelling Railway Safety and Capacity....Pages 130-137 Embedded System Platform for Safety-Critical Road Traffic Signal Applications....Pages 138-145 Low-Level Attacks on Avionics Embedded Systems....Pages 146-153 Safety Cases and Their Role in ISO 26262 Functional Safety Assessment....Pages 154-165 Structuring Safety Requirements in ISO 26262 Using Contract Theory....Pages 166-177 Flexible Unequal Error Control Codes with Selectable Error Detection and Correction Levels....Pages 178-189 Safety Transformations: Sound and Complete?....Pages 190-201 It Is (Almost) All about Human Safety: A Novel Paradigm for Robot Design, Control, and Planning....Pages 202-215 Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study....Pages 216-227 Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS....Pages 228-240 Characterization of Failure Effects on AADL Models....Pages 241-252 Derived Hazard Analysis Method for Critical Infrastructures....Pages 253-264 A Study of the Impact of Single Bit-Flip and Double Bit-Flip Errors on Program Execution....Pages 265-276 OpenMADS: An Open Source Tool for Modeling and Analysis of Distributed Systems....Pages 277-284 A Controlled Experiment on Component Fault Trees....Pages 285-292 DFTC alc : A Tool for Efficient Fault Tree Analysis....Pages 293-301 Back Matter....Pages - The papers are organized in topical sections on fault injection techniques, verification and validation techniques, automotive systems, coverage models and mitigation techniques, assurance cases and arguments, system analysis, security and trust, notations/languages for safety related aspects, safety and security.