[논문 리뷰] On reverse-engineering the KUKA Robot Language

Henrik Mühe, Andreas Angerer외 2명|arXiv (Cornell University)|2010. 09. 25.

Embedded Systems Design Techniques참고 문헌 8인용 수 24

한 줄 요약

이 논문은 확장 가능한 로봇 프로그래밍 인터페이스(Robotics API) 기반으로 KUKA 로봇 언어(KRL)의 역설계 구현을 제시하며, 기존 KRL 코드 실행을 가능하게 하면서도 일반 목적의 프로그래밍 언어의 유연성과 안정성을 활용한다. 트리 기반과 바이트코드 기반 두 가지 인터프리터를 개발하였으며, 후자는 자바에서 최대 6배, C에서 최대 300배 빠른 실행 속도를 기록하여 산업용 로봇을 위한 효율적이고 확장 가능한 KRL 실행 환경을 입증한다.

ABSTRACT

Most commercial manufacturers of industrial robots require their robots to be programmed in a proprietary language tailored to the domain - a typical domain-specific language (DSL). However, these languages oftentimes suffer from shortcomings such as controller-specific design, limited expressiveness and a lack of extensibility. For that reason, we developed the extensible Robotics API for programming industrial robots on top of a general-purpose language. Although being a very flexible approach to programming industrial robots, a fully-fledged language can be too complex for simple tasks. Additionally, legacy support for code written in the original DSL has to be maintained. For these reasons, we present a lightweight implementation of a typical robotic DSL, the KUKA Robot Language (KRL), on top of our Robotics API. This work deals with the challenges in reverse-engineering the language and mapping its specifics to the Robotics API. We introduce two different approaches of interpreting and executing KRL programs: tree-based and bytecode-based interpretation.

연구 동기 및 목표

• 현대적이고 확장 가능한 소프트웨어 아키텍처에서 기존 KUKA 로봇 언어(KRL) 프로그램의 실행을 가능하게 하기 위해.
• 특정 전용 KRL과 일반 목적의 로봇 프로그래밍 인터페이스 간의 의미적 격차를 해소하면서도, 동작 명령어의 실시간 동작을 유지하기 위해.
• 병렬 처리, 인터럽트, 트리거와 같은 핵심 기능을 지원하는 경량이고 확장 가능한 KRL의 구현을 개발하기 위해.
• 성능 및 확장성 측면에서 트리 기반과 바이트코드 기반의 두 가지 다른 해석 방식을 평가하고 비교하기 위해.
• 다중 로봇 동기화 및 복잡한 트리거 논리와 같은 신규 기능을 KRL에 추가하기 위한 기반을 마련하기 위해.

제안 방법

• 공식 문서와 KUKA.OfficeLite를 활용한 실시간 실험을 통해 KRL 문법을 역설계하여 구문과 의미를 재구성하였다.
• 추상 구문 트리(Abstract Syntax Tree, AST)를 기반으로 작동하는 트리 기반 인터프리터를 설계하여 풍부한 디버깅 기능과 확장성을 확보하였다.
• KRL을 압축되고 캐시 우수한 명령어 집합으로 컴iles하는 바이트코드 기반 인터프리터를 구현하여 더 빠른 실행 성능를 확보하였다.
• 두 인터프리터를 로봇 프로그래밍 인터페이스에 통합하여 KRL 명령어(예: 동작, I/O)를 실제 로봇 제어기 동작으로 매핑하였다.
• 스택 기반 스레드 모델을 사용하여 KRL의 인터럽트 및 트리거 메커니즘을 모방하였으며, 명시적 스레드 정지 없이도 동시 실행을 지원하였다.
• 표준 KRL 벤치마크를 사용하여 다양한 플랫폼에서 성능을 측정하고, 자바 기반 트리 기반 인터프리터와 바이트코드 기반 인터프리터 간의 실행 속도를 비교하였다.

실험 결과

연구 질문

• RQ1 공식 문서와 런타임 실험만을 사용하여 KUKA 로봇 언어(KRL)를 정확히 역설계할 수 있는가?
• RQ2 KRL 프로그램을 실행할 때 트리 기반과 바이트코드 기반 인터프리터의 성능 및 유지보수성은 어떻게 비교되는가?
• RQ3 특히 병렬 처리 모델 측면에서 KRL의 의미 체계가 일반 목적의 API인 로봇 프로그래밍 인터페이스 위에서 충실하게 모방될 수 있는 정도는 어느 정도인가?
• RQ4 기존 KRL 코드는 현대적이고 확장 가능한 소프트웨어 아키텍처를 통해 효율적이고 안전하게 실행될 수 있는가?
• RQ5 실시간 로봇 제어를 대상으로 할 때 해석 방식 간의 성능 상충 관계는 어떠한가?

주요 결과

• 자바 기반 바이트코드 인터프리터가 모든 테스트 플랫폼(Windows, Linux, macOS)에서 트리 기반 인터프리터 대비 약 6배 더 빠른 실행 속도를 기록하였다.
• C로 최적화된 바이트코드 인터프리터 프로토타입이 자바 기반 트리 인터프리터 대비 최대 300배 빠른 성능을 기록하여 저수준 컴파일링을 통한 뚜렷한 성능 향상을 입증하였다.
• 공식 매뉴얼과 런타임 실험만을 사용하여도 KRL의 역설계된 문법이 성공적으로 재구성되었으며, 소스 코드 접근 없이도 언어 역설계의 가능성을 입증하였다.
• 로봇 프로그래밍 인터페이스는 로봇 전용 동작(예: 동작, I/O)을 성공적으로 추상화하여, 다양한 제어기 간에 안전하고 이식 가능한 KRL 프로그램 실행을 가능하게 하였다.
• 스택 기반 스레드 모델은 KRL의 인터럽트 및 트리거 동작을 정확히 모방하였으며, 명시적 동기화 기법 없이도 중첩 및 동시 실행을 지원하였다.
• 인터프리터는 확장 가능하도록 설계되어 향후 복잡한 트리거 및 다중 로봇 조율 기능과 같은 새로운 KRL 기능의 통합이 가능하다.