[논문 리뷰] Towards Quality of Service and Resource Aware Robotic Systems through Model-Driven Software Development

Andreas Steck, Christian Schlegel|arXiv (Cornell University)|2010. 09. 24.

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

한 줄 요약

이 논문은 도메인 특화 메타모델을 사용하여 서비스 수준의 품질(QoS) 및 자원 제약 조건을 명시적으로 모델링하는 모델 기반 소프트웨어 개발 방법을 제안한다. Eclipse 기반 툴체인을 활용하여 모델 변환, 코드 생성 및 설계 시 분석(예: 스케줄러블리티 검사)을 수행함으로써, 비기능적 특성의 체계적인 관리를 가능하게 하여 서비스 로봇에서의 재사용성, 자원 인지 능력 및 런타임 적응성 향상을 도모한다.

ABSTRACT

Engineering the software development process in robotics is one of the basic necessities towards industrial-strength service robotic systems. A major challenge is to make the step from code-driven to model-driven systems. This is essential to replace hand-crafted single-unit systems by systems composed out of components with explicitly stated properties. Furthermore, this fosters reuse by separating robotics knowledge from short-cycled implementational technologies. Altogether, this is one but important step towards "able" robots. This paper reports on a model-driven development process for robotic systems. The process consists of a robotics metamodel with first explications of non-functional properties. A model-driven toolchain based on Eclipse provides the model transformation and code generation steps. It also provides design time analysis of resource parameters (e.g. schedulability analysis of realtime tasks) as a first step towards overall resource awareness in the development of integrated robotic systems. The overall approach is underpinned by several real world scenarios.

연구 동기 및 목표

• 로봇 소프트웨어 개발에서 반응 시간 및 자원 사용량과 같은 비기능적 특성의 체계적인 처리 부족을 해결한다.
• 로봇 분야에서의 즉흥적이고 코드 중심의 개발 방식을 모델 기반 공 ing(모델 기반 엔지니어링, MDE)으로 대체한다.
• 로봇 논리와 저수준 구현 세부 사항을 분리하여 재사용성 및 유지보수성을 향상시킨다.
• 설계 및 배포 시 QoS 및 자원 파rameter를 명시적으로 하여 런타임 동적 적응을 지원한다.
• 실시간 컴포넌트를 대상으로 스케줄러블리티 및 자원 제약 조건 검증과 같은 설계 시 분석 기능을 제공한다.

제안 방법

• 최악의 실행 시간(WCET) 및 주기와 같은 비기능적 특성을 명시적으로 포함한 플랫폼 독립적 모델(PIM)을 캡처하는 로봇 전용 메타모델(SmartMARS)을 정의한다.
• 모델 변환, 코드 생성 및 검증을 위한 Eclipse 및 OAW 프레임워크 기반의 모델 기반 툴체인을 구현한다.
• 특정 실행 플랫폼(예: RTAI-Linux, CORBA)을 대상으로 하는 플랫폼 전용 모델(PSM)을 사용하여, 구현 복잡성을 추상화한다.
• isRealtime 속성과 플랫폼 기능에 기반한 조건부 변환 규칙을 활용하여 실시간 및 비실시간 작업 매핑을 지원한다.
• 기존 라이브러리(예: OpenRAVE, Player/Stage, OpenCV)를 생성된 인터페이스와 사용자 정의 코드 제약 조건를 통해 컴포넌트 헐에 통합한다.
• 컴포넌트를 프로세서 및 통신 버스에 매핑하는 배포 모델링을 지원하여 자원 제약 조건 및 시스템 동작 분석을 가능하게 한다.

실험 결과

연구 질문

• RQ1 로봇 소프트웨어 시스템에서 반응 시간 및 자원 소비와 같은 비기능적 특성을 체계적으로 모델링하고 관리할 수 있는 방법은 무엇인가?
• RQ2 모델 기반 개발이 서비스 로봇에서 재사용성, 유지보수성 및 품질 향상에 얼마나 기여할 수 있는가?
• RQ3 QoS 및 자원 제약 조건(예: 스케줄러블리티)의 설계 시 분석이 로봇 소프트웨어 개발 생애주기 내에 효과적으로 통합될 수 있는가?
• RQ4 명시적인 QoS 및 자원 메타데이터를 기반으로 구성 기반 로봇 시스템을 런타임에서 어떻게 동적으로 적응시킬 수 있는가?
• RQ5 표준화된 모델링 언어(UML, MARTE)와 툴체인을 사용하여 임베디드 로봇 시스템의 체계적 개발이 가능한가?

주요 결과

• 모델 기반 접근법을 통해 메타모델 내에서 최악의 실행 시간(WCET) 및 작업 주기와 같은 비기능적 특성의 명시적 기술이 성공적으로 구현되었다.
• 툴체인은 PIM에서 PSM으로의 자동 코드 생성 및 변환을 지원하여 구현 오류를 감소시키고 개발 속도를 가속화한다.
• 설계 시 스케줄러블리티 분석은 배포 모델을 CHEDDAR 전용 분석 모델로 변환함으로써 형식적 검증이 가능하다는 것이 입증되었다.
• 기존 라이브러리(예: GMapping, MRPT, OpenCV)는 수정 없이도 컴포넌트 헐에 성공적으로 통합되어 재사용성의 가능성을 입증했다.
• 이 접근법은 런타임 동적 적응을 지원한다: 하드 실시간 지원이 없는 플랫폼이 발견되면 툴체인이 이를 탐지하고 경고를 출력한다.
• 실제 사례인 RoboCup@Home(예: 'Follow Me', 'Shopping Mall')가 모델 기반 컴포넌트 프레임워크를 사용하여 성공적으로 구현되었다.