Computer Safety, Reliability, and Security
Springer International Publishing (Verlag)
978-3-030-83902-4 (ISBN)
The 17 full papers included in this volume were carefully reviewed and selected from 76 submissions. They were organized in topical sections as follows: machine learning safety assurance; security engineering; safety and assurance cases; machine learning applications; safety validation and simulation; and fault tolerance.
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 Cornersin 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.
| Erscheinungsdatum | 10.08.2021 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
| Zusatzinfo | XIV, 278 p. 124 illus., 87 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 448 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Netzwerke |
| Informatik ► Weitere Themen ► Hardware | |
| Schlagworte | Applications • Artificial Intelligence • Computer Hardware • Computer Networks • computer programming • Computer Science • Computer Security • Computer systems • conference proceedings • cryptography • Data Security • Engineering • Field Programmable Gate Array (FPGA) • Informatics • Internet • Mathematics • Mobile Robots • Network Protocols • Research • Robotics • Signal Processing • Software Design • Software engineering • Software Quality |
| ISBN-10 | 3-030-83902-8 / 3030839028 |
| ISBN-13 | 978-3-030-83902-4 / 9783030839024 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
