[論文レビュー] A Formal Approach to the Co-Design of Embodied Intelligence.

Gioele Zardini, Dejan Milojevic+2 more|arXiv (Cornell University)|Nov 21, 2020

Model-Driven Software Engineering Techniques被引用数 6

ひとこと要約

本論文は、自己走行車などのエンベデッドインテリジェンスシステムにおけるハードウェアおよびソフトウェア部品の統合を目的とした形式的で単調な共同設計理論を提案する。多様な工学分野を解析的およびシミュレーションベースのモデリングによって統合することで、システム全体のスタックにわたりパレート効率的解を計算するフレームワークを構築し、包括的で多分野にわたる設計最適化を可能にする。

ABSTRACT

We consider the problem of formally co-designing embodied intelligence as a whole, from hardware components such as chassis and sensors to software modules such as control and perception pipelines. We propose a principled approach to formulate and solve complex embodied intelligence co-design problems, leveraging a monotone co-design theory. The methods we propose are intuitive and integrate heterogeneous engineering disciplines, allowing analytical and simulation-based modeling techniques and enabling interdisciplinarity. We illustrate through a case study how, given a set of desired behaviors, our framework is able to compute Pareto efficient solutions for the entire hardware and software stack of a self-driving vehicle.

研究の動機と目的

• 複雑なエンベデッドインテリジェンスシステムを設計する課題に、統一されたフレームワーク内でハードウェアとソフトウェア部品を共同最適化することで対処すること。
• ハードウェアとソフトウェアを別々の設計空間として扱う伝統的な分離型設計手法の限界を克服すること。
• 機械的、電気的、制御、センシング工学分野を、原則に則った形で統合的に統合すること。
• 解析的モデリングとシミュレーションベースの手法の両方をサポートする形式的メソッドの開発。
• 望ましいシステム動作を達成するために、ハードウェアおよびソフトウェアスタック全体にわたりパレート効率的解を計算すること。

提案手法

• 本論文は、共同設計問題のモデリングと解決のための基礎的数学的枠組みとして、単調共同設計理論を導入する。
• 共同設計問題を、シャシー、センサー、制御アルゴリズム、認識パイプラインを含む統合設計空間上の制約付き最適化タスクとして定式化する。
• 解析的およびシミュレーションベースの異種モデリング手法を、統一された形式的枠組み内に統合することで、多分野連携を支援する。
• フレームワークは、システム全体のスタックにわたるトレードオフを体系的に探索することで、パレート効率的解の計算を可能にする。
• 事例研究により、自己走行車へのこの手法の適用が示され、望ましい動作が共同設計プロセスを導く。
• 形式化された設計制約と性能指標を通じて、システム設計の段階的精錬と検証を支援する。

実験結果

リサーチクエスチョン

• RQ1 エンベデッドインテリジェンスシステムのハードウェアとソフトウェア部品を、形式的で原則に裏付けられた方法でどのように共同設計できるか。
• RQ2 複雑なシステムの共同設計において、多様な工学分野を統合するのを可能にする数学的枠組みは何か。
• RQ3 パレート効率的解を、ハードウェアおよびソフトウェアスタック全体にわたり体系的にどのように計算できるか。
• RQ4 統一された形式的枠組みは、共同設計において解析的およびシミュレーションベースのモデリングをどの程度サポートできるか。
• RQ5 提案手法は、自律走行車のような実世界の応用分野において、実現可能で動作駆動型のシステム設計を生成できるか。

主な発見

• 提案された単調共同設計理論は、ハードウェアからソフトウェアまで、エンベデッドインテリジェンスシステムの統一的で形式的な共同設計アプローチを可能にする。
• フレームワークは、異種工学分野の統合に成功し、解析的およびシミュレーションベースのモデリング手法の両方を支援する。
• 事例研究を通じて、自己走行車のシステムスタック全体にわたり、パレート効率的解が計算された。
• 本アプローチは動作駆動型設計を支援し、望ましいシステム動作が共同設計プロセスを導く。
• システム部品と制約の共通の形式的言語を提供することで、多分野連携を促進する。
• 結果は、解の効率性とトレードオフの探索に関する形式的保証を伴う包括的システム共同設計の実現可能性を示している。