Computer Safety, Reliability, and Security

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

  • Andrea Bondavalli
  • Felicita Di Giandomenico
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8666)

Table of contents

  1. Front Matter
  2. Fault Injection Techniques

    1. Iban Ayestaran, Carlos F. Nicolas, Jon Perez, Asier Larrucea, Peter Puschner
      Pages 1-16
    2. Horst Schirmeier, Christoph Borchert, Olaf Spinczyk
      Pages 17-32
  3. Verification and Validation Techniques

    1. Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber
      Pages 49-64
  4. Automotive Systems

    1. Kristian Beckers, Isabelle Côté, Thomas Frese, Denis Hatebur, Maritta Heisel
      Pages 65-80
    2. Thomas Arts, Michele Dorigatti, Stefano Tonetta
      Pages 81-92
    3. Pierre Kleberger, Tomas Olovsson
      Pages 93-108
  5. Coverage Models and Mitigation Techniques

    1. Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno
      Pages 109-124
    2. Jianjun Xu, Qingping Tan, Zeming Shao, Hong Ning
      Pages 125-138
  6. Assurance Cases and Arguments

    1. Richard Hawkins, Alvaro Miyazawa, Ana Cavalcanti, Tim Kelly, John Rowlands
      Pages 155-169
    2. Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
      Pages 170-185
  7. System Analysis

    1. Daniel Kästner, Christian Ferdinand
      Pages 202-213
  8. Security and Trust

    1. Francesco Buccafurri, Luigi Coppolino, Salvatore D’Antonio, Alessia Garofalo, Gianluca Lax, Antonino Nocera et al.
      Pages 214-229
    2. Francesco Flammini, Ugo Gentile, Stefano Marrone, Roberto Nardone, Valeria Vittorini
      Pages 230-245
    3. Adrian Garcia Ramirez, Julien Schmaltz, Freek Verbeek, Bruno Langenstein, Holger Blasum
      Pages 246-261
  9. Notations/Languages for Safety-Related Aspects

    1. Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck
      Pages 262-277
    2. Raphael Fonte Boa Trindade, Lukas Bulwahn, Christoph Ainhauser
      Pages 278-293

Other volumes

  1. Computer Safety, Reliability, and Security
    33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings
  2. SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings

About these proceedings

Introduction

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.

Keywords

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

Editors and affiliations

  • Andrea Bondavalli
    • 1
  • Felicita Di Giandomenico
    • 2
  1. 1.Department of Mathematics and InformaticsUniversity of FlorenceFlorenceItaly
  2. 2.ISTI-CNRPisaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-10506-2
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-10505-5
  • Online ISBN 978-3-319-10506-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book