Skip to main content
SpringerLink
Log in

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops

ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Jérémie Guiochet

    1. University of Toulouse, Toulouse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Stefano Tonetta

    1. Fondazione Bruno Kessler, Trento, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Erwin Schoitsch

    1. Austrian Institute of Technology GmbH, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Matthieu Roy

    1. LAAS-CNRS, Toulouse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. 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 14182)

Included in the following conference series:

Conference proceedings info: SAFECOMP 2023.

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

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. 8th International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE 2023)

    1. Front Matter

      Pages 1-3
      Download chapter PDF

    2. Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities

      • Victor Bandur, Mark Lawford, Sébastien Mosser, Richard F. Paige, Vera Pantelic, Alan Wassyng
      Pages 5-14

    3. Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy

      • Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka
      Pages 15-25

    4. Assurance Cases for Timing Properties of Automotive TSN Networks

      • Ryan Kapinski, Vera Pantelic, Victor Bandur, Alan Wassyng, Mark Lawford
      Pages 26-31

    5. Toward Dependability Assurance Framework for Automated Driving Systems

      • Yutaka Matsuno, Toshinori Takai, Manabu Okada, Tomoyuki Tsuchiya
      Pages 32-37

  3. 18th International ERCIM/EWICS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems

    1. Front Matter

      Pages 39-46
      Download chapter PDF

    2. A Quantitative Approach for System of Systems’ Resilience Analyzing Based on ArchiMate

      • Huanjun Zhang, Yutaka Matsubara, Hiroaki Takada
      Pages 47-60

    3. Towards DO-178C Compliance of a Secure Product

      • Lijun Shan
      Pages 61-72

    4. The Need for Threat Modelling in Unmanned Aerial Systems

      • Abdelkader Magdy Shaaban, Oliver Jung, Christoph Schmittner
      Pages 73-84

    5. Using Runtime Information of Controllers for Safe Adaptation at Runtime: A Process Mining Approach

      • Jorge Da Silva, Miren Illarramendi, Asier Iriarte
      Pages 85-94

    6. Safety and Robustness for Deep Neural Networks: An Automotive Use Case

      • Davide Bacciu, Antonio Carta, Claudio Gallicchio, Christoph Schmittner
      Pages 95-107

    7. Towards Dependable Integration Concepts for AI-Based Systems

      • Georg Macher, Romana Blazevic, Omar Veledar, Eugen Brenner
      Pages 108-117

  4. 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2023)

    1. Front Matter

      Pages 119-122
      Download chapter PDF

    2. A Methodology for the Qualification of Operating Systems and Hypervisors for the Deployment in IoT Devices

      • Irene Bicchierai, Enrico Schiavone, Massimiliano Leone Itria, Andrea Bondavalli, Lorenzo Falai
      Pages 123-134

    3. Computer-Aided Generation of Assurance Cases

      • Timothy E. Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto et al.
      Pages 135-148

    4. RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence

      • Abha Moitra, Paul Cuddihy, Kit Siu, David Archer, Eric Mertens, Daniel Russell et al.
      Pages 149-160

  5. 2nd International Workshop on Security and Safety Interaction (SENSEI 2023)

    1. Front Matter

      Pages 161-163
      Download chapter PDF

    2. Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases

      • Torin Viger, Simon Diemert, Olivia Foster
      Pages 165-175

    3. Analyzing Origins of Safety and Security Interactions Using Feared Events Trees and Multi-level Model

      • Megha Quamara, Christina Kolb, Brahim Hamid
      Pages 176-187
Back to top

Other volumes

  1. Computer Safety, Reliability, and Security

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

Keywords

About this book

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2023, held in Toulouse, France, during September 19, 2023.

The 35 full papers included in this volume were carefully reviewed and selected from 49 submissions. 

-        - 8th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2023)

-        - 18th International Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2023)

-        - 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2023)

-        - Second International Workshop on Security and Safety Interactions (SENSEI 2023)

-        - First International Workshop on Safety/ Reliability/ Trustworthiness of Intelligent Transportation Systems (SRToITS 2023)

-        - 6th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2023)


Editors and Affiliations

  • University of Toulouse, Toulouse, France

    Jérémie Guiochet

  • Fondazione Bruno Kessler, Trento, Italy

    Stefano Tonetta

  • Austrian Institute of Technology GmbH, Vienna, Austria

    Erwin Schoitsch

  • LAAS-CNRS, Toulouse, France

    Matthieu Roy

  • Thales Deutschland GmbH, Ditzingen, Germany

    Friedemann Bitsch

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation