Skip to main content
SpringerLink
Log in
Book cover

Computer Safety, Reliability, and Security

33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Andrea Bondavalli

    1. Department of Mathematics and Informatics, University of Florence, Florence, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Felicita Di Giandomenico

    1. ISTI-CNR, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8666)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SAFECOMP 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Download chapter 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
Back to top

Other volumes

  1. Computer Safety, Reliability, and Security

  2. Computer Safety, Reliability, and Security

  3. Computer Safety, Reliability, and Security

  4. Computer Safety, Reliability, and Security

Keywords

About this book

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.

Editors and Affiliations

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

    Andrea Bondavalli

  • ISTI-CNR, Pisa, Italy

    Felicita Di Giandomenico

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation