[논문 리뷰] MontiArcAutomaton: Modeling Architecture and Behavior of Robotic Systems

Jan Oliver Ringert, Bernhard Rumpe⋆외 1명|arXiv (Cornell University)|2014. 09. 08.

Advanced Software Engineering Methodologies참고 문헌 8인용 수 10

한 줄 요약

MontiArcAutomaton는 구성요소-연결점 원칙을 사용하여 아키텍처 및 행동 모델링을 통합하는 플랫폼에 종속되지 않는 모델링 프레임워크를 제공한다. 코드 생성 및 런타임까지 봉인 및 분해 원칙을 확장함으로써 다양한 플랫폼에서 재사용 가능하고 이식 가능한 로봇 응용 프로그램을 가능하게 하여 개발 효율성을 크게 향상시키고 플랫폼 특화 결합도를 감소시킨다.

ABSTRACT

Robotics poses a challenge for software engineering as the vast numbers of different robot platforms impose different requirements on robot control architectures. The platform dependent development of robotic applications impedes reusability and portability. The lack of reusability hampers broad propagation of robotics applications. The MontiArcAutomaton architecture and behavior modeling framework provides an integrated, platform independent structure and behavior modeling language with an extensible code generation framework. MontiArcAutomaton's central concept is encapsulation and decomposition known from Component & Connector Architecture Description Languages. This concept is extended from the modeling language to the code generation and target runtime framework to bridge the gap of platform specific and independent implementations along well designed interfaces. This facilitates the reuse of robot applications and makes their development more efficient.

연구 동기 및 목표

• 재사용성과 이식성을 제한하는 플랫폼 특화 로봇 소프트웨어 개발 문제를 해결한다.
• 로봇 시스템에서 아키텍처 모델링과 행동 모델링을 원활하게 통합한다.
• 기본 로봇 플랫폼에 종속되지 않는 통합된 모델링 언어와 코드 생성 프레임워크를 제공한다.
• 플랫폼에 종속되지 않는 모델과 플랫폼 특화 구현 간의 의미론적 및 구조적 격차를 메운다.
• 모듈화된 구성요소 기반 설계 원칙을 통해 효율적이고 확장 가능하며 유지보수 가능한 로봇 응용 프로그램 개발을 촉진한다.

제안 방법

• 시스템 구조 모델링의 기초로 구성요소-연결점(C&C) 아키텍처 기술 언어를 채택한다.
• 모델링에서 코드 생성 및 런타임 실행까지 봉인 및 분해 원칙을 확장한다.
• 다양한 플랫폼 간에 아키텍처 의미를 유지하는 공식화된 모델-코드 변환 파이프라인을 도입한다.
• 고수준 모델을 대상 플랫폼 특화 구현으로 매핑하는 확장 가능한 코드 생성 프레임워크를 설계한다.
• 플랫폼에 종속되지 않는 잘 정의된 인터페이스를 정의하여 아키텍처 모델과 저수준 플랫폼 의존성 간의 분리 구조를 확보한다.
• 구조적 모델링과 행동 모델링을 통합하여 단일 프레임워크 내에서 전체 스택 시스템 사양을 지원한다.

실험 결과

연구 질문

• RQ1 어떻게 하면 플랫폼 독립성과 재사용성을 보장하면서 로봇 시스템 아키텍처와 행동을 모델링할 수 있는가?
• RQ2 구성요소-연결점 원칙을 모델링에서 코드 생성 및 런타임 실행까지 얼마나 효과적으로 확장할 수 있는가?
• RQ3 어떤 메커니즘이 단일 고수준 모델에서 다양한 플랫폼 특화 구현으로의 원활한 매핑을 가능하게 하는가?
• RQ4 이 프레임워크는 플랫폼 특화 코드와 플랫폼에 종속되지 않는 시스템 로직 간의 결합도를 어떻게 감소시키는가?
• RQ5 아키텍처 모델링과 행동 모델링의 통합은 로봇 응용 프로그램의 유지보수성과 확장성 향상에 기여하는가?

주요 결과

• MontiArcAutomaton는 단일 통합 모델링 언어를 통해 시스템 아키텍처와 행동을 성공적으로 사양화할 수 있다.
• 명확히 정의된 인터페이스를 통해 아키텍처 모델을 실행 구현 세부 정보에서 분리함으로써 프레임워크는 플랫폼 독립성을 달성한다.
• 코드 생성은 완전히 자동화되고 확장 가능하며, 일관된 의미론적 동작을 보장하는 다수의 대상 플랫폼을 지원한다.
• 모델링, 생성, 런타임 전반에 걸쳐 봉인 및 분해 원칙을 적용함으로써 로봇 구성요소의 모듈성과 재사용성이 향상된다.
• 플랫폼 특화 프로그래밍을 최소화함으로써 개발 오버헤드를 감소시켜 유지보수성과 확장성을 향상시킨다.
• 프레임워크는 ICRA 2013에서 실제 로봇 환경에서 검증되었으며, 산업 및 학술 분야에서의 실현 가능성과 실용성을 입증했다.