リアルタイムおよび組み込みシステムのモデリングと分析

リアルタイムおよび組み込みシステムのモデリングと分析^[1]はMARTEとも呼ばれ、UML2を使用してリアルタイムおよび組み込みアプリケーションをモデリングするためのOMG標準です。

UML モデリング言語は、リアルタイムおよび組み込みアプリケーションのモデル駆動型開発をサポートするために OMG コンソーシアムによって拡張されました。この拡張は、MARTE (リアルタイムおよび組み込みシステムのモデリングと分析) と呼ばれる UML2 プロファイルによって定義されています。これは主に 4 つの部分で構成されています。

• リアルタイムおよび組み込みドメインをサポートするために必要な基本概念を定義するコアフレームワーク。
• アプリケーションの純粋なモデリング（ハードウェアおよびソフトウェア プラットフォームのモデリングなど）をサポートするための、このコア パッケージの最初の特殊化（改良）。
• UML2 モデルの定量分析、特にスケジュール可能性とパフォーマンス分析をサポートするための、このコア パッケージの 2 番目の特殊化 (改良)。
• 最後の部分には、UML2 モデル内の値指定用のテキスト言語を定義するものや、RT/E システム モデリング専用の標準 MARTE モデル ライブラリを統合するものなど、すべての MARTE 付録が集められています。

MARTE仕様はOMGのウェブサイトで公開されています。^[2]現在、MARTEプロファイルを使用したシステムモデリングには2つのオープンソースツールが利用可能です。Modelioは、MARTEプロファイルを使用して高レベルのUMLモデルを設計するためのオープンソースモデリング環境を提供し、MARTEプロファイルの利用に関するガイドラインも提供しています。一方、MARTEプロファイルのEclipseベースのオープンソース実装は、 Papyrus UMLで利用可能です。^[3]後者は、Eclipse UML2プラグイン内とUML2 Papyrus用のオープンソースツール内で実行されます。

MARTEの中核部分は5つの章で構成されています。

• コアエレメント;
• 非機能的プロパティ: この章では、時間、質量、エネルギーなどの物理量に関連するさまざまな種類の値を定義するためのいくつかの表記法を指定します。
• 時間: この章では、物理的な時間プロパティと論理的な時間プロパティの両方の定義をサポートする豊富な時間モデルを定義します。 ^[4]付録として定義されているCCSLと呼ばれる関連言語が付属しています。
• 汎用リソース モデリング: この章では、リアルタイム組み込みアプリケーションを実行するための一般的なプラットフォームをモデル化するために必要な拡張機能について説明します。
• 割り当てモデリング: 最後に、この章では、アプリケーション要素を実行プラットフォームに割り当てる割り当ての概念を定義します。SysML 割り当てメカニズムとの互換性を維持するために特に注意が払われています。