Computer Safety, Reliability, and Security

1. Front Matter

   Pages I-XXII

   PDF

2. Invited Talks

   1. Front Matter

      Pages 1-1

      PDF

   2. Medical Devices, Electronic Health Records and Assuring Patient Safety: Future Challenges?

      • Cor J. Kalkman

      Pages 3-6

   3. Cyber (In-)security of Industrial Control Systems: A Societal Challenge

      • Eric Luiijf

      Pages 7-15

3. Flight Systems

   1. Front Matter

      Pages 17-17

      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

      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

      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

      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

      PDF

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.

• 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

• University of Technology, Delft, The Netherlands

  Floor Koornneef

• University of Huddersfield, Huddersfield, United Kingdom

  Coen van Gulijk

Policies and ethics