Computer Safety, Reliability, and Security

32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings

  • Friedemann Bitsch
  • Jérémie Guiochet
  • Mohamed Kaâniche
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8153)

Table of contents

  1. Front Matter
  2. Invited Paper

  3. Safety Requirements and Assurance

    1. Janusz Górski, Aleksander Jarzębowicz, Jakub Miler
      Pages 8-20
    2. Ewen Denney, Ganesh Pai
      Pages 21-32
  4. Testing and Verification

    1. Jimmy Lauret, Jean-Charles Fabre, Hélène Waeselynck
      Pages 45-56
    2. Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilić, Timo Latvala
      Pages 57-69
  5. Security

    1. Guillaume Bouffard, Bhagyalekshmy N. Thampi, Jean-Louis Lanet
      Pages 82-93
    2. Ilir Gashi, Bertrand Sobesto, Vladimir Stankovic, Michel Cukier
      Pages 94-105
  6. Software Reliability Assessment

    1. Lorenzo Strigini, Andrey Povyakalo
      Pages 106-117
  7. Practical Experience Reports and Tools I

    1. Alexei Iliasov, Ilya Lopatkin, Alexander Romanovsky
      Pages 130-137
    2. Anthony Dessiatnikoff, Eric Alata, Yves Deswarte, Vincent Nicomette
      Pages 146-153
  8. Safety Assurance in Automotive

    1. John Birch, Roger Rivett, Ibrahim Habli, Ben Bradshaw, John Botham, Dave Higham et al.
      Pages 154-165
    2. Jonas Westman, Mattias Nyberg, Martin Törngren
      Pages 166-177
  9. Error Control Codes

    1. Luis-J. Saiz-Adalid, Pedro-J. Gil-Vicente, Juan-Carlos Ruiz-García, Daniel Gil-Tomás, J. -Carlos Baraza, Joaquín Gracia-Morán
      Pages 178-189
    2. Ute Schiffel
      Pages 190-201
  10. Invited Paper

    1. Sami Haddadin, Sven Parusel, Rico Belder, Alin Albu-Schäffer
      Pages 202-215

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, held in Toulouse, France, in September 2013.
The 20 revised full papers presented together with 5 practical experience reports were carefully reviewed and selected from more than 88 submissions. The papers are organized in topical sections on safety requirements and assurance, testing and verification, security, software reliability assessment, practical experience reports and tools, safety assurance in automotive, error control codes, dependable user interfaces, and hazard and failure mode analysis.

Keywords

critical infrastructures protection fault tolerance malware safety-related embedded system vulnerability assessment

Editors and affiliations

  • Friedemann Bitsch
    • 1
  • Jérémie Guiochet
    • 2
  • Mohamed Kaâniche
    • 3
  1. 1.Thales Transportations Systems GmbHStuttgartGermany
  2. 2.Laboratory of Analysis and Architecture of Systems (LAAS-CNRS), Dependable Computing anf Fault Tolerance GroupUniversity of ToulouseToulouseFrance
  3. 3.Laboratory of Analysis and Architecture of Systems (LAAS-CNRS), Dependable Computing anf Fault Tolerance GroupUniversity of ToulouseToulouseFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-40793-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-40792-5
  • Online ISBN 978-3-642-40793-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book