Computer Safety, Reliability, and Security

34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

  • Floor Koornneef
  • Coen van Gulijk
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9337)

Table of contents

  1. Front Matter
    Pages I-XXII
  2. Invited Talks

  3. Flight Systems

    1. Front Matter
      Pages 17-17
    2. Carolina D. Villela, Humberto H. Sano, Juliana M. Bezerra
      Pages 19-28
    3. Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala
      Pages 29-43
  4. Automotive Embedded Systems

    1. Front Matter
      Pages 45-45
    2. Robert Altschaffel, Tobias Hoppe, Sven Kuhlmann, Jana Dittmann
      Pages 47-58
    3. Ayhan Mehmed, Sasikumar Punnekkat, Wilfried Steiner, Giacomo Spampinato, Martin Lettner
      Pages 59-73
    4. Thomas Arts, Stefano Tonetta
      Pages 74-89
    5. Kristian Beckers, Isabelle Côté, Thomas Frese, Denis Hatebur, Maritta Heisel
      Pages 90-108
  5. Automotive Software

    1. Front Matter
      Pages 109-109
    2. Stefan Gulan, Jens Harnisch, Sven Johr, Roberto Kretschmer, Stefan Rieger, Rafael Zalman
      Pages 111-120
    3. Peter Folkesson, Fatemeh Ayatolahi, Behrooz Sangchoolie, Jonny Vinter, Mafijul Islam, Johan Karlsson
      Pages 135-148
  6. Error Detection

    1. Front Matter
      Pages 149-149
    2. Georgios Stefanakis, Vijay Nagarajan, Marcelo Cintra
      Pages 151-165
    3. Andrea Ceccarelli, Tommaso Zoppi, Massimiliano Itria, Andrea Bondavalli
      Pages 166-180
  7. Medical Safety Cases

    1. Front Matter
      Pages 181-181

Other volumes

  1. Computer Safety, Reliability, and Security
    34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings
  2. SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 104 submissions. The papers are organized in topical sections on flight systems, automotive embedded systems, automotive software, error detection, medical safety cases, medical systems, architecture and testing, safety cases, security attacks, cyber security and integration, and programming and compiling.

Keywords

Automotive software Computer programming Critical infrastructure protection Cyber-physical systems Dependable systems Embedded systems Formal methods Medical computing Model checking Monitoring Safety critical systems Safety guidelines, standards and certification Safety patterns Security attacks Security engineering Software and application security Software fault tolerance Software reliability Software safety Software verification and validation

Editors and affiliations

  • Floor Koornneef
    • 1
  • Coen van Gulijk
    • 2
  1. 1.University of TechnologyDelftThe Netherlands
  2. 2.University of HuddersfieldHuddersfieldUnited Kingdom

Bibliographic information

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