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
Conference proceedings SAFECOMP 2013

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
  11. Dependable User Interfaces

    1. Célia Martinie, Philippe Palanque, Martina Ragosta, Mark Alexander Sujan, David Navarre, Alberto Pasquini
      Pages 216-227
    2. Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold Thimbleby
      Pages 228-240
  12. Practical Experience Reports and Tools II

    1. Bernhard Ern, Viet Yen Nguyen, Thomas Noll
      Pages 241-252
    2. Thomas Gruber, Georg Neubauer, Andreas Weinfurter, Petr Böhm, Kurt Lamedschwandner
      Pages 253-264
    3. Fatemeh Ayatolahi, Behrooz Sangchoolie, Roger Johansson, Johan Karlsson
      Pages 265-276
  13. Hazard and Failure Mode Analysis

    1. Ermeson C. Andrade, Marcelo Alves, Rubens Matos, Bruno Silva, Paulo Maciel
      Pages 277-284
    2. Jessica Jung, Andreas Jedlitschka, Kai Höfig, Dominik Domis, Martin Hiller
      Pages 285-292
    3. Florian Arnold, Axel Belinfante, Freark Van der Berg, Dennis Guck, Mariëlle Stoelinga
      Pages 293-301
  14. Back Matter

About these proceedings


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.


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
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-40792-5
  • Online ISBN 978-3-642-40793-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site