[논문 리뷰] Model-driven engineering approach to design and implementation of robot control system

Piotr Trojanek|arXiv (Cornell University)|2013. 02. 20.

Model-Driven Software Engineering Techniques참고 문헌 10인용 수 13

한 줄 요약

이 논문은 도메인 특화 모델링 언어(DSML)를 사용하여 서브섬션 아키텍처를 위한 로봇 제어 시스템을 설계하고 구현하기 위한 모델 기반 공학(MDE) 접근법을 제시한다. 이방식으로, Eclipse Modeling Framework(EMF)를 통해 메타모델, 그래픽적 표기법, 코드 생성기를 정의함으로써, Lego Mindstorms NXT와 같은 임베디드 플랫폼에 적합한 컴act하고 효율적인 Ada 코드를 자동 생성함을 입증하였다. 이로 인해 실행 파일 크기는 50kB에 불과했으며, 최소한의 오버헤드를 기록하였다.

ABSTRACT

In this paper we apply a model-driven engineering approach to designing domain-specific solutions for robot control system development. We present a case study of the complete process, including identification of the domain meta-model, graphical notation definition and source code generation for subsumption architecture -- a well-known example of robot control architecture. Our goal is to show that both the definition of the robot-control architecture and its supporting tools fits well into the typical workflow of model-driven engineering development.

연구 동기 및 목표

• 로봇 제어 아키텍처 설계에 있어 체계적인 공학적 접근의 부족으로 인해 여전히 주로 경험 기반 및 예술적 접근 방식을 취하고 있는 문제를 해결하기 위해.
• 로봇 제어 시스템을 위한 공식적이고 재사용 가능하며 도구 지원이 되는 개발 프로세스를 구축하기 위해 모델 기반 공학(MDE) 원칙을 적용하기 위해.
• 로봇 제어 논리의 고수준 명세 및 자동 코드 생성을 위해 도메인 특화 모델링 언어(DSML)의 타당성과 이점을 입증하기 위해.
• 모델 변환을 통해 아키텍처 설계를 저수준 프로그래밍 코드에서 분리함으로써 구현 복잡성을 줄이고 이식성을 향상시키기 위해.
• EMF 기반 도구를 사용해 로봇 제어 시스템을 위한 완전하고 통합된 개발 환경(IDE)을 제공하기 위해.

제안 방법

• EMF의 핵심 모델링 프레임워크인 Ecore를 사용해 서브섬션 아키텍처를 위한 도메인 특화 메타모델을 정의함으로써 제어 모듈과 그 상호작용을 공식화하기 위해.
• 개발자들이 이해하기 쉽게 하기 위해 UML 클래스 다이어그램 관례를 기반으로 한 그래픽적 표기법을 설계하기 위해.
• 모델의 타당성과 의미적 정확성을 보장하기 위해 객체 제약 언어(OCL)를 사용해 제약 조건을 명시하기 위해.
• 실시간 임베디드 시스템을 대상으로 하여 서브섬션 모듈의 Ada 소스 코드 스켈레톤을 생성하기 위해 모델에서 텍스트로의 변환을 구현하기 위해.
• EMF 스타리팅 도구를 사용해 단일 IDE 내에서 편집기, 검증기, 코드 생성기를 포함한 완전한 툴체인을 구축하기 위해.
• Lego Mindstorms NXT 플랫폼에서의 평가를 통해 실행 파일 크기가 50kB에 불과하며, 최소한의 런타임 프로필을 기록함으로써 성능 최적화를 입증하기 위해.

실험 결과

연구 질문

• RQ1 모델 기반 공학이 로봇 제어 시스템의 설계 및 구현에 효과적으로 적용될 수 있는가?
• RQ2 반응형 로봇 제어 아키텍처인 서브섬션의 의미를 포괄할 수 있도록 도메인 특화 모델링 언어(DSML)를 어떻게 구성할 수 있는가?
• RQ3 모델에서 텍스트로의 변환을 통해 임베디드 로봇 플랫폼에 적합한 컴act하고 효율적이며 정확한 저수준 코드를 어느 정도 생성할 수 있는가?
• RQ4 메타모델링, 표기법, 검증, 코드 생성을 하나의 툴체인에 통합함으로써 개발 생산성 향상과 오류 감소에 기여할 수 있는가?
• RQ5 실제 임베디드 시스템인 Lego Mindstorms NXT에서 생성된 코드의 실용적 타당성과 성능 오버헤드는 어느 정도인가?

주요 결과

• 제안된 MDE 접근법은 자원 제약이 있는 Lego Mindstorms NXT 플랫폼에서 서브섬션 아키텍처용 50kB 실행 파일을 자동 생성하는 데 성공하였다.
• 형식화된 메타모델과 OCL 제약 조건의 사용으로 모델 일관성이 확보되어 설계 단계에서의 오류가 감소하였다.
• UML 클래스 다이어그램을 기반으로 한 그래픽적 표기법이 개발자들이 제어 아키텍처를 더 쉽게 이해하고 읽을 수 있도록 했다.
• 모델 편집기, 검증기, 코드 생성기를 포함한 완전한 툴체인이 EMF 및 그 보조 프로젝트를 사용해 구현되었으며, 종단 간 도구 통합을 입증하였다.
• 생성된 코드는 컴act하고 효율적이며 실시간 임베디드 환경에서 실행하기에 적합한 최소한의 아키텍처 프로필을 기록하였다.
• 소스 코드와 모델링 자료는 GitHub에 공개되어 있어 향후 프레임워크의 재사용과 확장이 가능하다.