[논문 리뷰] Autonomous Driving - 5 Years after the Urban Challenge: The Anticipatory Vehicle as a Cyber-Physical System

Christian Berger, Bernhard Rumpe⋆|arXiv (Cornell University)|2014. 09. 01.

Autonomous Vehicle Technology and Safety참고 문헌 29인용 수 45

한 줄 요약

이 논문은 DARPA 우림 도전대회 이후 5년간의 자율주행 기술 발전을 검토하며, 예측 가능한 차량을 사이버물리시스템으로 위치지어 제시한다. 모델 기반 소프트웨어 공학을 통해 인식, 계획, 제어의 통합을 강조하며, 안전하고 확장 가능한 도심 주행을 가능하게 하기 위해 형식적 방법과 신뢰성 있는 소프트웨어 아키텍처의 필요성을 제기한다.

ABSTRACT

In November 2007 the international competition DARPA Urban Challenge took place on the former George Airforce Base in Victorville, California to significantly promote the research and development on autonomously driving vehicles for urban environments. In the final race only eleven out of initially 89 competitors participated and "Boss" from Carnegie Mellon University succeeded. This paper summarizes results of the research carried out by all finalists within the last five years after the competition and provides an outlook where further investigation especially for software engineering is now necessary to achieve the goal of driving safely and reliably through urban environments with an anticipatory vehicle for the mass-market.

연구 동기 및 목표

• 2007년 DARPA 우림 도전대회 이후 5년간 자율주행 기술의 발전을 평가하기 위해.
• 도심 환경에서 자율주행 차량을 신뢰성 있고 안전하게 구현하기 위해 필수적인 소프트웨어 공학 관행의 핵심적 격차를 규명하기 위해.
• 복잡한 사이버물리시스템에서 정확성과 강건성을 보장하기 위해 모델 기반 시스템 공학과 형식적 방법을 적극적으로 활용하여, 정당한 설계를 보장하기 위해.
• 높은 신뢰성으로 동적인 도심 교통 환경을 처리할 수 있는 예측 가능한 차량을 개발하기 위한 연구 로드맵을 수립하기 위해.
• 개선된 소프트웨어 아키텍처와 검증 기법을 통해 실험적 자율주행과 대량 시장 배포 사이의 격차를 메우기 위해.

제안 방법

• 2007년 DARPA 우림 도전대회 최종 11개 팀의 성과 및 시스템 아키텍처를 분석한다.
• 차량 제어, 인식, 의사결정 구성 요소 간의 상호작용을 표현하기 위해 사이버물리시스템(CPS) 모델링을 적용한다.
• 시스템 행동을 형식화하고 모듈성과 검증 가능성에 중점을 두어, 모델 기반 시스템 공학(MBSE)을 사용한다.
• 신뢰성을 향상시키기 위해 컴포넌트 기반 설계와 형식적 명세와 같은 소프트웨어 공학 원칙을 통합한다.
• 실시간 적응을 위한 피드백 루프를 포함한 인식, 계획, 제어를 조합한 계층적 아키텍처를 제안한다.
• 오류를 줄이기 위해 도메인 특화 언어(DSLs)와 형식적 검증을 활용하여 안전 핵심 소프트웨어 구성 요소의 정확성을 높인다.

실험 결과

연구 질문

• RQ1 DARPA 우림 도전대회 이후 5년 내 자율주행 차량에서 어떤 핵심 기술적 및 소프트웨어 공학적 발전이 이루어졌는가?
• RQ2 사이버물리시스템 모델링은 자율주행 시스템의 설계 및 검증을 어떻게 향상시킬 수 있는가?
• RQ3 프로토타입 차량에서 대량 시장 배포로의 전환을 저지르는 주요 소프트웨어 공학 과제는 무엇인가?
• RQ4 예측 가능한 행동(예: 인간 운전자의 의도 예측)은 어떻게 형식적으로 모델링하고 자율 제어 시스템에 통합될 수 있는가?
• RQ5 형식적 방법과 모델 기반 설계는 자율주행 차량 소프트웨어의 안전성과 신뢰성 확보에 어떤 역할을 하는가?

주요 결과

• 원래 89개 팀 중 11개 팀만 2007년 DARPA 우림 도전대회를 완주했으며, 카네기 멜론 대학의 '보스'(Boss)가 최종 승자로 선정되어 도심 자율주행의 복잡성을 입증했다.
• 승리한 시스템은 실시간 불확실성 하에서 의사결정을 내릴 수 있도록 고도로 통합된 모델 기반 소프트웨어 아키텍처에 의존했다.
• 인식 및 정위치 결정 분야에서 상당한 진전이 있었지만, 소프트웨어 신뢰성과 검증은 여전히 주요 장애물로 남아 있었다.
• 논문은 안전 핵심 시스템에서 런타임 실패를 방지하기 위해 형식적 방법과 모델 기반 개발의 필수적 필요성을 규명했다.
• 보행자 및 차량의 운동을 예측하는 예측 가능한 행동은 성공한 시스템의 핵심 차별 요소였지만, 소프트웨어 공학 관행에서는 여전히 개발이 부족한 상태였다.
• 저자는 현재의 소프트웨어 공학 관행는 대량 시장 배포에 부적합하며, 정확성, 모ularity, 검증 가능성에 중점을 둔 새로운 방법론의 필요성을 결론 내렸다.