자동화된 가상 ECU 트윈으로 앞당기는 자동차 소프트웨어 테스트

초록

본 논문은 InnoRegioChallenge 프로젝트에서 개발한 프로토타입을 통해, ARMv8 기반 ECU의 CPU를 SystemC/TLM‑2.0으로 자동 생성하고, GDB‑연동 차동 테스트를 이용해 명령어‑정확성을 반복적으로 교정하는 방법을 제시한다. 결과적으로 하드웨어‑인‑더‑루프(HIL) 단계 이전에 실제 바이너리를 실행할 수 있는 가상 ECU 트윈을 구현함으로써, 조기 통합·회귀·안전 검증을 가능하게 한다.

상세 분석

이 논문은 자동차 전자제어장치(ECU)의 하드웨어 부족 문제를 해결하기 위한 “Shift‑Left” 접근법을 구체화한다. 핵심 아이디어는 물리적 ECU가 도착하기 전에 실제 실행 파일을 구동할 수 있는 가상 ECU(vECU)를 자동으로 생성·정밀화하는 것이다. 이를 위해 저자는 두 개의 피드백 루프를 설계하였다. 루프 A는 시스템 사양서(레지스터 맵, 메모리 맵, 통신 프로토콜 등)와 선택적인 AUTOSAR 메타데이터를 입력으로, LLM 기반 코드 생성 에이전트를 활용해 초기 SystemC/TLM‑2.0 모델을 자동 합성한다. 루프 B는 생성된 모델을 ARMv8 레퍼런스 시뮬레이터와 GDB 인터페이스를 통해 동기화하고, 명령어 실행 전·후의 레지스터·플래그 상태, 버스 트랜잭션, 타이밍 오차 등을 정량화한다. 차이점이 발견되면 피드백 점수가 계산되어 루프 A에 전달되고, 코드 생성 에이전트는 해당 오류 패턴을 학습해 모델을 수정한다. 이 과정은 “generate‑evaluate‑revise” 사이클을 반복함으로써 명령어‑정확성(instruction‑accurate)과 타이밍‑근사성을 동시에 확보한다.

특히 CPU 모델링에 QEMU의 Tiny Code Generator(TCG)를 직접 활용하기보다는, SystemC 내부에 순수 C++ 기반 명령어 디코더와 파이프라인을 구현한다는 점이 눈에 띈다. 이는 기존 하이브리드 방식( QEMU + SystemC)에서 발생하는 동기화 오버헤드를 최소화하고, GDB를 통한 상태 추출을 표준화함으로써 자동화 수준을 크게 높인다. 차동 테스트는 “레지스터/플래그 델타”, “버스 트랜잭션 차이”, “타이밍 편차” 등 다차원 메트릭을 사용해 정량화되며, 이러한 메트릭은 단순히 기능적 일치 여부를 넘어 ISO 26262에서 요구하는 결정론적 재현성을 검증한다.

실험 결과는 제한된 ARMv8 서브셋(예: MOV, CMP, 기본 산술·논리 연산)에서 100 % 일치율을 달성했으며, 반복 교정 과정을 거칠수록 트레이스 편차가 급격히 감소한다는 점을 보여준다. 또한 비침투형 트레이싱 및 결함 주입(fault‑injection) 프레임워크와의 연동이 가능함을 시연함으로써, 안전성 분석 파이프라인에 바로 투입할 수 있는 기반을 마련한다. 다만 주변 주변장치(타이머, 전원 관리, 통신 컨트롤러 등)의 모델링은 아직 초기 단계이며, 시스템‑레벨 타이밍 정확도 확보를 위해서는 추가적인 하드웨어‑인‑더‑루프 검증이 필요하다.

성능 측면에서는 표준 SystemC 커널이 단일 스레드로 동작하기 때문에, 다코어 SoC를 모델링할 경우 호스트 CPU의 활용도가 제한된다. 저자는 PDES 기반 병렬 시뮬레이션, 멀티프로세스 코-시뮬레이션, 혹은 C++ 네이티브 스레드와 OpenMP를 활용한 하이브리드 접근법을 제안하며, 향후 상용 툴체인과 클라우드 기반 멀티테넌시 지원을 목표로 한다.

결론적으로, 이 연구는 “자동 생성 + 자동 교정”이라는 데이터‑드리븐 워크플로우를 통해 ECU 수준의 가상 트윈을 빠르게 프로비저닝하고, 하드웨어 의존성을 크게 낮추는 실용적인 방법론을 제시한다. 이는 자동차 소프트웨어 개발 주기를 단축하고, 안전 인증 단계에서 요구되는 증거 자료를 조기에 확보하는 데 기여한다.