[논문 리뷰] Modeling Non-Functional Application Domain Constraints for Component-Based Robotics Software Systems

Alex Lotz, Arne Hamann외 4명|arXiv (Cornell University)|2016. 01. 11.

Advanced Software Engineering Methodologies참고 문헌 11인용 수 4

한 줄 요약

이 논문은 실행 의미 체계와 데이터 흐름 특성과 같은 비기능적이고 시스템 수준의 제약 조건을 명시적으로 캡처하는 컴포넌트 기반 로봇 소프트웨어를 위한 메타모델을 제안한다. 이를 통해 컴포넌트 개발자와 시스템 통합자 간의 책임 분리를 명확히 한다. 시간 기반 및 데이터 기반 트리거 활성화와 같은 핵심 추상화에 국한하여 모델링 선택을 제한함으로써, 자동화된 검사 기반의 모델 일관성 보장을 통해 내부 구현 세부 정보를 노출하지 않고도 종단 간 지연 시간과 결정론적 동작에 대한 정밀한 제어를 가능하게 한다.

ABSTRACT

Service robots are complex, heterogeneous, software intensive systems built from components. Recent robotics research trends mainly address isolated capabilities on functional level. Non-functional properties, such as responsiveness or deterministic behavior, are addressed only in isolation (if at all). We argue that handling such non-functional properties on system level is a crucial next step. We claim that precise control over application-specific, dynamic execution and interaction behavior of functional components -- i.e. clear computation and communication semantics on model level without hidden code-defined parts -- is a key ingredient thereto. In this paper, we propose modeling concepts for these semantics, and present a meta-model which (i) enables component developers to implement component functionalities without presuming application-specific, system-level attributes, and (ii) enables system integrators to reason about causal dependencies between components as well as system-level data-flow characteristics. This allows to control data-propagation semantics and system properties such as end-to-end latencies during system integration without breaking component encapsulation.

연구 동기 및 목표

• 컴포넌트 기반 로봇 소프트웨어에서 반응성, 결정론성, 종단 간 지연 시간과 같은 비기능적 시스템 수준 성질에 대한 체계적인 모델링 부족을 해결한다.
• 로봇 전문가가 애플리케이션 특화의 시스템 수준 속성을 고려하지 않고도 기능적 컴포넌트를 구현할 수 있도록 한다.
• 애플리케이션 도메인 전문가가 내부 컴포넌트 코드에 접근하거나 수정하지 않고도 모델 수준에서 인과적 의존성과 데이터 흐름 특성을 분석할 수 있도록 한다.
• 역할 기반의 상호 연결된 메타모델을 통해 컴포넌트 개발자와 시스템 통합자 간에 명확한 책임 분리를 실현한다.
• 자동화된 모델 일관성 검사를 통해 시스템 수준의 일관성과 준수 여부를 확보하면서 컴포넌트 캡슐화를 유지한다.

제안 방법

• 기능적 컴포넌트 개발과 시스템 통합을 위한 두 부분으로 구성된 메타모델을 제안하며, 이를 모델 기반 엔지니어링(MDE) 기반으로 설계한다.
• 동시 실행을 위한 활성화 의미 체계를 시간 기반 및 데이터 기반 트리거 활성화로 정의하며, 이는 SDF(Synchronous Data Flow) 모델과 유사하다.
• 적절한 추상화 수준을 갖춘 역할 기반 뷰를 활용하여 기능적 개발과 시스템 수준의 구성 간의 분리를 도모한다.
• ROS 및 SmartSoft와 같은 기존 로봇 프레임워크와의 통합을 통해 실용성과 도구 지원을 보장한다.
• 자동화된 일관성 검사를 활용하여 시스템 수준의 준수 여부를 검증하고 런타임 사이드 이펙트 없이 제약 조건을 강제한다.
• 과도하게 표현력이 뛰어나지만 복잡한 프레임워크인 MARTE나 AADL과 비교해 복잡성을 줄이고 사용성 및 상호운용성을 향상시키기 위해 모델링 선택을 최소한의 핵심 개념으로 제한한다('선택의 자유 없음' 철학).

실험 결과

연구 질문

• RQ1 내부 구현 세부 정보를 노출하지 않고 종단 간 지연 시간과 결정론적 동작과 같은 비기능적 시스템 수준 성질을 어떻게 모델링할 수 있는가?
• RQ2 컴포넌트 캡슐화를 유지하면서 정밀한 시스템 통합을 가능하게 하기 위해 필요한 최소한의 활성화 의미 체계는 무엇인가?
• RQ3 공유되지만 역할 기반의 모델링 접근법을 통해 컴포넌트 개발자와 시스템 통합자 간에 책임 분리를 어떻게 실현할 수 있는가?
• RQ4 얼마나 자동으로 모델 일관성이 보장될 수 있으며, 이는 시스템 수준의 검증 및 검사 지원에 어떻게 기여하는가?
• RQ5 MARTE, AADL, 또는 oroGen과 같은 기존 접근법과 비교해 본다면, 제안된 메타모델은 사용성, 표현력, 실용적 통합 측면에서 어떤가?

주요 결과

• 제안된 메타모델은 응용 프로그램 특화의 실행 및 통신 의미 체계를 시스템 통합 계층으로 고립시킴으로써 기능적 컴포넌트 개발과 시스템 통합 간의 분리를 성공적으로 달성한다.
• 시간 기반 및 데이터 기반 트리거 활성화 의미 체계의 사용은 Synchronous Data Flow(SDF) 모델과 유사하게 인과적 의존성과 데이터 흐름 특성을 명시적으로 모델링할 수 있도록 한다.
• 구조화되고 추적 가능하며 분석 가능한 모델 구조를 통해 메타모델은 종단 간 지연 시간 분석과 결정론적 동작 모델링을 지원한다.
• 컴포넌트 수준 모델과 시스템 수준 모델 간의 자동 일관성 검사를 통해 런타임 코드 검사 없이도 시스템 수준 준수 여부를 보장할 수 있다.
• 메타모델은 ROS 및 SmartSoft와의 통합을 통해 성공적으로 적용 및 검증되었으며, 실용성과 도구체인 호환성을 입증했다.
• '선택의 자유 없음' 철학을 도입함으로써, MARTE나 AADL와 같은 더 유연하지만 일관성 없는 프레임워크에 비해 복잡성을 감소시키고 사용성을 향상시켰다.