Declarative Scenario-based Testing with RoadLogic

이 논문은 자율주행차의 시나리오 기반 테스트를 위해 선언적 OpenSCENARIO 명세를 실행 가능한 시뮬레이션으로 자동 변환하는 오픈소스 도구 'RoadLogic'을 제안하고, 이를 통해 명세 준수성과 다양한 행동 변형을 효율적으로 검증할 수 있음을 입증합니다.

핵심

🚗 1. 문제 상황: "너무 구체적인 레시피는 번거롭다"

자율주행차를 개발할 때, 가장 중요한 것은 다양한 상황 (비, 눈, 갑자기 튀어나오는 보행자 등) 에서 차가 어떻게 반응하는지 테스트하는 것입니다.

• 기존 방식 (구형 레시피): 개발자들은 "차가 A 지점에서 B 지점으로 가다가, C 차를 추월하고, D 에서 멈춰라"라고 매우 구체적이고 지시적인 명령을 하나하나 직접 적어야 했습니다. 마치 "먼저 달걀을 깨고, 그다음에 버터를 녹이고, 3 분 뒤엔..."이라고 단계별로 다 적어야 하는 요리 레시피 같습니다.

  • 단점: 모든 상황을 다 적으려면 시간이 너무 많이 걸리고, 개발자가 놓친 '치명적인 상황'이 있을 수 있습니다.

• 새로운 언어 (OS2): 최근에는 "추월하기"나 "차선 변경하기"처럼 **의도 (Intent) 만을 표현하는 추상적인 언어 (OS2)**가 생겼습니다.

  • 비유: 마치 "오늘 저녁은 '파스타'를 만들어라"라고만 적어주는 레시피입니다. "어떤 파스타? 알리오 올리오? 토마토? 면은 얼마나?" 같은 세부 사항은 적혀 있지 않습니다.
  • 문제점: 컴퓨터는 "파스타를 만들어라"라는 말만 듣고는 "어떻게 만들어야 하지?"라고 고민합니다. 구체적인 실행 방법 (시뮬레이션) 을 자동으로 만들어주는 도구가 없었습니다.

🛠️ 2. 해결책: RoadLogic (로드 로직) - "명령을 현실로 바꾸는 마법사"

이 논문에서 소개한 RoadLogic은 바로 그 추상적인 의도 (파스타를 만들어라) 를 구체적인 실행 계획 (요리 과정) 으로 자동 변환해주는 도구입니다.

RoadLogic 은 3 단계로 작동합니다.

1 단계: "의도를 그림으로 그리기" (Symbolic Automata)

• 비유: 요리사가 "파스타"라는 말만 듣고 머릿속으로 "면 삶기 → 소스 만들기 → 섞기" 같은 개념적인 흐름도를 그리는 단계입니다.
• RoadLogic 은 OS2 언어로 된 "추월하라"라는 명령을 받아, 차들이 어떻게 움직여야 하는지 **논리적인 흐름도 (자동화 기계의 설계도)**로 바꿉니다.

2 단계: "논리 퍼즐 풀기" (Answer Set Programming - ASP)

• 비유: 이제 흐름도를 바탕으로 **"어떤 순서로 움직여야 충돌 없이 목표에 도달할까?"**라는 거대한 논리 퍼즐을 풉니다.
• 컴퓨터는 "차 A 는 3 초 뒤에 왼쪽 차선으로 가고, 차 B 는 5 초 뒤에 속도를 높여라"처럼 **수천 가지 가능성 중에서 조건을 만족하는 최적의 계획 (Plan)**을 찾아냅니다. 이때 'ASP'라는 강력한 논리 엔진을 사용합니다.

3 단계: "실제 요리하기" (Motion Planning & Simulation)

• 비유: 퍼즐로 찾은 계획대로 **실제 부엌 (시뮬레이션 환경)**에서 요리를 시작합니다.
• 컴퓨터는 찾은 계획대로 가상 도로 위의 차들을 움직입니다. 이때 차가 물리 법칙 (가속, 제동, 차선 변경) 을 지키는지, 그리고 처음에 정한 "파스타 (추월)" 레시피대로 잘 만들어졌는지 실시간으로 감시 (모니터링) 합니다.
• 만약 차가 레시피대로 움직이지 않으면 (예: 추월하려다 차선을 잘못 넘음), 그 시뮬레이션은 폐기하고 다시 계획을 세웁니다.

🎯 3. 왜 이것이 중요한가요? (성과)

이 도구를 사용하면 다음과 같은 장점이 있습니다.

• 자동화된 다양성: 개발자가 "추월 시나리오" 하나만 입력해도, RoadLogic 은 수백 가지 다른 버전의 추월 상황을 자동으로 만들어냅니다.
  • 예: "차가 10m 뒤에 있을 때 추월", "차가 20m 뒤에 있을 때 추월", "비가 올 때 추월" 등.
  • 비유: "파스타를 만들어라"라고 한 번만 말해도, 알리오 올리오, 카르보나라, 크림 파스타 등 다양한 파스타 종류를 자동으로 만들어주는 요리 로봇 같습니다.
• 안전성 보장: 만들어진 모든 시나리오는 원래 의도 (레시피) 와 일치하는지 자동으로 검증합니다. 엉뚱한 결과가 나오면 걸러냅니다.
• 시간 단축: 개발자가 일일이 시나리오를 짜는 데 걸리던 몇 주 시간을 몇 분으로 줄여줍니다.

💡 4. 핵심 메시지

이 논문의 핵심은 **"자율주행차 테스트를 '지시'하는 방식에서 '의도'를 표현하는 방식으로 바꾸고, 그 의도를 컴퓨터가 알아서 구체적인 실행 계획으로 만들어주는 시스템을 만들었다"**는 것입니다.

RoadLogic은 마치 건축가 (개발자) 가 "아름다운 집"이라는 설계도만 그리면, 시공 팀 (컴퓨터) 이 자동으로 벽돌을 쌓고 배관을 연결하여 실제 집을 짓고, 그 집이 설계도와 맞는지 검사해주는 시스템과 같습니다.

이를 통해 우리는 더 안전하고, 더 다양한 상황에서 테스트된 자율주행차를 더 빠르게 개발할 수 있게 되었습니다.

기술 요약

RoadLogic: 선언적 시나리오 기반 테스트를 위한 기술적 요약

이 논문은 자율 주행 차량 (AV) 의 안전하고 비용 효율적인 검증을 위해 RoadLogic이라는 새로운 오픈 소스 프레임워크를 제안합니다. RoadLogic 은 고수준의 선언적 시나리오 기술 언어인 **OpenSCENARIO DSL (OS2)**을 실행 가능한 구체적인 시뮬레이션으로 자동 변환하는 최초의 솔루션입니다.

1. 문제 정의 (Problem)

• 현재의 한계: 기존 시나리오 기반 테스트는 대부분 명령형 (Imperative) 접근 방식을 사용합니다. 개발자가 수동으로 수많은 시나리오 변형을 나열해야 하므로 시간과 비용이 많이 들고, 커버리지를 확보하기 어렵습니다.
• OS2 의 부재: OpenSCENARIO DSL (OS2) 은 추상화 수준을 높여 "무엇을 (What)" 달성할지 선언적으로 정의할 수 있게 하지만, 이러한 선언적 명세를 구체적인 시뮬레이션으로 체계적으로 인스턴스화 (구현) 하는 오픈 소스 도구가 존재하지 않았습니다.
• 필요성: AV 테스트 파이프라인에서 추상적인 의도 (Intent) 와 구체적인 실행 (Execution) 사이의 간극을 메울 수 있는 자동화 도구가 절실히 필요했습니다.

2. 방법론 (Methodology)

RoadLogic 은 OS2 명세에서 구체적인 시뮬레이션까지 이어지는 엔드 - 투 - 엔드 파이프라인을 제공합니다. 주요 단계는 다음과 같습니다:

1. OS2 에서 심볼릭 오토마타 변환:
   • 입력된 OS2 시나리오를 **심볼릭 오토마타 (Symbolic Finite Automata, SFA)**로 변환합니다.
   • 각 상태 (Location) 는 시나리오의 기동 (Maneuver) 을, 전이 (Transition) 는 차량 간의 공간적/시간적 제약 조건을 인코딩합니다.
2. ASP (Answer Set Programming) 기반 고수준 계획 수립:
   • 변환된 심볼릭 오토마타를 ASP 문제로 인코딩합니다.
   • clingo 솔버를 사용하여 시나리오 제약 조건을 만족하는 고수준의 이산적 계획 (Discrete Plan) 을 생성합니다.
   • 시간과 공간을 그리드 형태로 이산화하여 차량의 위치, 속도, 차선 변경 등을 논리적 규칙으로 표현합니다.
3. 구체적 시나리오 실행 (Motion Planning):
   • ASP 로 생성된 고수준 계획을 FrenetiX 모션 플래너를 통해 구체적인 궤적으로 정제합니다.
   • CommonRoad 시뮬레이션 환경에서 차량의 물리적 동역학, 도로 기하학, 충돌 회피 등을 고려하여 실제 주행 가능한 경로를 생성합니다.
   • 중간 목표 지점을 순차적으로 달성하도록 플래너를 확장하여 적용했습니다.
4. 명세 준수 모니터링 (Runtime Monitoring):
   • 생성된 시뮬레이션 실행 궤적 (Trace) 을 다시 심볼릭 오토마타와 비교하여 검증합니다.
   • 생성된 시나리오가 원래 OS2 명세의 의도와 일치하는지 확인하며, 불일치 시 해당 인스턴스를 폐기하고 새로운 계획을 생성합니다.

3. 주요 기여 (Key Contributions)

• RoadLogic 프레임워크 개발: OS2 선언적 명세를 자동으로 실행 가능하고 명세 준수 (Specification-compliant) 인 시뮬레이션으로 변환하는 최초의 오픈 소스 프레임워크를 제시했습니다.
• 엔드 - 투 - 엔드 파이프라인: OS2 명세가 구체적인 시나리오 생성과 형식적 준수 모니터링을 동시에 주도하도록 설계하여, 추상적 설계와 구체적인 AV 테스트 간의 간극을 해소했습니다.
• 다양한 시나리오 생성 및 검증: 다양한 논리적 시나리오 (추월, 차선 변경, 장애물 회피 등) 에 대해 RoadLogic 을 평가하여, 효율적이고 현실적인 시뮬레이션을 생성할 수 있음을 입증했습니다.

4. 평가 결과 (Results)

• 효율성 (RQ1): 7 가지 다른 OS2 시나리오 (추월, 차선 변경, 장애물 회피 등) 에 대해 10 개씩 총 70 개의 구체적인 시나리오를 생성했습니다. 대부분의 경우 수 분 이내에 명세를 준수하는 현실적인 시뮬레이션을 생성했으며, 생성된 모든 시나리오가 모니터링을 통과하여 명세 준수성을 입증했습니다.
• 다양성 (RQ2):
  • 기본 전략 (Base Strategy) 은 ASP 솔버의 깊이 우선 탐색 특성으로 인해 생성된 시나리오의 다양성이 낮았습니다.
  • **정제된 전략 (Refined Strategy)**을 통해 입력 파라미터를 무작위 샘플링하여 ASP 문제를 변경함으로써, 매우 높은 다양성을 가진 시나리오들을 생성할 수 있었습니다.
  • 시나리오 간 유사도 (Jaccard Index 기반) 측정을 통해 파라미터 샘플링이 다양한 행동 변형을 효과적으로 포착함을 확인했습니다.
• 성능 병목: 복잡한 기동 (예: 연속 차선 변경) 이 포함된 시나리오의 경우 ASP 계획 단계에서 계산 시간이 증가하는 경향이 있었으나, 전체 파이프라인은 여전히 실용적인 수준이었습니다.

5. 의의 및 의의 (Significance)

• 자동화된 시나리오 생성: 개발자가 수동으로 수많은 시나리오 변형을 작성할 필요 없이, 고수준 의도만 정의하면 다양한 구체적인 테스트 케이스를 자동으로 생성할 수 있어 AV 테스트의 확장성과 효율성이 크게 향상됩니다.
• 안전성 검증 강화: 생성된 시뮬레이션이 원본 명세와 일치하는지 실시간으로 모니터링함으로써, 테스트의 신뢰성을 보장합니다.
• 미지의 위험 발견: 추상적 명세에서 구체적인 실행으로 변환하는 과정에서 시나리오 의도와 다른 비정상적인 행동 (예: 추월 시 다른 차량이 차선을 변경하는 경우) 을 발견하고 이를 명세에 추가하는 등, 시스템의 안전성을 강화하는 데 기여합니다.
• 오픈 소스 생태계 기여: 기존에 존재하지 않았던 OS2 기반의 오픈 소스 테스트 도구 체인을 제공하여, 연구 및 산업계에서의 재현성과 협업을 촉진합니다.

결론적으로, RoadLogic 은 선언적 시나리오 설계와 구체적인 자율 주행 테스트 사이의 중요한 간극을 메우며, 체계적이고 자동화된 AV 검증 프로세스의 새로운 기준을 제시합니다.