Skip to main content
SpringerLink
Log in
Book cover

Computer Safety, Reliability, and Security

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

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Friedemann Bitsch

    1. Thales Transportations Systems GmbH, Stuttgart, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jérémie Guiochet

    1. Laboratory of Analysis and Architecture of Systems (LAAS-CNRS), Dependable Computing anf Fault Tolerance Group, University of Toulouse, Toulouse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Mohamed Kaâniche

    1. Laboratory of Analysis and Architecture of Systems (LAAS-CNRS), Dependable Computing anf Fault Tolerance Group, University of Toulouse, Toulouse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research

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

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

Included in the following conference series:

Conference proceedings info: SAFECOMP 2013.

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 (27 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Paper

    1. Logic and Epistemology in Safety Cases

      • John Rushby
      Pages 1-7

  3. Safety Requirements and Assurance

    1. Comparative Conformance Cases for Monitoring Multiple Implementations of Critical Requirements

      • Janusz Górski, Aleksander Jarzębowicz, Jakub Miler
      Pages 8-20

    2. A Formal Basis for Safety Case Patterns

      • Ewen Denney, Ganesh Pai
      Pages 21-32

  4. Testing and Verification

    1. Testing Autonomous Robot Control Software Using Procedural Content Generation

      • James Arnold, Rob Alexander
      Pages 33-44

    2. Fine-Grained Implementation of Fault Tolerance Mechanisms with AOP: To What Extent?

      • Jimmy Lauret, Jean-Charles Fabre, Hélène Waeselynck
      Pages 45-56

    3. Formalisation of an Industrial Approach to Monitoring Critical Data

      • Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilić, Timo Latvala
      Pages 57-69

  5. Security

    1. Protecting Vehicles Against Unauthorised Diagnostics Sessions Using Trusted Third Parties

      • Pierre Kleberger, Tomas Olovsson
      Pages 70-81

    2. Vulnerability Analysis on Smart Cards Using Fault Tree

      • Guillaume Bouffard, Bhagyalekshmy N. Thampi, Jean-Louis Lanet
      Pages 82-93

    3. Does Malware Detection Improve with Diverse AntiVirus Products? An Empirical Study

      • Ilir Gashi, Bertrand Sobesto, Vladimir Stankovic, Michel Cukier
      Pages 94-105

  6. Software Reliability Assessment

    1. Software Fault-Freeness and Reliability Predictions

      • Lorenzo Strigini, Andrey Povyakalo
      Pages 106-117

    2. Does Software Have to Be Ultra Reliable in Safety Critical Systems?

      • Peter Bishop
      Pages 118-129

  7. Practical Experience Reports and Tools I

    1. The SafeCap Platform for Modelling Railway Safety and Capacity

      • Alexei Iliasov, Ilya Lopatkin, Alexander Romanovsky
      Pages 130-137

    2. Embedded System Platform for Safety-Critical Road Traffic Signal Applications

      • Thomas Novak, Christoph Stoegerer
      Pages 138-145

    3. Low-Level Attacks on Avionics Embedded Systems

      • Anthony Dessiatnikoff, Eric Alata, Yves Deswarte, Vincent Nicomette
      Pages 146-153

  8. Safety Assurance in Automotive

    1. Safety Cases and Their Role in ISO 26262 Functional Safety Assessment

      • John Birch, Roger Rivett, Ibrahim Habli, Ben Bradshaw, John Botham, Dave Higham et al.
      Pages 154-165

    2. Structuring Safety Requirements in ISO 26262 Using Contract Theory

      • Jonas Westman, Mattias Nyberg, Martin Törngren
      Pages 166-177

  9. Error Control Codes

    1. Flexible Unequal Error Control Codes with Selectable Error Detection and Correction Levels

      • 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. Safety Transformations: Sound and Complete?

      • Ute Schiffel
      Pages 190-201

  10. Invited Paper

    1. It Is (Almost) All about Human Safety: A Novel Paradigm for Robot Design, Control, and Planning

      • Sami Haddadin, Sven Parusel, Rico Belder, Alin Albu-Schäffer
      Pages 202-215
Back to top

Other volumes

  1. Computer Safety, Reliability, and Security

Keywords

About this book

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.

Editors and Affiliations

  • Thales Transportations Systems GmbH, Stuttgart, Germany

    Friedemann Bitsch

  • Laboratory of Analysis and Architecture of Systems (LAAS-CNRS), Dependable Computing anf Fault Tolerance Group, University of Toulouse, Toulouse, France

    Jérémie Guiochet, Mohamed Kaâniche

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation