사이버 물리 시스템(CPS)의 안전성 확보를 위해 시뮬레이션 기반 테스트가 중요해짐에 따라, 시뮬레이션 환경에서 실패 시나리오를 식별하는 연구가 활발히 진행되고 있습니다. 하지만 시뮬레이션에서 발견된 AV 실패 시나리오가 실제 시스템에서도 재현 가능한가에 대한 의문이 제기됩니다. 시뮬레이션과 실제 센서 데이터 간의 차이로 인해 시뮬레이션에서 식별된 실패 시나리오가 실제 문제인지, 아니면 가상의 문제인지 불분명하기 때문입니다. 이러한 문제를 해결하기 위해, 본 논문은 실제 데이터셋에서 시뮬레이션 실패 시나리오의 발생을 찾아 검증하는 효과적인 접근 방식을 제시합니다. 특히, Scenic 확률적 프로그래밍 언어를 사용하여 시나리오 프로그램으로 표현된 추상 시나리오와 레이블된 시계열 센서 데이터가 어떻게 일치하는지 공식적으로 정의합니다. 또한, 시나리오 프로그램과 레이블된 데이터셋이 주어졌을 때, 지정된 시나리오와 일치하는 데이터의 하위 집합을 식별하는 쿼리 알고리즘을 제시합니다. 실험 결과, 본 논문의 알고리즘은 최첨단 상용 비전 대규모 언어 모델보다 정확하고 속도가 빠르며, 쿼리된 시계열 데이터의 길이에 따라 확장 가능한 것으로 나타났습니다.
