260615

기여

안전 표준에 근거하여 SIL 테스트 환경의 적대적 행위자 행동을 자동 합성하고, 이 환경이 비표준 baseline보다 더 많고 심각한 안전 위반을 유발함을 실증한다.

차별점

1. 표준을 환경 생성의 근거이자 평가 오라클의 기준으로 사용(기존 LLM 시나리오 생성 연구는 사고 데이터·실주행 로그에 의존)
2. 평가가 대리 지표(커버리지)가 아니라 실행 결과 기반이며, 위반 판정 임계값을 표준에서 가져와 자의성 제거(STL 오라클)
3. 표준→테스트 환경 합성이라는 방법론이 특정 도메인에 종속되지 않음(기존 연구는 단일 도메인)

실험 설계

• 가설: 동일 예산에서 표준 기반 합성 환경이 비표준 baseline보다 유의미하게 더 많고 심각한 표준 위반 유발
• 독립변수: 환경 생성 방식 — (A) 표준 기반 합성, (B) 비표준 baseline
• 종속변수: 표준 STL 오라클 기준 안전 위반 횟수 및 심각도(robustness 값); 보조로 충돌·크래시 카운트
• 통제변수: SUT, 시뮬레이터, 맵, 시뮬레이션 예산(횟수·시간) 고정