[논문] 디피이터 카드: 안전 보증 사례 반증 요소의 특성화 및 관리
개요
안전 보증 사례는 안전‑중요 시스템이 안전 요구사항을 충족한다는 구조화된 정당성을 제공합니다. 최근에는 안전 논증의 타당성을 엄격히 검증하기 위한 수단으로 디피이터(defeaters) 개념이 등장했습니다. 디피터의 예로는 과도하게 엄격한 주장, 신뢰할 수 없는 증거, 혹은 추론의 공백 등이 있습니다. 그러나 디피터는 아직도 임시방편에 불과하고, 비판적 성찰을 위한 구조화된 지원이 부족하며, 기술 방식이 일관되지 않고, 검토가 어렵고, 문서화 표준도 없습니다. 이를 해결하고자 우리는 디피터 카드(Defeater Cards) 라는 새로운 구조화 문서 아티팩트를 제안합니다. 이 카드는 안전 사례에서 디피터를 체계적으로 특성화하고, 추론하며, 관리하기 위한 도구입니다. 문헌 조사와 주제 분석을 바탕으로 5W1H 프레임워크에 근거한 문서화 기준을 도출하여 카드 구조에 반영했습니다. 디피터 카드는 정보에 입각한 분석과 진화를 지원하고, 추적성 및 감사성을 향상시키며, 시스템 및 제품 변형 간에 디피터 지식의 재사용을 가능하게 합니다. 우리는 두 개의 교차 도메인 사례 연구를 통해 적용 가능성을 입증했으며, 이를 통해 숨겨진 가정이 드러나고, 추론 공백이 표면화되며, 지속적인 안전 보증 사례 진화를 지원함을 보여줍니다. 채택과 커뮤니티 재사용을 촉진하기 위해, 연구자와 실무자가 기반 위에 구축하고 학습 교훈을 기술할 수 있도록 디피터 카드의 오픈소스 저장소도 공개합니다.
주요 기여
본 논문은 다음 분야의 연구를 제시합니다.
- cs.SE
방법론
자세한 방법론은 전체 논문을 참고하십시오.
실무적 함의
본 연구는 cs.SE 분야의 발전에 기여합니다.
저자
- Usman Gohar
- Michael C. Hunter
- Salil Purandare
- Jordan J. Rios
- Myra B. Cohen
- Robyn R. Lutz
논문 정보
- arXiv ID: 2606.11462v1
- 분류: cs.SE
- 발표일: 2026년 6월 9일
- PDF: PDF 다운로드