[논문 리뷰] From Software Architecture Structure and Behavior Modeling to Implementations of Cyber-Physical Systems

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

Advanced Software Engineering Methodologies참고 문헌 19인용 수 26

한 줄 요약

이 논문은 사이버-물리 시스템(CPS)을 모델링하기 위해 구성요소-연결점 아키텍처와 I/O 오토마타를 통합한 모델링 언어인 MontiArcAutomaton를 위한 코드 생성 프레임워크를 제시한다. 이 프레임워크는 네 개의 생성기들을 통해 형식적 분석, 그래픽 편집, 그리고 자바 및 파이썬 플랫폼로의 배포를 가능하게 하여, 재사용 가능하고 플랫폼에 종속되지 않은 모델 기반 엔지니어링의 종단 간 구현 가능성을 입증한다.

ABSTRACT

Software development for Cyber-Physical Systems (CPS) is a sophisticated activity as these systems are inherently complex. The engineering of CPS requires composition and interaction of diverse distributed software modules. Describing both, a systems architecture and behavior in integrated models, yields many advantages to cope with this complexity: the models are platform independent, can be decomposed to be developed independently by experts of the respective fields, are highly reusable and may be subjected to formal analysis. In this paper, we introduce a code generation framework for the MontiArcAutomaton modeling language. CPS are modeled as Component & Connector architectures with embedded I/O! automata. During development, these models can be analyzed using formal methods, graphically edited, and deployed to various platforms. For this, we present four code generators based on the MontiCore code generation framework, that implement the transformation from MontiArcAutomaton models to Mona (formal analysis), EMF Ecore (graphical editing), and Java and Python (deployment. Based on these prototypes, we discuss their commonalities and differences as well as language and application specific challenges focusing on code generator development.

연구 동기 및 목표

• 아키텍처와 행동의 통합 모델링을 통해 사이버-물리 시스템(CPS) 개발의 복잡성을 해결한다.
• 구성요소-연결점 아키텍처와 I/O 오토마타를 조합하여 플랫폼에 종속되지 않고 형식적으로 분석 가능하고 재사용 가능한 시스템 모델을 제공한다.
• 고수준 모델을 자바 및 파이썬에서 실행 가능한 구현으로 변환하기 위한 코드 생성 파이프라인을 개발한다.
• Mona 도구를 활용한 형식적 검증과 함께 그래픽 편집을 통해 모델의 진화를 지원한다.
• 설계, 분석, 배포를 연결하는 통합된 프레임워크를 통해 사이버-물리 시스템에서의 모델 기반 엔지니어링를 정립한다.

제안 방법

• 구성요소-연결점 아키텍처와 행동 사양을 위한 I/O 오토마타를 결합한 도메인 특화 언어인 MontiArcAutomaton를 사용하여 CPS를 모델링한다.
• MontiCore 코드 생성 프레임워크를 활용하여 MontiArcAutomaton 모델에서 대상 아티팩트로의 변환 규칙을 정의한다.
• 네 개의 코드 생성기를 구현한다: Mona(형식적 분석)용 하나, EMF Ecore(그래픽 편집)용 하나, 자바 및 파이썬(배포)용 각각 하나.
• 코드 생성 과정에서 아키텍처적 및 행동적 의미를 유지하여 모델의 정밀도와 플랫폼 독립성을 확보한다.
• 프로토타입 구현과 생성기 설계 패턴의 비교 분석을 통해 프레임워크를 검증한다.
• 조기 개발 단계에서 정당성 및 생존성과 같은 시스템 성질을 분석하기 위해 형식적 방법을 활용한다.

실험 결과

연구 질문

• RQ1 통합된 구성요소-연결점 아키텍처와 내장된 I/O 오토마타를 사용하여 사이버-물리 시스템의 구조와 행동을 어떻게 모델링할 수 있는가?
• RQ2 통합된 아키텍처 및 행동 모델에서 실행 가능한 코드를 생성하는 데 있어 주요 과제는 무엇인가?
• RQ3 단일 모델 기반 엔지니어링 파이프라인 내에서 형식적 분석, 그래픽 편집, 배포를 어떻게 지원할 수 있는가?
• RQ4 다양한 타겟 플랫폼(예: 자바, 파이썬, Mona, EMF Ecore)에 대한 코드 생성기 구현에서 공통점과 차이점은 무엇인가?
• RQ5 모델 기반 개발이 CPS 개발의 재사용성, 유지보수성, 정확성 향상에 얼마나 기여할 수 있는가?

주요 결과

• 제안된 프레임워크는 MontiArcAutomaton 모델을 자바 및 파이썬용 실행 가능한 코드로 성공적으로 변환하여 실제 플랫폼에 배포할 수 있도록 한다.
• Mona 생성기는 안전성 및 생존성과 같은 시스템 성질의 형식적 검증을 가능하게 하여 조기 단계의 형식적 분석의 실현 가능성을 입증한다.
• EMF Ecore 생성기는 그래픽 편집과 모델 지속성을 지원하여 반복적 개발 및 도구 통합을 가능하게 한다.
• 네 개의 코드 생성기는 공통된 모델 추상화를 공유하지만, 타겟 언어의 의미 체계와 플랫폼 제약 조건으로 인해 구현 복잡도에서 상당한 차이를 보인다.
• 형식적 방법과 코드 생성의 통합은 모델의 신뢰성을 향상시키고 아키텍처 결함의 조기 탐지를 지원한다.
• 이러한 접근은 개발 단계 전반에 걸쳐 모델의 재사용을 가능하게 하며, 플랫폼에 종속되지 않은 모델링을 통해 도메인 전문가 간 협업을 지원한다.