{"id":"https://openalex.org/W7164367894","doi":"https://doi.org/10.48550/arxiv.2606.11462","title":"Defeater Cards: Characterizing and Managing Safety Assurance Case Defeaters","display_name":"Defeater Cards: Characterizing and Managing Safety Assurance Case Defeaters","publication_year":2026,"publication_date":"2026-06-09","ids":{"openalex":"https://openalex.org/W7164367894","doi":"https://doi.org/10.48550/arxiv.2606.11462"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.11462","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.11462","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2606.11462","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088196515","display_name":"Usman Gohar","orcid":"https://orcid.org/0009-0001-8859-4928"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gohar, Usman","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102864560","display_name":"Michael C. Hunter","orcid":"https://orcid.org/0009-0006-3775-7922"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hunter, Michael C.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012188746","display_name":"Salil Purandare","orcid":"https://orcid.org/0000-0002-5147-3233"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Purandare, Salil","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138396414","display_name":"Jordan J. Rios","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rios, Jordan J.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138428012","display_name":"Myra B. Cohen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cohen, Myra B.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5013390075","display_name":"Robyn R. Lutz","orcid":"https://orcid.org/0000-0001-5390-7982"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lutz, Robyn R.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9932000041007996,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9932000041007996,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.0008999999845400453,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.0005000000237487257,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/documentation","display_name":"Documentation","score":0.7853999733924866},{"id":"https://openalex.org/keywords/traceability","display_name":"Traceability","score":0.7559999823570251},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.5813999772071838},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.5794000029563904},{"id":"https://openalex.org/keywords/thematic-analysis","display_name":"Thematic analysis","score":0.4521999955177307},{"id":"https://openalex.org/keywords/quality-assurance","display_name":"Quality assurance","score":0.37929999828338623},{"id":"https://openalex.org/keywords/safety-assurance","display_name":"Safety assurance","score":0.36660000681877136}],"concepts":[{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.7853999733924866},{"id":"https://openalex.org/C153876917","wikidata":"https://www.wikidata.org/wiki/Q899704","display_name":"Traceability","level":2,"score":0.7559999823570251},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.5813999772071838},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.5794000029563904},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5054000020027161},{"id":"https://openalex.org/C74196892","wikidata":"https://www.wikidata.org/wiki/Q7781188","display_name":"Thematic analysis","level":3,"score":0.4521999955177307},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.4221000075340271},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.4088999927043915},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.39879998564720154},{"id":"https://openalex.org/C106436119","wikidata":"https://www.wikidata.org/wiki/Q836575","display_name":"Quality assurance","level":3,"score":0.37929999828338623},{"id":"https://openalex.org/C112805685","wikidata":"https://www.wikidata.org/wiki/Q10566551","display_name":"Safety assurance","level":2,"score":0.36660000681877136},{"id":"https://openalex.org/C2780234205","wikidata":"https://www.wikidata.org/wiki/Q2281276","display_name":"Safety case","level":2,"score":0.35989999771118164},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.325300008058548},{"id":"https://openalex.org/C45384764","wikidata":"https://www.wikidata.org/wiki/Q838667","display_name":"Requirements elicitation","level":4,"score":0.3176000118255615},{"id":"https://openalex.org/C2779328685","wikidata":"https://www.wikidata.org/wiki/Q1475557","display_name":"Patient safety","level":3,"score":0.3046000003814697},{"id":"https://openalex.org/C184356942","wikidata":"https://www.wikidata.org/wiki/Q830382","display_name":"Best practice","level":2,"score":0.29269999265670776},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.28940001130104065},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.27059999108314514},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.26429998874664307},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2578999996185303}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.11462","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.11462","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.11462","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.11462","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Safety":[0],"assurance":[1,159],"cases":[2],"provide":[3],"structured":[4,50,75],"justifications":[5],"that":[6,101],"safety-critical":[7],"systems":[8,133],"meet":[9],"their":[10,139],"safety":[11,29,87,158],"requirements.":[12],"Recently,":[13],"the":[14,26,103,108,127],"notion":[15],"of":[16,24,28,32,129,174],"defeaters":[17,33,45,85],"has":[18],"emerged":[19],"as":[20,177],"a":[21,73,91,178],"rigorous":[22],"means":[23],"challenging":[25],"validity":[27],"arguments.":[30],"Examples":[31],"might":[34],"include":[35],"overly":[36],"strict":[37],"claims,":[38],"unreliable":[39],"evidence,":[40],"or":[41],"reasoning":[42,81,153],"gaps.":[43],"However,":[44],"remain":[46],"ad":[47],"hoc,":[48],"lack":[49,63],"support":[51,116,156,163],"for":[52,78],"critical":[53],"reflection,":[54],"are":[55,58,113],"inconsistently":[56],"described,":[57],"difficult":[59],"to":[60,115],"review,":[61],"and":[62,83,94,119,123,125,134,155,165,183,187],"documentation":[64,76,99],"standards.":[65],"To":[66,162],"address":[67],"this,":[68],"we":[69,97,168],"propose":[70],"Defeater":[71,111],"Cards,":[72],"new":[74],"artifact":[77],"systematically":[79],"characterizing,":[80],"about,":[82],"managing":[84],"in":[86],"cases.":[88],"Drawing":[89],"on":[90,107],"literature":[92],"survey":[93],"thematic":[95],"analysis,":[96],"identify":[98],"criteria":[100],"inform":[102],"card's":[104],"structure,":[105],"based":[106],"5W1H":[109],"framework.":[110],"Cards":[112],"designed":[114],"informed":[117],"analysis":[118],"evolution,":[120],"improve":[121],"traceability":[122],"auditability,":[124],"enable":[126],"reuse":[128],"defeater":[130,175],"knowledge":[131],"across":[132],"product":[135],"variants.":[136],"We":[137],"demonstrate":[138],"applicability":[140],"through":[141],"two":[142],"cross-domain":[143],"case":[144,160],"studies,":[145],"showing":[146],"how":[147],"they":[148],"expose":[149],"hidden":[150],"assumptions,":[151],"surface":[152],"gaps,":[154],"ongoing":[157],"evolution.":[161],"adoption":[164],"community":[166],"reuse,":[167],"also":[169],"release":[170],"an":[171],"open-source":[172],"repository":[173],"cards":[176],"baseline":[179],"upon":[180],"which":[181],"researchers":[182],"practitioners":[184],"can":[185],"build":[186],"describe":[188],"lessons":[189],"learned.":[190]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-12T00:00:00"}