Skip to main content
SpringerLink
Log in

Computer Safety, Reliability, and Security

38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Alexander Romanovsky

    1. Newcastle University, Newcastle upon Tyne, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Elena Troubitsyna

    1. Åbo Akademi University, Turku, Finland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Friedemann Bitsch

    1. Thales Deutschland GmbH, Ditzingen, Germany

    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 11698)

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

Included in the following conference series:

Conference proceedings info: SAFECOMP 2019.

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 49.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 64.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 (21 papers)

  1. Front Matter

    Pages i-xxi
    Download chapter PDF

  2. Formal Verification

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Towards Zero Alarms in Sound Static Analysis of Finite State Machines

      • Josselin Giet, Laurent Mauborgne, Daniel Kästner, Christian Ferdinand
      Pages 3-18

    3. Graceful Degradation Design Process for Autonomous Driving System

      • Tasuku Ishigooka, Satoshi Otsuka, Kazuyoshi Serizawa, Ryo Tsuchiya, Fumio Narisawa
      Pages 19-34

    4. Formal Verification of Memory Preservation of x86-64 Binaries

      • Joshua A. Bockenek, Freek Verbeek, Peter Lammich, Binoy Ravindran
      Pages 35-49

  3. Autonomous Driving

    1. Front Matter

      Pages 51-51
      Download chapter PDF

    2. Brace Touch: A Dependable, Turbulence-Tolerant, Multi-touch Interaction Technique for Interactive Cockpits

      • Philippe Palanque, Andy Cockburn, Léopold Désert-Legendre, Carl Gutwin, Yannick Deleris
      Pages 53-68

    3. Fitness Functions for Testing Automated and Autonomous Driving Systems

      • Florian Hauer, Alexander Pretschner, Bernd Holzmüller
      Pages 69-84

    4. A SysML Profile for Fault Trees—Linking Safety Models to System Design

      • Kester Clegg, Mole Li, David Stamp, Alan Grigg, John McDermid
      Pages 85-93

  4. Safety and Reliability Modeling

    1. Front Matter

      Pages 95-95
      Download chapter PDF

    2. Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models

      • Ulrich Thomas Gabor, Simon Dierl, Olaf Spinczyk
      Pages 97-112

    3. Forecast Horizon for Automated Safety Actions in Automated Driving Systems

      • Ayhan Mehmed, Moritz Antlanger, Wilfried Steiner, Sasikumar Punnekkat
      Pages 113-127

    4. Digital Forensics in Industrial Control Systems

      • Robert Altschaffel, Mario Hildebrandt, Stefan Kiltz, Jana Dittmann
      Pages 128-136

  5. Security Engineering and Risk Assessment

    1. Front Matter

      Pages 137-137
      Download chapter PDF

    2. Efficient Model-Level Reliability Analysis of Simulink Models

      • Kai Ding, Andrey Morozov, Klaus Janschek
      Pages 139-154

    3. Increasing Trust in Data-Driven Model Validation

      • Lisa Jöckel, Michael Kläs
      Pages 155-164

    4. A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems

      • Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli
      Pages 165-179

  6. Safety Argumentation

    1. Front Matter

      Pages 181-181
      Download chapter PDF

    2. BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact

      • Herson Esquivel-Vargas, Marco Caselli, Erik Tews, Doina Bucur, Andreas Peter
      Pages 183-199

    3. Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems

      • Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta
      Pages 200-215
Back to top

Other volumes

  1. Computer Safety, Reliability, and Security

  2. Computer Safety, Reliability, and Security

Keywords

About this book

This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019.

The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation. 

Editors and Affiliations

  • Newcastle University, Newcastle upon Tyne, UK

    Alexander Romanovsky

  • Åbo Akademi University, Turku, Finland

    Elena Troubitsyna

  • Thales Deutschland GmbH, Ditzingen, Germany

    Friedemann Bitsch

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation