Skip to main content
  • Conference proceedings
  • © 2022

Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops

DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6–9, 2022, Proceedings

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

Conference series link(s): SAFECOMP: International Conference on Computer Safety, Reliability, and Security

Conference proceedings info: SAFECOMP 2022.

Buying options

eBook USD 109.00
Price excludes VAT (USA)
  • ISBN: 978-3-031-14862-0
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 139.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (25 papers)

  1. Front Matter

    Pages i-xiii
  2. 17th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems (DECSoS 2022)

    1. Front Matter

      Pages 1-10
    2. Triggering Conditions Analysis and Use Case for Validation of ADAS/ADS Functions

      • Víctor J. Expósito Jiménez, Helmut Martin, Christian Schwarzl, Georg Macher, Eugen Brenner
      Pages 11-22
    3. Criteria for the Analysis of Gaps and Limitations of V&V Methods for Safety- and Security-Critical Systems

      • Enrico Ferrari, Rupert Schlick, Jose Luis de la Vara, Peter Folkesson, Behrooz Sangchoolie
      Pages 35-46
    4. A Guided Search for Races Based on Data Flow Patterns

      • Andreas Neubaum, Loui Al Sardy, Marc Spisländer, Francesca Saglietti, Sara Kretschmer
      Pages 47-58
    5. Testing and Verification of the Deep Neural Networks Against Sparse Pixel Defects

      • Michal Szczepankiewicz, Krystian Radlak, Karolina Szczepankiewicz, Adam Popowicz, Pawel Zawistowski
      Pages 71-82
    6. Security Assessment Prospects as Part of Vehicle Regulations

      • Mona Gierl, Reiner Kriesten, Eric Sax
      Pages 97-109
    7. UNECE Threat List Case Study: Prediction of Cyber Risks in the Automotive Domain Using Regression Analysis

      • Abdelkader Magdy Shaaban, Sebastian Chlup, Christoph Schmittner
      Pages 110-122
  3. 3rd International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System (DepDevOps 2022)

    1. Front Matter

      Pages 123-126
    2. Watch: A Validation Framework and Language for Tool Qualification

      • Luiz Cordeiro, Christian Becker, Markus Pielmeier, Julian Amann
      Pages 127-139
  4. 9th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2022)

    1. Front Matter

      Pages 141-144
    2. Dynamic Checks of Evidence Models for Assurance Projects in Eclipse OpenCert

      • Jabier Martinez, Ángel Jesús Varela-Vaca
      Pages 158-165
    3. An Approach for Deriving Reduced Collision Scenarios for Highly Automated Driving Systems

      • Marzana Khatun, Heinrich Litagin, Rolf Jung, Michael Glaß
      Pages 166-177
    4. State of the Art Study of the Safety Argumentation Frameworks for Automated Driving System

      • Ilona Cieslik, Víctor J. Expósito Jiménez, Helmut Martin, Heiko Scharke, Hannes Schneider
      Pages 178-191
  5. 1st International Workshop on Security and Safety Interaction (SENSEI 2022)

    1. Front Matter

      Pages 193-195

Other Volumes

  1. Computer Safety, Reliability, and Security

    41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings
  2. Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops

    DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6–9, 2022, Proceedings

About this book

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2022, which took place in Munich, Germany, in September 2022.

The 23 full papers included in this volume were carefully reviewed and selected from 27 submissions.

 

·       17th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems (DECSoS 2021)

·       3rd International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System (DepDevOps 2022)

·       9th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2022)

·       1st International Workshop on Security and Safety Interaction (SENSEI 2022)

·       3rd International Workshop on Underpinnings for Safe Distributed Artificial Intelligence (USDAI 2022)

·       5th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2022)

Keywords

  • artificial intelligence
  • computer hardware
  • computer networks
  • computer programming
  • computer science
  • computer security
  • computer systems
  • cryptography
  • data security
  • engineering
  • internet
  • machine learning
  • mathematics
  • mobile robots
  • network protocols
  • signal processing
  • software design
  • software engineering
  • software quality
  • verification and validation

Editors and Affiliations

  • Fraunhofer IKS, Munich, Germany

    Mario Trapp

  • Austrian Institute of Technology, Vienna, Austria

    Erwin Schoitsch

  • LAAS-CNRS, University of Toulouse, Toulouse, France

    Jérémie Guiochet

  • Thales Deutschland GmbH, Ditzingen, Germany

    Friedemann Bitsch

Bibliographic Information

Buying options

eBook USD 109.00
Price excludes VAT (USA)
  • ISBN: 978-3-031-14862-0
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 139.99
Price excludes VAT (USA)