본 연구는 ISO 34502 표준에 정의된 주요 교통 방해 시나리오를 시간 논리 언어인 STL로 체계적이고 포괄적으로 공식화하였다. 이를 위해 모듈식 접근법을 사용하고 RSS 거리를 위험 정의에 활용하였다.