[논문 리뷰] A Domain-Specific Language for Rich Motor Skill Architectures

Arne Nordmann, Sebastian Wrede|arXiv (Cornell University)|2013. 02. 26.

Model-Driven Software Engineering Techniques참고 문헌 11인용 수 7

한 줄 요약

이 논문은 유연한 로봇에서 풍부한 운동 기술 아키텍처를 모델링하기 위한 도메인 특화 언어(도메인-특화 언어, DSL)인 AMARSi를 제시한다. 이는 운동 프리미티브 기반의 적응형이고 모듈러한 제어 시스템을 공식적이고 표준화된 방식으로 기술할 수 있도록 한다. 모델 기반 개발 접근법을 통해 메타모델과 언어 모듈화를 활용함으로써, C++ 구현을 위한 자동 코드 생성을 지원하여 AMARSi 프로젝트 내 다학제적 팀 간의 비교 가능성, 재현 가능성 및 협업을 향상시킨다.

ABSTRACT

Model-driven software development is a promising way to cope with the complexity of system integration in advanced robotics, as it already demonstrated its benefits in domains with comparably challenging system integration requirements. This paper reports on work in progress in this area which aims to improve the research and experimentation process in a collaborative research project developing motor skill architectures for compliant robots. Our goal is to establish a model-driven development process throughout the project around a domain-specific language (DSL) facilitating the compact description of adaptive modular architectures for rich motor skills. Incorporating further languages for other aspects (e.g. mapping to a technical component architecture) the approach allows not only the formal description of motor skill architectures but also automated code-generation for experimentation on technical robot platforms. This paper reports on a first case study exemplifying how the developed AMARSi DSL helps to conceptualize different architectural approaches and to identify their similarities and differences.

연구 동기 및 목표

• AMARSi 프로젝트에서 다학제적 팀이 사용하는 일관성 없고 상호 운용 불가능한 표기법을 해결한다.
• 운동 프리미티브 기반의 적응형이고 모듈러한 운동 기술 아키텍처를 표준화되고 공식적이며 비교 가능한 방식으로 모델링할 수 있도록 한다.
• 도메인 특화 언어(DSL)를 통해 모델 기반 개발을 지원함으로써 실물 로봇 플랫폼을 위한 자동 코드 생성을 가능하게 한다.
• 다양한 기술적 및 개념적 접근 방식 간의 아키텍처 기술을 통합함으로써 로봇 연구의 협업과 재현 가능성을 향상시킨다.
• 특히 동적 시스템, 학습 및 적응 제어 분야에서 향후 모델 기반 개발을 위한 기반을 마련한다.

제안 방법

• 유연한 로봇 운동 제어 분야의 핵심 개념, 구조 및 제약을 식별하기 위해 기능 중심 도메인 분석(FODA)을 활용한 공식적 도메인 분석을 수행한다.
• 일반적인 소프트웨어 아키텍처 요소(예: 컴포넌트, 포트)와 도메인 특화 엔티티(예: 적응형 컴포넌트, 추적 제어기)를 모두 포괄하는 아키텍처 메타모델을 정의한다.
• 관심사 분리가 가능하도록 모듈러한 언어 아키텍처(LME&C)를 설계하며, AMARSi DSL은 고수준의 운동 제어 구조와 의미를 중점으로 한다.
• MPS 언어 워크벤치를 사용해 DSL을 구현함으로써, 모델 변환, 중간 모델 보존, CCA 및 RCI 라이브러리를 통한 C++로의 코드 생성을 가능하게 한다.
• 실행 가능한 시스템 파일과 타입이 지정된 포트, 수명 주기 후크를 포함한 CCA 컴포넌트 하울을 생성하며, 이는 온라인 및 오프라인 학습 모두를 지원한다.
• Graph DSL을 사용해 GraphML 기반으로 시스템 아키텍처를 시각화함으로써, 다양한 아키텍처 블루프린트 간의 비교 분석을 가능하게 한다.

실험 결과

연구 질문

• RQ1 도메인 특화 언어는 다학제적 로봇 연구 프로젝트에서 운동 제어 아키텍처 설계의 비교 가능성과 표준화를 어떻게 향상시킬 수 있는가?
• RQ2 DSL을 활용한 모델 기반 개발 접근법은 운동 기술 아키텍처 연구에서 복잡성 감소와 재현 가능성 향상에 얼마나 기여하는가?
• RQ3 모듈러한 DSL 아키텍처는 시스템 구조, 데이터 유형, 배포 구성과 같은 관심사를 효과적으로 분리하면서도 자동 코드 생성을 가능하게 할 수 있는가?
• RQ4 통합된 DSL의 사용은 다양한 운동 제어 아키텍처 간의 공통 패턴과 구조적 차이를 어떻게 식별하는 데 기여하는가?
• RQ5 중간 모델 보존은 개발 파이프라인 중 전문가가 생성된 모델의 기술적 세부 사항을 점진적으로 개선하는 데 어떤 역할을 하는가?

주요 결과

• AMARSi DSL은 AMARSi 프로젝트에서 유래한 네 가지의 서로 다른 운동 제어 아키텍처 블루프린트를 공식적이고 표준화된 방식으로 표현함으로써 직접 비교 가능하게 했다.
• DSL 기반 접근법은 아키텍처 간의 구조적 유사성과 차이를 드러내었으며, 이는 이전에는 이질적인 표기법으로 인해 가려져 있었던 공통의 적응형 컴포넌트와 공간의 사용과 같은 요소들을 명확히 하였다.
• AMARSi DSL에서의 자동 코드 생성은 실행 가능한 C++ 코드와 CCA 컴포넌트 하울을 생성하였으며, 학습 후크 기능까지 포함하여 기술적 타당성을 입증하였다.
• MPS 워크벤치에서 중간 모델를 활용함으로써 전문가가 고수준의 아키텍처 의도를 손상시키지 않고도 배포, 시각화 등의 기술적 세부 사항을 점진적으로 개선할 수 있었다.
• DSL 기반 모델 기반 개발 파이프라인은 통일된 용어와 아키텍처를 통해 다학제적 연구자 간의 협업과 개념적 일치를 크게 향상시켰다.
• 이 접근법은 확장 가능하고 확장 가능하며, 향후 더 넓은 범위의 로봇 시스템에서의 재사용을 위해 별도의 로봇 데이터 유형 DSL을 추출할 계획이다.