Computer Safety, Reliability, and Security

35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

  • Amund Skavhaug
  • Jérémie Guiochet
  • Friedemann Bitsch
Conference proceedings SAFECOMP 2016
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9922)

Table of contents

  1. Front Matter
    Pages I-XV
  2. Fault Injection

    1. Front Matter
      Pages 1-1
    2. Louis Dureuil, Guillaume Petiot, Marie-Laure Potet, Thanh-Ha Le, Aude Crohen, Philippe de Choudens
      Pages 3-11
    3. Maryam Raiyat Aliabadi, Karthik Pattabiraman
      Pages 12-23
  3. Safety Assurance

    1. Front Matter
      Pages 25-25
    2. Richard Hawkins, Thomas Richardson, Tim Kelly
      Pages 27-38
    3. John C. Knight, Jonathan Rowanhill
      Pages 39-50
    4. Ewen Denney, Ganesh Pai
      Pages 51-63
  4. Formal Verification

    1. Front Matter
      Pages 65-65
    2. Maxime Puys, Marie-Laure Potet, Pascal Lafourcade
      Pages 67-75
    3. Quentin Cappart, Pierre Schaus
      Pages 76-87
    4. Victor Bos, Harold Bruintjes, Stefano Tonetta
      Pages 88-101
    5. David Hardin, Konrad Slind, Mark Bortz, James Potts, Scott Owens
      Pages 102-113
  5. Automotive

    1. Front Matter
      Pages 115-115
    2. Archana Mallya, Vera Pantelic, Morayo Adedjouma, Mark Lawford, Alan Wassyng
      Pages 117-129
    3. Georg Macher, Eric Armengaud, Eugen Brenner, Christian Kreiner
      Pages 130-141
  6. Anomaly Detection and Resilience

    1. Front Matter
      Pages 143-143
    2. Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli
      Pages 145-158
    3. William Excoffon, Jean-Charles Fabre, Michael Lauer
      Pages 159-171
    4. Leonardo Aniello, Claudio Ciccotelli, Marcello Cinque, Flavio Frattini, Leonardo Querzoni, Stefano Russo
      Pages 172-183

Other volumes

  1. Computer Safety, Reliability, and Security
    35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
  2. SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016. The 24 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on fault injection, safety assurance, formal verification, automotive, anomaly detection and resilience, cyber security, fault trees, and safety analysis.

Keywords

cloud computing cybersecurity formal verification human-robot collaboration safety analysis anomaly detection application data automotive software context aware dependability fraud detection malware patterns quality risk asessment security analysis service oriented architecture SVM system safety verification

Editors and affiliations

  • Amund Skavhaug
    • 1
  • Jérémie Guiochet
    • 2
  • Friedemann Bitsch
    • 3
  1. 1.Norwegian University of Science and Technology TrondheimNorway
  2. 2.University of Toulouse ToulouseFrance
  3. 3.Thales Transportation Systems GmbH DitzingenGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-45477-1
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-45476-4
  • Online ISBN 978-3-319-45477-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book