위험도 모델을 통한 충돌예방 알고리즘 정량적 검증