Cover Image

Enhancing Uncertainty Quantification for Runtime Safety Assurance Using Causal Risk Analysis and Operational Design Domain

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bouchekir, Radouane, Cancimance, Michell Guzman
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus
by: Sorokin, Lev, et al.
Published: (2024)

Runtime Safety Assurance of Autonomous Vehicles used for Last-mile Delivery in Urban Environments
by: Aslam, Iqra, et al.
Published: (2023)

Reconciling Safety Measurement and Dynamic Assurance
by: Denney, Ewen, et al.
Published: (2024)

Understanding, Implementing, and Supporting Security Assurance Cases in Safety-Critical Domains
by: Mohamad, Mazen
Published: (2025)

A Scalable Framework for Safety Assurance of Self-Driving Vehicles based on Assurance 2.0
by: Chen, Shufeng, et al.
Published: (2025)

Model Based System Assurance Using the Structured Assurance Case Metamodel
by: Wei, Ran, et al.
Published: (2019)

A Taxonomy of Real-World Defeaters in Safety Assurance Cases
by: Gohar, Usman, et al.
Published: (2025)

ACCESS: Assurance Case Centric Engineering of Safety-critical Systems
by: Wei, Ran, et al.
Published: (2024)

Formalizing Operational Design Domains with the Pkl Language
by: Skoglund, Martin, et al.
Published: (2025)

Using Assurance Cases to Guide Verification and Validation of Research Software
by: Smith, W. Spencer, et al.
Published: (2024)

Causal Reasoning in Software Quality Assurance: A Systematic Review
by: Giamattei, Luca, et al.
Published: (2024)

Predicting Safety Misbehaviours in Autonomous Driving Systems using Uncertainty Quantification
by: Grewal, Ruben, et al.
Published: (2024)

Modular Assurance of Complex Systems Using Contract-Based Design Principles
by: McGeorge, Dag, et al.
Published: (2024)

CaveAgent: Transforming LLMs into Stateful Runtime Operators
by: Ran, Maohao, et al.
Published: (2026)

Architecting Data-Intensive Applications : From Data Architecture Design to Its Quality Assurance
by: Abughazala, Moamin
Published: (2024)

Automatic Instantiation of Assurance Cases from Patterns Using Large Language Models
by: Odu, Oluwafemi, et al.
Published: (2024)

ProbGuard: Probabilistic Runtime Monitoring for LLM Agent Safety
by: Wang, Haoyu, et al.
Published: (2025)

A PRISMA-Driven Bibliometric Analysis of the Scientific Literature on Assurance Case Patterns
by: Odu, Oluwafemi, et al.
Published: (2024)

AI Safety Assurance in Electric Vehicles: A Case Study on AI-Driven SOC Estimation
by: Skoglund, Martin, et al.
Published: (2025)

Improving Data Curation of Software Vulnerability Patches through Uncertainty Quantification
by: Chen, Hui, et al.
Published: (2024)

Confidence in Assurance 2.0 Cases
by: Bloomfield, Robin, et al.
Published: (2024)

Quality Assurance Practices in Agile Methodology
by: Wakili, Almustapha A., et al.
Published: (2024)

Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots
by: Gleirscher, Mario, et al.
Published: (2020)

Assessing the Capability of Android Dynamic Analysis Tools to Combat Anti-Runtime Analysis Techniques
by: Suo, Dewen, et al.
Published: (2025)

VeriODD: From YAML to SMT-LIB -- Automating Verification of Operational Design Domains
by: Rafie, Bassel, et al.
Published: (2025)

Beyond ChatGPT: Enhancing Software Quality Assurance Tasks with Diverse LLMs and Validation Techniques
by: Widyasari, Ratnadira, et al.
Published: (2024)

Classport: Designing Runtime Dependency Introspection for Java
by: Cofano, Serena, et al.
Published: (2025)

Continuous Observability Assurance in Cloud-Native Applications
by: Borges, Maria C., et al.
Published: (2025)

Embedding Quality Assurance in project-based learning
by: Spichkova, Maria
Published: (2025)

Leveraging LLMs for the Quality Assurance of Software Requirements
by: Lubos, Sebastian, et al.
Published: (2024)

Argus: Resilience-Oriented Safety Assurance Framework for End-to-End ADSs
by: Wang, Dingji, et al.
Published: (2025)

Causality-aware Safety Testing for Autonomous Driving Systems
by: Tang, Wenbing, et al.
Published: (2025)

Uncertainty Quantification for LLM-based Code Generation
by: Xu, Senrong, et al.
Published: (2026)

REDriver: Runtime Enforcement for Autonomous Vehicles
by: Sun, Yang, et al.
Published: (2024)

PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases
by: Murphy, Logan, et al.
Published: (2024)

CoDefeater: Using LLMs To Find Defeaters in Assurance Cases
by: Gohar, Usman, et al.
Published: (2024)

eWAPA: An eBPF-based WASI Performance Analysis Framework for WebAssembly Runtimes
by: Mao, Chenxi, et al.
Published: (2024)

VibeContract: The Missing Quality Assurance Piece in Vibe Coding
by: Wang, Song
Published: (2026)

What Makes a Great Software Quality Assurance Engineer?
by: Farias, Roselane Silva, et al.
Published: (2024)

Fostering Microservice Maintainability Assurance through a Comprehensive Framework
by: Abdelfattah, Amr S.
Published: (2024)