Computer Safety, Reliability, and Security: 40th International Conference, Safecomp 2021, York, Uk, September 8-10, 2021, Proceedings

ISBN-13: 9783030839024 / Angielski / Miękka / 2021 / 278 str.

Ibrahim Habli; Mark Sujan; Friedemann Bitsch

Spis treści

Machine Learning Safety Assurance.- Evaluation Framework for Performance Limitation under Sensor Attack.- Could We Relieve AI/ML Models of the Responsibility of Providing Dependable Uncertainty Estimates? A Study on Outside-Model Uncertainty Estimates.- Towards certification of a reduced footprint ACAS-Xu system: A hybrid ML-based solution.- Security Engineering.- IT design for resiliency using extreme value analysis.- Evaluating and Comparing Contextually Relevant Robustness for Neural Network Classifiers.- SAE 21434-based Risk Assessment of Security Incidents in Automated Road Vehicles.- Safety and Assurance Cases.- Automating the Assembly of Security Assurance Case.- Safety Case Maintenance: A Systematic Literature Review.- Towards Certified Analysis of Software Product Line Safety Cases.- Machine Learning Applications.- Safety assurance of machine learning for chassis control functions.- Safe Interaction of Automated Forklifts and Humans at Blind Corners in a Warehouse with Infrastructure Sensors.- Machine Learning-based Fault Injection for Hazard Analysis and Risk Assessment.- Safety Validation and Simulation.- SASSI: Safety Analysis using Simulation-based Situation Coverage for Cobot Systems.- Attacks and Faults Injection in Self-Driving Agents on the Carla Simulator – Experience Report.- A Framework for Automated Quality Assurance and Documentation for Pharma 4.0.- Fault Tolerance.- A Modular Approach To Non-Deterministic Dynamic Fault Trees.- Composition of Fault Forests.