Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its Components

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:SAFECOMP (41. : 2022 : München) Computer safety, reliability, and security
1. Verfasser: Bishop, Peter (VerfasserIn)
Weitere Verfasser: Povyakalo, Andrey (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2022
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
BayesianSafety - An Open-Source Package for Causality-Guided, Multi-model Safety Analysis 2022 Maier, Robert
Comprehensive Analysis of Software-Based Fault Tolerance ‘AA with Arithmetic Coding for Performant Encoding of Integer Calculations 2022 Fischer, Marc
On the Feasibility and Performance of Secure OPC UA Communication with HoT Devices 2022 Kohnhäuser, Florian
Formally Compensating Performance Limitations for Imprecise 2D Object Detection 2022 Schuster, Tobias
Application of STPA for the Elicitation of Safety Requirements for a Machine Leaming-Based Perception Component in Automotive 2022 Celik, Esra Acar
Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems 2022 Ramakrishna, Shreyas
Generating Assurance Cases Using Workflows + Models 2022 Annable, Nicholas
STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection 2022 Gautham, Smitha
Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization 2022 Jimenez-Roa, Lisandro Arturo
Uncertainty Elicitation and Propagation in GSN Models of Assurance Cases 2022 Idmessaoud, Yassir
Impact of Machine Learning on Safety Monitors 2022 Terrosi, Francesco
Proposal of Cybersecurity and Safety Co-engineering Approaches on Cyber-Physical Systems 2022 Bajan, Pierre-Marie
Assessment of the Impact of U-space Faulty Conditions on Drones Conflict Rate 2022 Khan, Anamta
ACTOR: Accelerating Fault Injection Campaigns Using Timeout Detection Based on Autocorrelation 2022 Thomas, Tim-Marek
Quality of Fault Injection Strategies on Hardware Accelerator 2022 Guinebert, Iban
Exploring a Maximal Number of Relevant Obstacles for Testing UAVs 2022 Schmidt, Tabea
Analysing the Safety of Decision-Making in Autonomous Systems 2022 Osborne, Matt
Safety Certification with the Open Source Microkernel-Based Operating System L4Re 2022 Lampka, Kai
ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks 2022 Oh, Chanwook
SAILFAIL: Model-Derived Simulation-Assisted ISA-Level Fault-Injection Platforms 2022 Dietrich, Christian
Alle Artikel auflisten