[論文レビュー] On reverse-engineering the KUKA Robot Language

Henrik Mühe, Andreas Angerer+2 more|arXiv (Cornell University)|Sep 25, 2010

Embedded Systems Design Techniques参考文献 8被引用数 24

ひとこと要約

本論文では、拡張可能なロボティクスAPI上に、KUKAロボット言語（KRL）のリバースエンジニアリングによる実装を提示しており、レガシーなKRLコードの実行を可能にするとともに、汎用言語の柔軟性と安全性を活用している。2つのインタプリタ—木構造ベースとバイトコードベース—を設計したが、後者はJavaで最大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と汎用ロボティクスAPIとの間の意味的ギャップを埋めつつ、モーションコマンドのリアルタイム動作を保持する。
• 並列処理、インテอรープト、トリガーといった主要機能をサポートする、軽量で拡張可能なKRLの実装を開発する。
• 実行速度と拡張性の観点から、木構造ベースとバイトコードベースの2つの異なる解釈アプローチを評価・比較する。
• KRLにマルチロボット同期や複雑なトリガー論理といった新機能を拡張する基盤を構築する。

提案手法

• KUKA.OfficeLiteを用いた文書と実行時テストを活用し、KRLの文法をリバースエンジニアリングして構文と意味を再構築した。
• 抽象構文木（AST）を対象とする木構造ベースのインタプリタを設計し、豊富なデバッグ機能と拡張性を実現した。
• KRLをコンactでキャッシュフレンドリーな命令セットにコンパイルするバイトコードベースのインタプリタを実装した。
• 両インタプリタをロボティクスAPIに統合し、KRLコマンド（例：モーション、I/O）を実際のロボットコントローラ操作にマッピングした。
• スタックベースのスレッドモデルを用いて、KRLのインテอรープトおよびトリガー機構をエミュレートし、明示的なスレッド停止を伴わずに並列実行をサポートした。
• 標準的なKRLベンチマークを用いて、Windows、Linux、macOSの各プラットフォームで、Javaベースの木構造インタプリタとバイトコードインタプリタの実行速度を比較した。

実験結果

リサーチクエスチョン

• RQ1 公式マニュアルと実行時実験のみを用いて、KUKAロボット言語（KRL）を正確にリバースエンジニアリングできるか？
• RQ2 KRLプログラムの実行において、木構造ベースとバイトコードベースのインタプリタは、実行速度と保守性の観点でどのように比較できるか？
• RQ3 とりわけKRLの並列処理モデルに関して、一般用途のAPI（例：ロボティクスAPI）上にその意味的特性を忠実にエミュレートできる範囲はどの程度か？
• RQ4 現代的で拡張可能なソフトウェアアーキテクチャを用いて、効率的かつ安全にレガシーKRLコードを実行できるか？
• RQ5 リアルタイムロボット制御をターゲットとした場合、解釈アプローチの間で生じる性能的トレードオフは何か？

主な発見

• Javaでのバイトコードインタプリタは、全テストプラットフォーム（Windows、Linux、macOS）で木構造ベースのインタプリタと比較して約6倍の高速実行を達成した。
• C言語で最適化されたバイトコードインタプリタプロトタイプは、Javaベースの木構造インタプリタと比較して最大300倍の高速性能を示し、低レベルコンパイルによる顕著な性能向上を実証した。
• 公式マニュアルと実行時実験のみを用いて、リバースエンジニアリングされたKRL文法が正常に再構築された。これは、ソースコードにアクセスできない状況下でも言語リバースエンジニアリングが可能であることを証明した。
• ロボティクスAPIは、ロボット固有の操作（例：モーション、I/O）を効果的に抽象化し、異なるコントローラー間で安全かつポータブルにKRLプログラムを実行可能にした。
• スタックベースのスレッドモデルは、KRLのインテอรープトおよびトリガー動作を正しくエミュレートでき、明示的な同期プリミティブを用いずにネストされた並列実行をサポートした。
• 両インタプリタは拡張可能に設計されており、今後の複雑なトリガーの統合やマルチロボット連携機能の導入が可能である。