Imagen de Portada

A Taxonomy of Real-World Defeaters in Safety Assurance Cases

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Gohar, Usman, Hunter, Michael C., Cohen, Myra B., Lutz, Robyn R.
Formato:	Preprint
Publicado:	2025
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

A Family-Based Approach to Safety Cases for Controlled Airspaces in Small Uncrewed Aerial Systems
por: Hunter, Michael C., et al.
Publicado: (2025)

Towards Engineering Fair and Equitable Software Systems for Managing Low-Altitude Airspace Authorizations
por: Gohar, Usman, et al.
Publicado: (2024)

Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases
por: Shahandashti, Kimya Khakzad, et al.
Publicado: (2024)

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

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

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

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

LLMs as Judges: Toward The Automatic Review of GSN-compliant Assurance Cases
por: Yu, Gerhard, et al.
Publicado: (2025)

Confidence in Assurance 2.0 Cases
por: Bloomfield, Robin, et al.
Publicado: (2024)

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

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

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

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

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

Generating Maximal Configurations and Their Variants Using Code Metrics
por: Yavuz, Tuba, et al.
Publicado: (2024)

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

Assurance Case Development for Evolving Software Product Lines: A Formal Approach
por: Murphy, Logan, et al.
Publicado: (2025)

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

A Taxonomy of Real Faults in Hybrid Quantum-Classical Architectures
por: Bensoussan, Avner, et al.
Publicado: (2025)

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

Enhancing Uncertainty Quantification for Runtime Safety Assurance Using Causal Risk Analysis and Operational Design Domain
por: Bouchekir, Radouane, et al.
Publicado: (2025)

scenario.center: Methods from Real-world Data to a Scenario Database
por: Schuldes, Michael, et al.
Publicado: (2024)

Towards Continuous Assurance with Formal Verification and Assurance Cases
por: Abeywickrama, Dhaminda B., et al.
Publicado: (2025)

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

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

A Task Taxonomy for Conformance Checking
por: Rehse, Jana-Rebecca, et al.
Publicado: (2025)

Towards Understanding and Applying Security Assurance Cases for Automotive Systems
por: Mohamad, Mazen
Publicado: (2024)

Real Faults in Model Context Protocol (MCP) Software: a Comprehensive Taxonomy
por: Taraghi, Mina, et al.
Publicado: (2026)

Embedding Quality Assurance in project-based learning
por: Spichkova, Maria
Publicado: (2025)

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

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

Evaluating Assurance Cases as Text-Attributed Graphs for Structure and Provenance Analysis
por: Ikhwantri, Fariz, et al.
Publicado: (2026)

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

Evaluating the Role of Security Assurance Cases in Agile Medical Device Development
por: Fransson, Max, et al.
Publicado: (2024)

Developing Compelling Safety Cases
por: Hawkins, Richard
Publicado: (2025)

SmartDelta Methodology: Automated Quality Assurance and Optimization for Incremental System Engineering
por: Dornauer, Benedikt, et al.
Publicado: (2025)

Multi-Label Requirements Classification with Large Taxonomies
por: Abdeen, Waleed, et al.
Publicado: (2024)

OntoGSN: An Ontology-Based Framework for Semantic Management and Extension of Assurance Cases
por: Momcilovic, Tomas Bueno, et al.
Publicado: (2025)

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