Defeater Cards: 안전 보증 케이스의 무효화 요인(Defeaters) 특성화 및 관리

안전 보증 케이스 (Safety assurance cases)는 안전 필수 시스템 (safety-critical systems)이 안전 요구사항을 충족한다는 구조화된 정당성을 제공합니다. 최근에는 안전 논증 (safety arguments)의 타당성에 도전하는 엄격한 수단으로서 무효화 요인 (defeaters)이라는 개념이 등장했습니다. 무효화 요인의 예로는 지나치게 엄격한 주장, 신뢰할 수 없는 증거 또는 추론의 공백 (reasoning gaps) 등이 있습니다. 그러나 무효화 요인은 여전히 임시방편적 (ad hoc)이며, 비판적 성찰을 위한 구조화된 지원이 부족하고, 설명이 일관되지 않으며, 검토하기 어렵고, 문서화 표준이 부족한 상태입니다. 이를 해결하기 위해, 우리는 안전 케이스 (safety cases) 내의 무효화 요인을 체계적으로 특성화하고, 추론하며, 관리하기 위한 새로운 구조화된 문서화 산출물인 Defeater Cards를 제안합니다. 문헌 조사와 주제 분석 (thematic analysis)을 바탕으로, 우리는 5W1H 프레임워크에 기반하여 카드의 구조를 형성하는 문서화 기준을 식별합니다. Defeater Cards는 정보에 기반한 분석과 진화를 지원하고, 추적성 (traceability)과 감사 가능성 (auditability)을 개선하며, 시스템 및 제품 변형 전반에 걸쳐 무효화 요인 지식의 재사용을 가능하게 하도록 설계되었습니다. 우리는 두 가지 교차 도메인 사례 연구를 통해 이들의 적용 가능성을 입증하며, 이들이 어떻게 숨겨진 가정을 드러내고, 추론의 공백을 표면화하며, 지속적인 안전 보증 케이스의 진화를 지원하는지 보여줍니다. 채택과 커뮤니티 재사용을 지원하기 위해, 연구자와 실무자들이 학습된 교훈을 구축하고 설명할 수 있는 기초 자료로서 무효화 요인 카드의 오픈 소스 저장소 (open-source repository)도 공개합니다.