[논문 리뷰] A Formal Approach to the Co-Design of Embodied Intelligence.

Gioele Zardini, Dejan Milojevic외 2명|arXiv (Cornell University)|2020. 11. 21.

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 제안된 방법이 자율 주행 차량과 같은 실세계 응용 분야에 대해 실현 가능하고 행동 중심의 시스템 설계를 생성할 수 있는가?

주요 결과

• 제안된 단조 공설계 이론은 하드웨어에서 소프트웨어에 이르기까지 몸체 지능 시스템을 통합적이고 형식적으로 공설계할 수 있는 방법을 제공한다.
• 프레임워크는 이질적 공학 분야를 성공적으로 통합하여 분석적 및 시뮬레이션 기반 모델링 기법을 모두 지원한다.
• 사례 연구를 통해 이론은 전체 시스템 스택에 걸쳐 자율 주행 차량에 대해 파레토 효율적인 해를 계산하였다.
• 이 방법은 행동 중심 설계를 지원하며, 희망하는 시스템 행동이 공설계 과정을 이끈다.
• 시스템 구성 요소와 제약 조건에 대한 공통의 형식 언어를 제공함으로써 다학제적 협업을 촉진한다.
• 결과는 형식적 보장이 있는 전체 시스템 공설계의 가능성을 입증하며, 효율성과 상호 교환 관계 탐색에 대한 보장이 있다.