Skip to main content
SpringerLink
Log in

Computer Safety, Reliability, and Security

41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Mario Trapp

    1. Fraunhofer IKS, Munich, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Francesca Saglietti

    1. University of Erlangen-Nuremberg, Erlangen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Marc Spisländer

    1. University of Erlangen-Nuremberg, Erlangen, Germany

    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

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

Included in the following conference series:

Conference proceedings info: SAFECOMP 2022.

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

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Safety Analysis and Certification

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Analysing the Safety of Decision-Making in Autonomous Systems

      • Matt Osborne, Richard Hawkins, John McDermid
      Pages 3-16

    3. BayesianSafety - An Open-Source Package for Causality-Guided, Multi-model Safety Analysis

      • Robert Maier, Jürgen Mottok
      Pages 17-30

    4. Safety Certification with the Open Source Microkernel-Based Operating System L4Re

      • Kai Lampka, Joel Thurlby, Adam Lackorzynski, Marcus Hähnel
      Pages 31-45

    5. Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization

      • Lisandro Arturo Jimenez-Roa, Matthias Volk, Mariëlle Stoelinga
      Pages 46-61

  3. Assurance Cases

    1. Front Matter

      Pages 63-63
      Download chapter PDF

    2. ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks

      • Chanwook Oh, Nikhil Naik, Zamira Daw, Timothy E. Wang, Pierluigi Nuzzo
      Pages 65-81

    3. Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems

      • Shreyas Ramakrishna, Hyunjee Jin, Abhishek Dubey, Arun Ramamurthy
      Pages 82-96

    4. Generating Assurance Cases Using Workflow\(^+\) Models

      • Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng
      Pages 97-110

    5. Uncertainty Elicitation and Propagation in GSN Models of Assurance Cases

      • Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet
      Pages 111-125

  4. Fault Detection, Monitoring and Tolerance

    1. Front Matter

      Pages 127-127
      Download chapter PDF

    2. Impact of Machine Learning on Safety Monitors

      • Francesco Terrosi, Lorenzo Strigini, Andrea Bondavalli
      Pages 129-143

    3. Comprehensive Analysis of Software-Based Fault Tolerance with Arithmetic Coding for Performant Encoding of Integer Calculations

      • Marc Fischer, Oliver Riedel, Armin Lechler
      Pages 144-157

    4. STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection

      • Smitha Gautham, Georgios Bakirtzis, Alexander Will, Athira Varma Jayakumar, Carl R. Elks
      Pages 158-172

  5. Security and Safety

    1. Front Matter

      Pages 173-173
      Download chapter PDF

    2. Proposal of Cybersecurity and Safety Co-engineering Approaches on Cyber-Physical Systems

      • Pierre-Marie Bajan, Martin Boyer, Anouk Dubois, Jérôme Letailleur, Kevin Mantissa, Jeremy Sobieraj et al.
      Pages 175-188

    3. On the Feasibility and Performance of Secure OPC UA Communication with IIoT Devices

      • Florian Kohnhäuser, Nicolas Coppik, Francisco Mendoza, Ankita Kumari
      Pages 189-203

  6. Fault Injection

    1. Front Matter

      Pages 205-205
      Download chapter PDF

    2. SailFAIL: Model-Derived Simulation-Assisted ISA-Level Fault-Injection Platforms

      • Christian Dietrich, Malte Bargholz, Yannick Loeck, Marcel Budoj, Luca Nedaskowskij, Daniel Lohmann
      Pages 207-221
Back to top

Other volumes

  1. Computer Safety, Reliability, and Security

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

Keywords

About this book

This book constitutes the proceedings of the 41st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2022, which took place in Munich, Germany, in September 2022.

The 24 full papers included in this volume were carefully reviewed and selected from 93 submissions. SafeComp has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems. SafeComp is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications.

Editors and Affiliations

  • Fraunhofer IKS, Munich, Germany

    Mario Trapp

  • University of Erlangen-Nuremberg, Erlangen, Germany

    Francesca Saglietti, Marc Spisländer

  • Thales Deutschland GmbH, Ditzingen, Germany

    Friedemann Bitsch

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation