실시간 및 임베디드 시스템 모델링 및 분석

Modeling and Analysis of Real Time and Embedded systems

실시간 및 임베디드 시스템의[1] 모델링 및 분석(MARTE)은 UML2를 사용하여 실시간 및 임베디드 애플리케이션을 모델링하기 위한 OMG 표준입니다.

묘사

UML 모델링 언어는 OMG 컨소시엄에 의해 실시간 및 임베디드 애플리케이션의 모델 중심 개발을 지원하기 위해 확장되었습니다.이 확장은 MARTE(실시간 및 임베디드 시스템의 모델링 및 분석)라는 UML2 프로파일을 통해 정의되었습니다.주로 다음 4가지 부분으로 구성됩니다.

  • 실시간 및 임베디드 도메인을 지원하는 데 필요한 기본 개념을 정의하는 핵심 프레임워크입니다.
  • 애플리케이션(하드웨어 및 소프트웨어 플랫폼 모델링 등)의 순수 모델링을 지원하기 위한 이 핵심 패키지의 첫 번째 전문화(개요)
  • UML2 모델의 정량적 분석, 특히 일정성 및 성능 분석을 지원하기 위해 이 핵심 패키지의 두 번째 전문화(정제)
  • UML2 모델 내에서 값 지정을 위한 텍스트 언어를 정의하는 것과 RT/E 시스템 모델링 전용 표준 MARTE 모델 라이브러리를 구성하는 것과 같은 모든 MARTE 부속문서를 수집하는 마지막 부분.

MARTE 사양은 OMG [2]웹사이트에서 공개적으로 구할 수 있습니다.현재 MARTE 프로파일을 사용한 시스템모델링에는 다음 두 가지 오픈소스 툴을 사용할 수 있습니다.Modelio 높은 수준 UML모델들은 MARTE 프로필을 사용하고 디자인이며, 또한 MARTE 프로필의 이용에 대한 지침을 제공한다, 오픈 소스 구현 이클립스는 MARTE 프로필에 기초해 파피루스는 UML.[3]에 이건 이용 가능할 경우 본체에는 이클립스 UML2기 쉬운과 같이 실행되는 오픈 소스 모델링 환경을 제공한다.에서UML2 Papyrus용 오픈 소스 도구입니다.

핵심

MARTE의 핵심 부분은 5개의 장으로 구성되어 있습니다.

  • 코어 요소
  • 기능하지 않는 속성:이 장에서는 물리량과 관련된 다양한 종류의 값(시간, 질량, 에너지)을 정의하기 위한 표기를 몇 가지 지정합니다.
  • 시간: 이 장에서는 물리적 시간 속성과 논리적 시간 속성의 정의를 모두 지원하는 풍부한 시간 모델을 정의합니다.[4]부록으로 정의된 CCSL이라는 지원 언어가 포함되어 있습니다.
  • 범용 자원 모델링:이 장에서는 실시간 임베디드 애플리케이션을 실행하기 위한 일반적인 플랫폼을 모델링하기 위해 필요한 확장을 제공합니다.
  • 할당 모델링:마지막으로 이 장에서는 응용 프로그램 요소를 실행 플랫폼에 할당하기 위한 할당 개념을 정의합니다.SysML 할당 메커니즘과의 호환성을 유지하기 위해 특별히 주의를 기울였습니다.

메모들

  1. ^ http://www.omgmarte.org Wayback Machine에서 2014-02-09 아카이브 완료
  2. ^ "MARTE". Archived from the original on 19 November 2015. Retrieved 2 November 2016.
  3. ^ "Papyrus". Retrieved 2 November 2016.
  4. ^ André, Charles; Mallet, Frédéric; De Simone, Robert (2007). "Modeling Time(s)". Model Driven Engineering Languages and Systems. Lecture Notes in Computer Science. Vol. 4735. pp. 559–573. doi:10.1007/978-3-540-75209-7_38. ISBN 978-3-540-75208-0.


이 Unified Modeling Language 기사는 stub입니다.위키피디아를 확장함으로써 위키피디아를 도울 수 있습니다.