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 |
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 |
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 |
Architectural Patterns for Handlıng Runtime Uncertainty of Data-Driven Models in Safety-Critical Perception
|
2022 |
Groß, Janek |
Hardware Faults that Matter: Understanding and Estimating the Safety Impact of Hardware Faults on Object Detection DNNs
|
2022 |
Qutub, Syed |
Data-Driven Assessment of Parameterized Scenarios for Autonomous Vehicles
|
2022 |
Kolb, Nicola |
Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its Components
|
2022 |
Bishop, Peter |
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 |