[논문 리뷰] Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton

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

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

한 줄 요약

이 논문은 사이버-물리 시스템(CPS)을 위한 자동기반 행동 모델링을 지원하는 도메인 특화 언어 MontiArcAutomaton을 소개한다. MontiArc를 확장하여 구성요소의 행동을 상태, 변수, 전이를 통해 정확하고 문법에 의해 강제되는 방식으로 기술할 수 있으며, 시간 동기화 및 이벤트 기반 행동을 위한 두 가지 언어 프로파일을 제공한다. 이는 EMF, 자바, 모나, 파이썬을 위한 코드 생성 기능을 포함한 완전한 도구 체인을 통해 지원된다.

ABSTRACT

This book presents MontiArcAutomaton, a modeling language for architecture and be- havior modeling of Cyber-Physical Systems as interactive Component & Connector mod- els. MontiArcAutomaton extends the Architecture Description Language MontiArc with automata to describe component behavior. The modeling language MontiArcAutomaton provides syntactical elements for defin- ing automata with states, variables, and transitions inside MontiArc components. These syntactical elements and a basic set of well-formedness rules provide the syntax for a fam- ily of modeling languages for state-based behavior modeling in Component & Connector architectures. We present two concrete language profiles with additional well-formedness rules to model time-synchronous component behavior and untimed, event-driven behav- ior of components. This book gives an overview of the MontiArcAutomaton language including examples, a language reference, and a context-free grammar for MontiArcAutomaton models. It also provides syntax definition, well-formedness rules, and semantics for two language profiles. We summarize projects and case studies applying MontiArcAutomaton. MontiArcAutomaton is implemented using the DSL framework MontiCore. Available tools include a textual editor with syntax highlighting and code completion as well as a graphical editor and a powerful and extensible code generation framework for target languages including EMF, Java, Mona, and Python.

연구 동기 및 목표

• 시스템 설계의 명확성과 정확성을 향상시키기 위해 사이버-물리 시스템(CPS)에서 통합된 아키텍처 및 행동 모델링의 필요성을 해결한다.
• 단일 모델링 기법이나 분리된 접근 방식의 한계를 극복하기 위해 구성요소 아키텍처를 상태 기반 행동 기술과 통합한다.
• 시간이 고려된 행동과 고려되지 않은 행동을 동시에 지원하는 단일 프레임워크 내에서 형식적이고 확장 가능한 모델링 언어를 제공한다.
• 어떤 언어를 위한 코드 생성을 포함한 문법 인식 편집기 및 코드 생성 기능을 포함한 완전한 도구 체인을 통해 도구 기반 개발을 가능하게 한다.
• 형식적 문법과 잘 정의된 규칙을 사용하여 일관되고 잘 구성된 CPS 행동 모델링의 기반을 마련한다.

제안 방법

• 컴포넌트 내에서 상태, 변수, 전이를 정의하기 위한 문법적 구성요소를 포함하여 MontiArc 아키텍처 기술 언어를 확장한다.
• 시간 동기화 행동과 비시간, 이벤트 기반 행동을 위한 두 가지 언어 프로파일을 정의하며, 각각 다른 잘 정의된 규칙을 적용한다.
• 모델의 문법적 정확성과 도구 간 상호운용성을 보장하기 위해 MontiArcAutomaton 모델용 문맥 자유 문법을 명시한다.
• 기존 소프트웨어 공학 도구 생태계와의 통합을 가능하게 하기 위해 MontiCore DSL 프레임워크를 사용하여 언어를 구현한다.
• 문법 강조 및 코드 완성 기능을 갖춘 텍스트 편집기와 시각적 모델링을 위한 그래픽 편집기를 제공한다.
• EMF, 자바, 모나, 파이썬을 위한 출력을 지원하는 강력하고 확장 가능한 코드 생성 프레임워크를 통합하여 타겟 시스템의 구현을 가능하게 한다.

실험 결과

연구 질문

• RQ1 사이버-물리 시스템에서 구성요소 기반 아키텍처와 상태 기반 행동을 어떻게 균일하게 모델링할 수 있는가?
• RQ2 구성요소 아키텍처 내에서 행동 모델링의 일관성과 정확성을 확보하기 위해 필요한 문법적 규칙과 잘 정의된 규칙은 무엇인가?
• RQ3 시간 동기화 및 이벤트 기반 구성요소 행동을 하나의 언어 내에서 어떻게 형식적으로 구분하고 모델링할 수 있는가?
• RQ4 실제 산업용 CPS 개발에서 이러한 모델링 언어의 실용적 도입을 가능하게 하기 위해 필요한 도구 지원는 무엇인가?
• RQ5 MontiArcAutomaton 모델에서의 코드 생성을 어떻게 확장 가능하고 기존 소프트웨어 공학 스택과 상호운용 가능하게 만들 수 있는가?

주요 결과

• MontiArcAutomaton는 구성요소 아키텍처와 자동기반 행동 모델링을 성공적으로 통합하여 CPS 구성요소의 정확하고 일관된 기술을 가능하게 한다.
• 맞춤형 잘 정의된 규칙를 통해 시간 동기화 및 이벤트 기반 행동을 위한 두 가지 다른 행동 프로파일을 지원함으로써 모델링의 표현력을 향상시킨다.
• MontiCore 기반의 구현을 통해 문법 인식 편집, 그래픽 모델링, EMF, 자바, 모나, 파이썬을 위한 코드 생성을 포함한 완전한 도구 체인 지원이 가능해졌다.
• 문맥 자유 문법과 형식적 문법 정의를 통해 모델의 일관성을 보장하고 도구 통합 및 분석을 용이하게 한다.
• 사례 연구와 프로젝트 적용을 통해 MontiArcAutomaton가 실제 CPS 모델링 시나리오에서 실용적인 적용 가능성을 입증하였다.
• 언어와 도구 스택은 CPS 개발 파이프라인 내에서 형식적 검증과 자동화된 구현 생성을 위한 견고한 기반을 제공한다.