Skip to main content
SpringerLink
Log in
Book cover

Computer Safety, Reliability, and Security

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

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Floor Koornneef

    1. University of Technology, Delft, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Coen van Gulijk

    1. University of Huddersfield, Huddersfield, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: SAFECOMP 2015.

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 EPUB and 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 (34 papers)

  1. Front Matter

    Pages I-XXII
    Download chapter PDF

  3. Flight Systems

    1. Front Matter

      Pages 17-17
      Download chapter PDF

    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

  4. Automotive Embedded Systems

    1. Front Matter

      Pages 45-45
      Download chapter PDF

    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

  5. Automotive Software

    1. Front Matter

      Pages 109-109
      Download chapter PDF

    2. Model-Based Analysis for Safety Critical Software

      • Stefan Gulan, Jens Harnisch, Sven Johr, Roberto Kretschmer, Stefan Rieger, Rafael Zalman
      Pages 111-120

    3. Integrated Safety Analysis Using Systems-Theoretic Process Analysis and Software Model Checking

      • Asim Abdulkhaleq, Stefan Wagner
      Pages 121-134

    4. 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

  6. Error Detection

    1. Front Matter

      Pages 149-149
      Download chapter PDF

    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

  7. Medical Safety Cases

    1. Front Matter

      Pages 181-181
      Download chapter PDF
Back to top

Other volumes

  1. Computer Safety, Reliability, and Security

  2. Computer Safety, Reliability, and Security

  3. Computer Safety, Reliability, and Security

  4. Computer Safety, Reliability, and Security

Keywords

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.

Editors and Affiliations

  • University of Technology, Delft, The Netherlands

    Floor Koornneef

  • University of Huddersfield, Huddersfield, United Kingdom

    Coen van Gulijk

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation