[논문 리뷰] Towards a graphical language for quadrotor missions

Benjamin D. Schwartz, Ludwig Nägele외 2명|arXiv (Cornell University)|2014. 12. 05.

Robotic Path Planning Algorithms참고 문헌 3인용 수 5

한 줄 요약

이 논문은 복잡한 워크플로우, 조건부 분기, 병렬 실행을 지원하는 도메인 특화 그래픽 언어를 제안하여 비전문가 사용자가 직관적으로 미션를 설계할 수 있도록 한다. 프로토타입은 Eclipse Modeling Project를 기반으로 하며, 확장 가능하고 파ameterized된 액션을 지원하며, 코드 생성을 통해 고수준의 미션 모델을 자동으로 실행 가능한 코드로 변환할 수 있음을 입증한다.

ABSTRACT

This paper presents an approach for defining Unmanned Aerial Vehicle (UAV) missions on a high level. Current methods for UAV mission specification are evaluated and their deficiencies are analyzed. From these findings, a new graphical specification language for UAV missions is proposed, which is targeted towards typical UAV users from various domains rather than computer science experts. The research is ongoing, but a first prototype is presented.

연구 동기 및 목표

• 농업, 고고학, 인프라 모니터링와 같은 도메인에서 프로그래밍 경험이 없는 UAV 사용자를 위한 직관적이고 고수준의 미션 사양 도구의 부족을 해결하기 위해.
• 기존 도구들이 종종 전용 소프트웨어이며, 복잡한 워크플로우를 지원하지 않거나 프로그래밍 전문 지식이 필요로 하는 한계를 극복하기 위해.
• 조건부 논리, 병렬 실행, 사용자 정의 액션을 지원하는 유연하고 확장 가능하며 플랫폼에 종속되지 않는 그래픽 언어를 설계하기 위해.
• 정적 및 동적 미션 행동을 모두 지원하는 시각적 모델 기반 접근 방식을 통해 미션 사양을 정의하기 위해.
• 고수준의 그래픽 미션 모델을 실행 가능한 코드로 변환하는 프로토타입을 개발하고 평가하여 시뮬레이션 및 실제 환경 배포에 활용 가능하게 하기 위해.

제안 방법

• 저자는 Eclipse Modeling Project(EMP)를 사용하여 메타모델을 정의함으로써, GMF 프레임워크를 통해 자동으로 그래픽 에디터를 생성할 수 있는 도메인 특화 언어(DSL)를 개발하였다.
• 이 언어는 순차적, 조건부, 병렬 미션 구성 요소를 지원하며, 조건부 분기 블록이 병렬 블록에서 참일 경우에만 탈출하도록 특수한 의미 체계를 갖추고 있으며, 이는 점선으로 표시된다.
• 개발자가 새로운 액션을 상속하고 구성 가능한 매개변수(예: 해상도 및 품질 설정이 있는 'TakePicture')를 구현할 수 있도록 허용하는 슈퍼클래스 'GenericAction'을 통해 확장성을 달성한다.
• 프로토타입은 Xtend 템플릿을 사용한 코드 생성을 통해 Morse 시뮬레이터에서 실행 가능한 파이썬 코드를 생성하며, 향후 번역 템플릿을 통해 실제 쿼드로터 플랫폼과의 호환성을 확보한다.
• 시스템은 액션과 조건부 문장 간의 형식 일관성을 보장하며, 에디터 내의 프로퍼티 뷰를 통해 동적 구성도 지원한다.
• 이러한 접근은 새로운 액션을 위해 메타모델 재컴파일이 필요 없이도 하나의 개발 환경에서 미션 정의, 구성, 실행을 가능하게 하여 재컴파일이 필요 없도록 한다.

실험 결과

연구 질문

• RQ1 비전문가 사용자를 대상으로 복잡한 UAV 미션 워크플로우(조건부 분기 및 병렬 실행 포함)를 지원하는 그래픽 도메인 특화 언어를 어떻게 설계할 수 있는가?
• RQ2 핵심 메타모델을 수정하지 않고도 사용자 정의 액션을 지원하기 위해 어떤 메커니즘이 필요하는가?
• RQ3 UAV 미션을 위한 시각적 프로그래밍 환경에서 형식 안정성과 매개변수화를 어떻게 강제할 수 있는가?
• RQ4 코드 생성을 사용하는 모델 기반 접근 방식이 고수준의 그래픽 미션 사양에서 실행 가능한 실제 환경 호환 코드를 얼마나 잘 생성할 수 있는가?
• RQ5 기존의 전용 소프트웨어나 코드 기반 미션 계획 도구와 비교할 때 제안된 언어의 사용성과 표현력은 어떠한가?

주요 결과

• 프로토타입은 조건부 분기와 병렬 작업을 포함한 복잡한 UAV 미션 모델이 시각적으로 모델링되고 코드 생성을 통해 자동으로 실행 가능한 코드로 변환될 수 있음을 성공적으로 입증하였다.
• 슈퍼클래스 'GenericAction'의 사용은 메타모델 재컴파일 없이도 새로운 파ameterized 액션을 그래픽 에디터에 원활하게 통합할 수 있도록 하여 확장성을 향상시켰다.
• 병렬 블록 뒤에 오는 조건부 분기의 특수 의미 체계(참일 경우에만 병렬 블록에서 탈출)는 깔끔한 흐름 제어를 보장하며, 점선으로 시각적으로 표시된다.
• Xtend 템플릿을 사용해 Morse 시뮬레이터용 파이썬 코드를 생성한 구현은 고수준의 그래픽 모델을 실제 테스트에 활용 가능한 실행 가능한 형태로 변환할 수 있음을 확인하였다.
• 이러한 접근은 액션과 조건부 문장 간의 형식 일관성을 보장하여 런타임 오류를 줄이고 미션 실행의 신뢰성을 향상시켰다.
• 사용자 연구를 통해 그래픽 에디터의 사용성 평가를 계획하고 있으며, 웨이포인트 시각화를 위한 가상 지도 통합 등의 개선 사항을 식별할 예정이다.