Skip to main content
SpringerLink
Log in

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops

DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. António Casimiro

    1. University of Lisbon, Lisbon, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Frank Ortmeier

    1. Otto-von-Guericke University, Magdeburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Erwin Schoitsch

    1. Austrian Institute of Technology, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Friedemann Bitsch

    1. Thales Deutschland GmbH, Ditzingen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Pedro Ferreira

    1. University of Lisbon, Lisbon, Portugal

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

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

Included in the following conference series:

Conference proceedings info: SAFECOMP 2020.

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

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. 15th International Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2020)

    1. Front Matter

      Pages 1-7
      Download chapter PDF

    2. Supervisory Control Theory in System Safety Analysis

      • Yuvaraj Selvaraj, Zhennan Fei, Martin Fabian
      Pages 9-22

    3. A Method to Support the Accountability of Safety Cases by Integrating Safety Analysis and Model-Based Design

      • Nobuaki Tanaka, Hisashi Yomiya, Kiyoshi Ogawa
      Pages 23-35

    4. Collecting and Classifying Security and Privacy Design Patterns for Connected Vehicles: SECREDAS Approach

      • Nadja Marko, Alexandr Vasenev, Christoph Striecks
      Pages 36-53

    5. Safety and Security Interference Analysis in the Design Stage

      • Jabier Martinez, Jean Godot, Alejandra Ruiz, Abel Balbis, Ricardo Ruiz Nolasco
      Pages 54-68

    6. Formalising the Impact of Security Attacks on IoT Safety

      • Ehsan Poorhadi, Elena Troubitysna, György Dan
      Pages 69-81

    7. Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks

      • Ramneet Kaur, Radoslav Ivanov, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
      Pages 82-97

    8. Safety-Critical Software Development in C++

      • Daniel Kästner, Christoph Cullmann, Gernot Gebhard, Sebastian Hahn, Thomas Karos, Laurent Mauborgne et al.
      Pages 98-110

    9. An Instruction Filter for Time-Predictable Code Execution on Standard Processors

      • Michael Platzer, Peter Puschner
      Pages 111-122

    10. ISO/SAE DIS 21434 Automotive Cybersecurity Standard - In a Nutshell

      • Georg Macher, Christoph Schmittner, Omar Veledar, Eugen Brenner
      Pages 123-135

    11. WiCAR - Simulating Towards the Wireless Car

      • Harrison Kurunathan, Ricardo Severino, Ênio Filho, Eduardo Tovar
      Pages 136-147

    12. Automated Right of Way for Emergency Vehicles in C-ITS: An Analysis of Cyber-Security Risks

      • Lucie Langer, Arndt Bonitz, Christoph Schmittner, Stefan Ruehrup
      Pages 148-160

    13. Integrity Checking of Railway Interlocking Firmware

      • Ronny Bäckman, Ian Oliver, Gabriela Limonta
      Pages 161-175

    14. LoRaWAN with HSM as a Security Improvement for Agriculture Applications

      • Reinhard Kloibhofer, Erwin Kristen, Luca Davoli
      Pages 176-188

  3. 1st International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System (DepDevOps 2020)

    1. Front Matter

      Pages 189-192
      Download chapter PDF

    2. Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems Using Model-Based Engineering

      • Smitha Gautham, Athira V. Jayakumar, Carl Elks
      Pages 193-204

    3. Towards a DevOps Approach in Cyber Physical Production Systems Using Digital Twins

      • Miriam Ugarte Querejeta, Leire Etxeberria, Goiuria Sagardui
      Pages 205-216

    4. Leveraging Semi-formal Approaches for DepDevOps

      • Wanja Zaeske, Umut Durak
      Pages 217-222

  4. 1st International Workshop on Underpinnings for Safe Distributed Artificial Intelligence (USDAI 2020)

    1. Front Matter

      Pages 223-227
      Download chapter PDF
Back to top

Other volumes

  1. Computer Safety, Reliability, and Security

  2. Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops

Keywords

About this book

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2020, 39th International Conference on Computer Safety, Reliability and Security, Lisbon, Portugal, September 2020.
The 26 regular papers included in this volume were carefully reviewed and selected from 45 submissions; the book also contains one invited paper. The workshops included in this volume are:

DECSoS 2020:
15th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems.

DepDevOps 2020:
First International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems.

USDAI 2020:
First International Workshop on Underpinnings for Safe Distributed AI.

WAISE 2020:
Third International Workshop on Artificial Intelligence Safety Engineering.

The workshops were held virtually due to the COVID-19 pandemic.


Editors and Affiliations

  • University of Lisbon, Lisbon, Portugal

    António Casimiro, Pedro Ferreira

  • Otto-von-Guericke University, Magdeburg, Germany

    Frank Ortmeier

  • Austrian Institute of Technology, Vienna, Austria

    Erwin Schoitsch

  • Thales Deutschland GmbH, Ditzingen, Germany

    Friedemann Bitsch

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation