Skip to main content
  • Conference proceedings
  • © 2015

Computer Safety, Reliability, and Security

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

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

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

Conference series link(s): SAFECOMP: International Conference on Computer Safety, Reliability, and Security

Conference proceedings info: SAFECOMP 2015.

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-24255-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 79.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (34 papers)

  1. Front Matter

    Pages I-XXII
  2. Flight Systems

    1. Front Matter

      Pages 17-17
    2. Modeling Guidelines and Usage Analysis Towards Applying HiP-HOPS Method to Airborne Electrical Systems

      • Carolina D. Villela, Humberto H. Sano, Juliana M. Bezerra
      Pages 19-28
    3. The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation

      • Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala
      Pages 29-43
  3. Automotive Embedded Systems

    1. Front Matter

      Pages 45-45
    2. Simulation of Automotive Security Threat Warnings to Analyze Driver Interpretations and Emotional Transitions

      • Robert Altschaffel, Tobias Hoppe, Sven Kuhlmann, Jana Dittmann
      Pages 47-58
    3. Improving Dependability of Vision-Based Advanced Driver Assistance Systems Using Navigation Data and Checkpoint Recognition

      • Ayhan Mehmed, Sasikumar Punnekkat, Wilfried Steiner, Giacomo Spampinato, Martin Lettner
      Pages 59-73
    4. Safely Using the AUTOSAR End-to-End Protection Library

      • Thomas Arts, Stefano Tonetta
      Pages 74-89
    5. A Structured Validation and Verification Method for Automotive Systems Considering the OEM/Supplier Interface

      • Kristian Beckers, Isabelle Côté, Thomas Frese, Denis Hatebur, Maritta Heisel
      Pages 90-108
  4. Automotive Software

    1. Front Matter

      Pages 109-109
    2. Model-Based Analysis for Safety Critical Software

      • Stefan Gulan, Jens Harnisch, Sven Johr, Roberto Kretschmer, Stefan Rieger, Rafael Zalman
      Pages 111-120
    3. Back-to-Back Fault Injection Testing in Model-Based Development

      • Peter Folkesson, Fatemeh Ayatolahi, Behrooz Sangchoolie, Jonny Vinter, Mafijul Islam, Johan Karlsson
      Pages 135-148
  5. Error Detection

    1. Front Matter

      Pages 149-149
    2. Understanding the Effects of Data Corruption on Application Behavior Based on Data Characteristics

      • Georgios Stefanakis, Vijay Nagarajan, Marcelo Cintra
      Pages 151-165
    3. A Multi-layer Anomaly Detector for Dynamic Service-Based Systems

      • Andrea Ceccarelli, Tommaso Zoppi, Massimiliano Itria, Andrea Bondavalli
      Pages 166-180
  6. Medical Safety Cases

    1. Front Matter

      Pages 181-181

Other Volumes

  1. Computer Safety, Reliability, and Security

    33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings
  2. Computer Safety, Reliability, and Security

    SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings
  3. Computer Safety, Reliability, and Security

    34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings
  4. Computer Safety, Reliability, and Security

    SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings

About this book

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

  • University of Technology, Delft, The Netherlands

    Floor Koornneef

  • University of Huddersfield, Huddersfield, United Kingdom

    Coen van Gulijk

Bibliographic Information

Buying options

eBook USD 59.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-24255-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 79.99
Price excludes VAT (USA)