Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper introduces Defeater Cards, a structured documentation tool designed to systematically characterize and manage defeaters in safety assurance cases for safety-critical systems. By employing a literature survey and thematic analysis based on the 5W1H framework, the authors establish criteria for the card's structure, enhancing traceability and facilitating the reuse of defeater knowledge. The effectiveness of Defeater Cards is validated through two cross-domain case studies, revealing hidden assumptions and reasoning gaps in safety arguments, thereby improving the overall safety assurance process.
Defeater Cards expose hidden assumptions in safety arguments, transforming how we manage safety assurance in critical systems.
Safety assurance cases provide structured justifications that safety-critical systems meet their safety requirements. Recently, the notion of defeaters has emerged as a rigorous means of challenging the validity of safety arguments. Examples of defeaters might include overly strict claims, unreliable evidence, or reasoning gaps. However, defeaters remain ad hoc, lack structured support for critical reflection, are inconsistently described, are difficult to review, and lack documentation standards. To address this, we propose Defeater Cards, a new structured documentation artifact for systematically characterizing, reasoning about, and managing defeaters in safety cases. Drawing on a literature survey and thematic analysis, we identify documentation criteria that inform the card's structure, based on the 5W1H framework. Defeater Cards are designed to support informed analysis and evolution, improve traceability and auditability, and enable the reuse of defeater knowledge across systems and product variants. We demonstrate their applicability through two cross-domain case studies, showing how they expose hidden assumptions, surface reasoning gaps, and support ongoing safety assurance case evolution. To support adoption and community reuse, we also release an open-source repository of defeater cards as a baseline upon which researchers and practitioners can build and describe lessons learned.