[논문 리뷰] From abstract modelling to remote cyber-physical integration/interoperability testing

Maria Spichkova, Heinz Schmidt외 1명|arXiv (Cornell University)|2014. 03. 05.

Model-Driven Software Engineering Techniques참고 문헌 21인용 수 22

한 줄 요약

이 논문은 가상 상호운용성 테스트(VITELab 환경를 사용한 원격 가상 상호운용성 테스트를 통합하는 추상 모델링과 함께, 사이버-물리 시스템(CPS)을 위한 개선 기반 접근법을 제안한다. 명시적인 추상 수준 관리와 가정 추적을 통해 이 접근법은 조기 단계에서 일관성 없는 점을 탐지하고, 시나리오 기반 시뮬레이션을 통한 원격 구성 요소 상호작용을 통해 분산 제조를 지원한다.

ABSTRACT

An appropriate system model gives developers a better overview, and the ability to fix more inconsistencies more effectively and earlier in system development, reducing overall effort and cost. However, modelling assumes abstraction of several aspects of the system and its environment, and this abstraction should be not overlooked, but properly taken into account during later development phases. This is especially especially important for the cases of remote integration, testing/verification, and manufacturing of cyber-physical systems. For this reason we introduce a development methodology for cyber-physical systems (CPS) with a focus on the abstraction levels of the system representation, based on the idea of refinement-based development of complex, interactive systems.

연구 동기 및 목표

• 분산 사이버-물리 시스템(CPS) 제조에서 높은 통합 및 테스트 비용 문제를 해결한다.
• 가상 환경을 통한 조기 원격 상호운용성 테스트를 통해 후기 단계의 물리적 테스트에 대한 의존도를 줄인다.
• 가정과 추상화를 명시적으로 추적함으로써 추상 수준 간의 모델 정밀도를 확보한다.
• 공간-분할 다중화와 시간-분할 다중화를 모두 지원하는 실용적인 원격 CPS 통합 방법론을 개발한다.
• 논리적 모델에서 가상 테스트 시나리오로의 환경적 가정과 추상화 선택의 추적 가능성을 보장한다.

제안 방법

• 추상 논리 모델에서 구체적인 가상 시스템 표현으로 진행되는 개선 기반 개발 접근법을 적용한다.
• 실제 물리적 구성 요소를 가상 환경에서 사용하여 원격 통합을 시뮬레이션하는 가상 상호운용성 테스트 랩(VITELab)을 도입한다.
• 다양한 추상 수준에서 시스템 동작을 모델링하며, 논리적 모델과 가상 테스트 환경을 구분한다.
• 다양한 배포 시나리오에서 재사용 가능하고 확장 가능한 시스템 특성을 봉인하는 파라미터화된 모델을 사용한다.
• 두 가지 시뮬레이션 시나리오를 정의한다: 공간 분할 다중화(다른 위치에 있는 로봇)와 시간 분할 다중화(한 로봇이 여러 개를 시뮬레이션)
• 모델링 및 테스트 단계 간 일관성을 확보하기 위해 환경적 가정($\mathbb{ENV_{ASM}}$)과 추상화 선택($\mathbb{ABSTR_{KNOW}}$)의 추적 체인을 구축한다.

실험 결과

연구 질문

• RQ1 CPS 모델링에서 추상 수준를 어떻게 관리하여 원격 가상 통합을 가능하게 하면서도 핵심 시스템 성질을 유지할 수 있는가?
• RQ2 원격 가상 테스트 환경에서 다중 로봇 상호작용을 시뮬레이션하기 위해 필요한 가정과 제약 조건는 무엇인가?
• RQ3 단일 논리 모델이 공간 분할 다중화와 시간 분할 다중화 시나리오를 모두 지원할 수 있는가, 아니면 별도의 모델이 필요한가?
• RQ4 어떻게 하면 논리적 모델에서 가상 테스트 환경으로의 시스템 성질을 효과적으로 추적하여 일관성을 확보할 수 있는가?
• RQ5 가상 상호운용성 테스트는 분산 CPS 제조에서 물리적 통합 비용을 얼마나 줄일 수 있는가?

주요 결과

• VITELab 환경에서의 원격 가상 테스트는 물리적 구현 이전에 일관성 없는 점과 시스템 수준의 문제를 조기에 탐지할 수 있게 한다.
• 가정과 추상화를 명시적으로 모델링함으로써 더 나은 추적 가능성을 확보하고, 후속 개발 단계에서 발견되지 않은 오류의 위험을 줄일 수 있다.
• 이 방법론은 공간 분할 다중화와 시간 분할 다중화라는 두 가지 다른 시뮬레이션 시나리오를 지원하여 분산 CPS에 대한 민첩한 원격 테스트를 가능하게 한다.
• 파라미터화된 모델링은 다양한 테스트 및 배포 환경에서 시스템 모델의 재사용과 확장성을 촉진한다.
• 이 접근법은 후기 단계의 물리적 테스트에 대한 의존도를 줄이고 통합 및 시운전 단계에서 발생할 수 있는 고비용 재작업을 최소화한다.
• 환경적 가정($\mathbb{ENV_{ASM}}$)과 추상화 선택($\mathbb{ABSTR_{KNOW}}$)의 추적 체인을 통해 모델의 무결성과 검증 신뢰도가 향상된다.