[논문 리뷰] Membership-based Manoeuvre Negotiation in Autonomous and Safety-critical Vehicular Systems

António Casimiro, Emelie Ekenstedt외 1명|arXiv (Cornell University)|2019. 06. 11.

Autonomous Vehicle Technology and Safety참고 문헌 16인용 수 4

한 줄 요약

이 논문은 자율주행차의 교차로에서 안전성과 고장 내성 능력을 향상시키기 위해 구성원 기반의 운행 협의 프로토콜을 제안한다. 우선순위 기반 요청-승인 메커니즘을 사용하고 형식적 정확성 증명 및 시뮬레이션을 통해, 패킷 손실, 센서 노이즈 및 악성 행동 조건에서도 충돌과 우선순위 위반을 감소시키며, 위험 추정만으로는 달성할 수 없는 안전 중심 시나리오에서 뛰어난 성능을 보인다.

ABSTRACT

A fault-tolerant negotiation-based intersection crossing protocol is presented. Rigorous analytic proofs are used for demonstrating the correctness and fault-tolerance properties. Experimental results validate the correctness proof via detailed computer simulations and provide a preliminary evaluation of the system performances. The results are compared to the ones that can be achieved via a risk estimator with and without combining the proposed protocol. Our fault model considers packet-loss, noisy sensory information and malicious driving. Our preliminary results show a reduction in the number of dangerous situations and vehicle collisions.

연구 동기 및 목표

• 실제 장애 조건 하에서도 자율주행차가 안전하게 교차로 통과를 협의할 수 있도록 통신 기반의 고장 내성 프로토콜을 설계하는 것.
• 엄격한 분석 방법을 사용하여 프로토콜의 정확성과 고장 내성 능력을 형식적으로 증명하는 것.
• 특히 위험 추정 시스템과의 비교를 통해 프로토콜의 성능을 시뮬레이션을 통해 평가하는 것.
• 우선순위 준수와 안전한 경로 계획을 통해 위험한 상황과 충돌을 줄이는 것.
• 기존의 위험 추정 시스템과의 통합을 탐색하여 전체 시스템의 안전성과 내성 능력을 향상시키는 것.

제안 방법

• 차량들이 교차로와 같은 핵심 구역에 대한 접근을 조율하기 위해 동적 그룹(구성원 집합)을 형성하는 구성원 기반 시스템을 사용한다.
• 차량들은 우선순위가 높은 차량으로부터 핵심 구역 진입을 요청하고, 요청의 유효성과 우선순위 규칙을 확인한 후에만 허가를 부여한다.
• 시간스탬프 기반 우선순위 메커니즘이 신규 요청이 이전 요청을 대체할 수 있도록 하여 순환 대기와 교착 상태를 방지한다.
• 안전성과 정확성을 보장하기 위해 요청 발동, 응답 처리, 허가 해제, 교차로 진입에 대한 엄격한 규칙을 적용한다.
• 정의된 장애 모델 하에서 안전성, 활성성, 우선순위 준수를 충족하는지 확인하기 위해 형식적 정확성 증명을 제공한다.
• 패킷 손실, 센서 노이즈, 악성 주행 조건 하에서의 프로토콜 행동을 시뮬레이션으로 검증하며, 위험 추정만 사용할 경우와의 성능 비교를 수행한다.

실험 결과

연구 질문

• RQ1 센서 노이즈와 패킷 손실 조건에서도 통신 기반 프로토콜이 자율주행차의 교차로에서 안전성과 고장 내성 능력을 어떻게 확보할 수 있는가?
• RQ2 동적인 안전 중심 교통 상황에서 프로토콜이 충돌과 우선순위 위반을 모두 방지할 수 있는가?
• RQ3 운행 협의 프로토콜을 위험 추정기와 통합하면 전체 시스템의 안전성과 반응 시간은 어떻게 향상되는가?
• RQ4 동시 요청과 제한된 허가 용량이 있는 다중 차량 협의 시나리오에서 교착 상태를 방지하는 메커니즘은 무엇인가?
• RQ5 안전성과 통행량을 유지하면서 프로토콜이 교통 규칙 우선순위를 얼마나 잘 유지하는가?

주요 결과

• 모든 시뮬레이션 시나리오에서 프로토콜이 고도의 패킷 손실과 센서 노이즈 조건에서도 충돌과 우선순위 위반을 성공적으로 방지하였다.
• 시뮬레이션 결과, 운행 협의 프로토콜과 위험 추정을 병행한 시스템이 위험 추정만 사용할 경우보다 더 효과적으로 위험한 상황을 감소시켰다.
• 위험 추정 기능을 탑재한 고위상 차량은 모든 위험 상황을 탐지했지만, 프로토콜이 없이선 충돌을 피하기에는 종종 너무 늦었다.
• 프로토콜이 활성화된 동안 고위상 차량의 통행량은 이상 상태에 근접해 유지되어 성능 저하가 최소화됨을 확인하였다.
• 시간스탬프 기반 요청과 동적 우선순위 검증을 통해 프로토콜이 순환 대기와 교착 상태를 효과적으로 방지함을 확인하였다.
• 형식적 정확성 증명을 통해 요청 발동, 응답 처리, 허가 해제, 진입에 대한 모든 안전 요구사항이 엄격히 이행됨을 확인하였다.