Computer Safety, Reliability, and Security

1. Front Matter

   PDF

2. Fault Injection Techniques

   1. A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems

      • Iban Ayestaran, Carlos F. Nicolas, Jon Perez, Asier Larrucea, Peter Puschner

      Pages 1-16

   2. Rapid Fault-Space Exploration by Evolutionary Pruning

      • Horst Schirmeier, Christoph Borchert, Olaf Spinczyk

      Pages 17-32

3. Verification and Validation Techniques

   1. Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search

      • Xueyi Zou, Rob Alexander, John McDermid

      Pages 33-48

   2. Debugging with Timed Automata Mutations

      • Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber

      Pages 49-64

4. Automotive Systems

   1. Systematic Derivation of Functional Safety Requirements for Automotive Systems

      • Kristian Beckers, Isabelle Côté, Thomas Frese, Denis Hatebur, Maritta Heisel

      Pages 65-80

   2. Making Implicit Safety Requirements Explicit

      • Thomas Arts, Michele Dorigatti, Stefano Tonetta

      Pages 81-92

   3. Securing Vehicle Diagnostics in Repair Shops

      • Pierre Kleberger, Tomas Olovsson

      Pages 93-108

5. Coverage Models and Mitigation Techniques

   1. Analysis of Persistence of Relevance in Systems with Imperfect Fault Coverage

      • Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno

      Pages 109-124

   2. Exploiting Narrow Data-Width to Mask Soft Errors in Register Files

      • Jianjun Xu, Qingping Tan, Zeming Shao, Hong Ning

      Pages 125-138

6. Assurance Cases and Arguments

   1. Towards a Clearer Understanding of Context and Its Role in Assurance Argument Confidence

      • Patrick John Graydon

      Pages 139-154

   2. Assurance Cases for Block-Configurable Software

      • Richard Hawkins, Alvaro Miyazawa, Ana Cavalcanti, Tim Kelly, John Rowlands

      Pages 155-169

   3. Generation of Safety Case Argument-Fragments from Safety Contracts

      • Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson

      Pages 170-185

7. System Analysis

   1. Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function

      • Peter Bishop, Lorenzo Strigini

      Pages 186-201

   2. Proving the Absence of Stack Overflows

      • Daniel Kästner, Christian Ferdinand

      Pages 202-213

8. Security and Trust

   1. Trust-Based Intrusion Tolerant Routing in Wireless Sensor Networks

      • Francesco Buccafurri, Luigi Coppolino, Salvatore D’Antonio, Alessia Garofalo, Gianluca Lax, Antonino Nocera et al.

      Pages 214-229

   2. A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems

      • Francesco Flammini, Ugo Gentile, Stefano Marrone, Roberto Nardone, Valeria Vittorini

      Pages 230-245

   3. On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet

      • Adrian Garcia Ramirez, Julien Schmaltz, Freek Verbeek, Bruno Langenstein, Holger Blasum

      Pages 246-261

9. Notations/Languages for Safety-Related Aspects

   1. Specifying Safety Monitors for Autonomous Systems Using Model-Checking

      • Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck

      Pages 262-277

   2. Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements

      • Raphael Fonte Boa Trindade, Lukas Bulwahn, Christoph Ainhauser

      Pages 278-293

This book constitutes the refereed proceedings of the 33nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2014, held in Florence, Italy, in September 2014. The 20 revised full papers presented together with 3 practical experience reports were carefully reviewed and selected from 85 submissions. 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.

• computer systems organization
• cyber-physical systems
• dependable and fault-tolerant systems and networks
• embedded systems
• formal methods
• hardware robustness
• software fault tolerance
• software notations and tools
• software reliability
• software safety

• Department of Mathematics and Informatics, University of Florence, Florence, Italy

  Andrea Bondavalli

• ISTI-CNR, Pisa, Italy

  Felicita Di Giandomenico

Policies and ethics