Computer Safety, Reliability, and Security. Safecomp 2021 Workshops: Decsos, Mapsod, Depdevops, Usdai, and Waise, York, Uk, September 7, 2021, Proceed

ISBN-13: 9783030839055 / Angielski / Miękka / 2021 / 324 str.

Ibrahim Habli; Mark Sujan; Simos Gerasimou

Spis treści

16th International Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2021).- Dependable Integration Concepts for Human-Centric AI-based Systems.- Rule-Based Threat Analysis and Mitigation for the Automotive Domain.- Guideline for Architectural Safety, Security and Privacy Implementations Using Design Patterns: SECREDAS Approach.- Structured Traceability of Security and Privacy Principles for Designing Safe Automated Systems.- Synchronisation of an Automotive Multi-Concern Development Process.- Offline Access to a Vehicle via PKI-based Authentication.- HEIFU - Hexa Exterior Intelligent Flying Unit.- Testing for IT Security: a Guided Search Pattern for Exploitable Vulnerability Classes.- Formal Modelling of the Impact of Cyber Attacks on Railway Safety.- LoRaWAN with HSM as a Security Improvement for Agriculture Applications – Evaluation.- 2nd International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System (DepDevOps 2021).- Towards Continuous Safety Assessment in Context of DevOps.- The Digital Twin as a Common Knowledge Base in DevOps to Support Continuous System Evolution.- 1st International Workshop on Multi-concern Assurance Practices in Software Design (MAPSOD 2021).- An Accountability Approach to Resolve Multi-stakeholder Conflicts.- Architecture-Supported Audit Processor: Interactive, Query-Driven Assurance.- Towards Assurance-Driven Architectural Decomposition of Software Systems.- 2nd International Workshop on Underpinnings for Safe Distributed Artificial Intelligence (USDAI 2021).- Integration of a RTT Prediction into a Multi-path Communication Gateway.- 4th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2021).- Improving Robustness of Deep Neural Networks for Aerial Navigation by Incorporating Input Uncertainty.- No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds.- Effect of Label Noise on Robustness of Deep Neural Network Object Detectors.- Human-in-the-Loop Learning Methods Toward Safe DL-based Autonomous Systems: A Review.- An Integrated Approach to a Safety Argumentation for AI-based Perception Functions in Automated Driving.- Experimental Evaluation on Conformance of UBER ATG Safety Case Framework to ANSI/UL 4600.- Learning From AV Safety: Hope and Humility Shape Policy and Progress.- Levels of Autonomy & Safety Assurance for AI-based Clinical Decision Systems.- Certification Game for the Safety Analysis of AI-based CPS.- A New Approach to Better Consensus Building and Agreement Implementation for Trustworthy AI Systems.
I