Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings

Front Matter....Pages -
A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems....Pages 1-16
Rapid Fault-Space Exploration by Evolutionary Pruning....Pages 17-32
Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search....Pages 33-48
Debugging with Timed Automata Mutations....Pages 49-64
Systematic Derivation of Functional Safety Requirements for Automotive Systems....Pages 65-80
Making Implicit Safety Requirements Explicit....Pages 81-92
Securing Vehicle Diagnostics in Repair Shops....Pages 93-108
Analysis of Persistence of Relevance in Systems with Imperfect Fault Coverage....Pages 109-124
Exploiting Narrow Data-Width to Mask Soft Errors in Register Files....Pages 125-138
Towards a Clearer Understanding of Context and Its Role in Assurance Argument Confidence....Pages 139-154
Assurance Cases for Block-Configurable Software....Pages 155-169
Generation of Safety Case Argument-Fragments from Safety Contracts....Pages 170-185
Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function....Pages 186-201
Proving the Absence of Stack Overflows....Pages 202-213
Trust-Based Intrusion Tolerant Routing in Wireless Sensor Networks....Pages 214-229
A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems....Pages 230-245
On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet....Pages 246-261
Specifying Safety Monitors for Autonomous Systems Using Model-Checking....Pages 262-277
Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements....Pages 278-293
Querying Safety Cases....Pages 294-309
Security Application of Failure Mode and Effect Analysis (FMEA)....Pages 310-325
Safety and Security Interactions Modeling Using the BDMP Formalism: Case Study of a Pipeline....Pages 326-341
A Pragmatic Approach towards Safe and Secure Medical Device Integration....Pages 342-353
Back Matter....Pages -