[논문 리뷰] A Requirements Modeling Language for the Component Behavior of Cyber Physical Robotics Systems

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

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

한 줄 요약

이 논문은 사이버-물리적 로봇 구성요소의 행동 요구사항을 모델링하기 위해 I/O! 오토마타를 통합한 몬티아크 아키텍처 기술 언어의 확장을 제안한다. 초기 시뮬레이션, 형식적 분석 및 코드 생성을 가능하게 함으로써 이 접근법은 로봇 소프트웨어 개발의 모듈성과 정확성을 향상시키며, 레고 NXT 플랫폼을 대상으로 한 사례 연구를 통해 이를 입증한다.

ABSTRACT

Software development for robotics applications is a sophisticated endeavor as robots are inherently complex. Explicit modeling of the architecture and behavior of robotics application yields many advantages to cope with this complexity by identifying and separating logically and physically independent components and by hierarchically structuring the system under development. On top of component and connector models we propose modeling the requirements on the behavior of robotics software components using I/O! automata. This approach facilitates early simulation of requirements model, allows to subject these to formal analysis and to generate the software from them. In this paper, we introduce an extension of the architecture description language MontiArc to model the requirements on components with I/O!automata, which are defined in the spirit of Martin Glinz Statecharts for requirements modeling [10]. We furthermore present a case study based on a robotics application generated for the Lego NXT robotic platform.

연구 동기 및 목표

• 로봇 소프트웨어 개발의 복잡성을 줄이기 위해 구성요소 행동을 명시적으로 모델링함으로써.
• 로봇 시스템의 행동 요구사항에 대한 조기 검증 및 검증을 지원하기 위해.
• 형식적 모델링을 통해 고수준 요구사항과 실행 가능한 소프트웨어 사이의 격차를 메우기 위해.
• 형식적으로 특정된 구성요소 행동에서 실행 가능한 코드를 생성할 수 있도록 하기 위해.
• 레고 NXT와 같은 실세계 로봇 플랫폼에서 이 방법의 타당성과 이점을 입증하기 위해.

제안 방법

• 구성요소 수준의 행동 요구사항을 모델링하기 위해 몬티아크를 I/O! 오토마타로 확장함.
• 마틴 글린츠의 스테이트차트 스타일을 따르며, I/O! 오토마타를 사용해 구성요소 행동을 정의함.
• 컴ponent-and-connector 아키텍처 모델에 형식적 체계를 통합하여 책임을 분리함.
• 구현 이전에 요구사항 모델의 시뮬레이션을 지원함.
• 모델의 일관성 문제 및 정확성 검증을 조기에 발견하기 위해 형식적 분석 기법을 적용함.
• 형식적으로 특정된 구성요소 행동에서 실행 가능한 코드를 생성함.

실험 결과

연구 질문

• RQ1 로봇 소프트웨어 구성요소의 행동 요구사항을 어떻게 형식적으로 모델링할 수 있을까? 이를 통해 조기 검증을 향상시킬 수 있는가?
• RQ2 몬티아크와 같은 아키텍처 기술 언어에 I/O! 오토마타를 통합함으로써 소프트웨어 개발 품질에 어떤 영향을 미칠까?
• RQ3 제안된 모델링 방법이 로봇 시스템에서 시뮬레이션과 코드 생성을 모두 지원할 수 있는가?
• RQ4 이 방법은 사이버-물리적 로봇 시스템에서 구성요소 상호작용의 복잡성을 어떻게 다루는가?
• RQ5 레고 NXT와 같은 실세계 로봇 플랫폼에서 이 방법의 실용적 이점은 무엇인가?

주요 결과

• I/O! 오토마타를 몬티아크에 통합함으로써 행동 요구사항의 조기 시뮬레이션을 가능하게 하여 설계 오류를 감소시킴.
• 모델의 형식적 분석을 통해 실제 구현 이전에 일관성 문제와 위반 사항을 탐지할 수 있음.
• 형식화된 요구사항에서 자동으로 코드 생성을 지원함으로써 개발 효율성이 향상됨.
• 레고 NXT 플랫폼을 대상으로 한 사례 연구를 통해 이 방법의 타당성과 실용성이 실로봇 응용 분야에서 입증됨.
• 컴ponent-and-connector 모델링을 통한 책임 분리와 함께 형식적 행동 사양을 통한 조합은 시스템 유지보수성을 향상시킴.
• 요구사항에서 실행 가능 소프트웨어로의 체계적인 전환 경로를 제공함으로써 로봇 소프트웨어 개발의 모호성을 감소시킴.