[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops

DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Ibrahim Habli

    1. University of York, York, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mark Sujan

    1. Human Factors Everywhere Ltd., Woking, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Simos Gerasimou

    1. University of York, York, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Erwin Schoitsch

    1. AIT Austrian Institute of Technology GmbH, Vienna, Austria

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

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

Included in the following conference series:

Conference proceedings info: SAFECOMP 2021.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook GBP 59.99
Price includes VAT (United Kingdom)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book GBP 74.99
Price includes VAT (United Kingdom)
  • 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

About this book

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2021, the 40th International Conference on Computer Safety, Reliability and Security, which took place in York, UK, in September 2021.

The 26 regular papers included in this volume were carefully reviewed and selected from 34 submissions. The workshops included in this volume are:

  • DECSoS 2021: 16th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems
  • WAISE 2021: Fourth International Workshop on Artificial Intelligence Safety Engineering
  • DepDevOps 2021: Second International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems
  • USDAI 2021: Second International Workshop on Underpinnings for Safe Distributed AI         
  • MAPSOD 2021: First International Workshop on Multi-concern Assurance Practices in Software Design


Similar content being viewed by others

Keywords

Table of contents (25 papers)

  1. Front Matter

    Pages i-xv
    Download chapter PDF

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

    1. Front Matter

      Pages 1-9
      Download chapter PDF

    2. Dependable Integration Concepts for Human-Centric AI-Based Systems

      • Georg Macher, Siranush Akarmazyan, Eric Armengaud, Davide Bacciu, Calogero Calandra, Herbert Danzinger et al.
      Pages 11-23

    3. Rule-Based Threat Analysis and Mitigation for the Automotive Domain

      • Abdelkader Magdy Shaaban, Stefan Jaksic, Omar Veledar, Thomas Mauthner, Edin Arnautovic, Christoph Schmittner
      Pages 24-38

    4. Guideline for Architectural Safety, Security and Privacy Implementations Using Design Patterns: SECREDAS Approach

      • Nadja Marko, Joaquim Maria Castella Triginer, Christoph Striecks, Tobias Braun, Reinhard Schwarz, Stefan Marksteiner et al.
      Pages 39-51

    5. Structured Traceability of Security and Privacy Principles for Designing Safe Automated Systems

      • Behnam Asadi Khashooei, Alexandr Vasenev, Hasan Alper Kocademir
      Pages 52-62

    6. Synchronisation of an Automotive Multi-concern Development Process

      • Martin Skoglund, Fredrik Warg, Hans Hansson, Sasikumar Punnekkat
      Pages 63-75

    7. Offline Access to a Vehicle via PKI-Based Authentication

      • Jakub Arm, Petr Fiedler, Ondrej Bastan
      Pages 76-88

    8. HEIFU - Hexa Exterior Intelligent Flying Unit

      • Dário Pedro, Pedro Lousã, Álvaro Ramos, J. P. Matos-Carvalho, Fábio Azevedo, Luís Campos
      Pages 89-104

    9. Testing for IT Security: A Guided Search Pattern for Exploitable Vulnerability Classes

      • Andreas Neubaum, Loui Al Sardy, Marc Spisländer, Francesca Saglietti, Yves Biener
      Pages 105-116

    10. Formal Modelling of the Impact of Cyber Attacks on Railway Safety

      • Ehsan Poorhadi, Elena Troubitysna, György Dán
      Pages 117-127

    11. LoRaWAN with HSM as a Security Improvement for Agriculture Applications - Evaluation

      • Reinhard Kloibhofer, Erwin Kristen, Afshin Ameri E.
      Pages 128-140

  3. 2nd International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System (DepDevOps 2021)

    1. Front Matter

      Pages 141-144
      Download chapter PDF

    2. Towards Continuous Safety Assessment in Context of DevOps

      • Marc Zeller
      Pages 145-157

    3. The Digital Twin as a Common Knowledge Base in DevOps to Support Continuous System Evolution

      • Joost Mertens, Joachim Denil
      Pages 158-170

  4. 1st International Workshop on Multi-concern Assurance Practices in Software Design (MAPSOD 2021)

    1. Front Matter

      Pages 171-174
      Download chapter PDF

    2. An Accountability Approach to Resolve Multi-stakeholder Conflicts

      • Yukiko Yanagisawa, Yasuhiko Yokote
      Pages 175-186

    3. Towards Assurance-Driven Architectural Decomposition of Software Systems

      • Ramy Shahin
      Pages 187-196

  5. 2nd International Workshop on Underpinnings for Safe Distributed Artificial Intelligence (USDAI 2021)

    1. Front Matter

      Pages 197-199
      Download chapter PDF

    2. Integration of a RTT Prediction into a Multi-path Communication Gateway

      • Josef Schmid, Patrick Purucker, Mathias Schneider, Rick vander Zwet, Morten Larsen, Alfred Höß
      Pages 201-212
Back to top

Other volumes

  1. Computer Safety, Reliability, and Security

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

Editors and Affiliations

  • University of York, York, UK

    Ibrahim Habli, Simos Gerasimou

  • Human Factors Everywhere Ltd., Woking, UK

    Mark Sujan

  • AIT Austrian Institute of Technology GmbH, Vienna, Austria

    Erwin Schoitsch

  • Thales Deutschland GmbH, Ditzingen, Germany

    Friedemann Bitsch

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation