Towards Certified Analysis of Software Product Line Safety Cases

Towards Certified Analysis of Software Product Line Safety Cases

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:SAFECOMP (40. : 2021 : York; Online) Computer Safety, Reliability, and Security
1. Verfasser: Shahin, Ramy (VerfasserIn)
Weitere Verfasser: Kokaly, Sahar (VerfasserIn), Chechik, Marsha (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2021
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution 2021 Damour, Mathieu
ISO/SAE 21434-Based Risk Assessment of Security Incidents in Automated Road Vehicles 2021 Püllen, Dominik
Safety Assurance of Machine Learning for Chassis Control Functions 2021 Burton, Simon
Safe Interaction of Automated Forklifts and Humans at Blind Corners in a Warehouse with Infrastructure Sensors 2021 Drabek, Christian
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers 2021 Paterson, Colin
Could We Relieve AL/ML Models of the Responsibility of Providing Dependable Uncertainty Estimates? A Study on Outside-Model Uncertainty Estimates 2021 Jöckel, Lisa
IT Design for Resiliency Using Extreme Value Analysis 2021 Bozóki, Szilárd
Evaluation Framework for Performance Limitation of Autonomous Systems Under Sensor Attack 2021 Shimizu, Koichi
Attack and Fault Injection in Self-driving Agents on the Carla Simulator — Experience Report 2021 Piazzesi, Niccolo
SASSI: Safety Analysıs Using Simulation-Based Situation Coverage for Cobot Systems 2021 Lesage, Benjamin
A Framework for Automated Quality Assurance and Documentation for Pharma 4.0 2021 Schmidt, Andreas
Safety Case Maintenance: A Systematic Literature Review 2021 Cârlan, Carmen
Machine Learning-Based Fault Injection for Hazard Analysis and Risk Assessment 2021 Oakes, Bentley James
Automating the Assembly of Security Assurance Case Fragments 2021 Meng, Baoluo
Towards Certified Analysis of Software Product Line Safety Cases 2021 Shahin, Ramy
A Modular Approach to Non-deterministic Dynamic Fault Trees 2021 Müller, Sascha
Composition of Fault Forests 2021 Stewart, Danielle
Alle Artikel auflisten