OMGが策定した、リアルタイム・組込みシステム向けのスケジューリング解析や時間制約記述のためのUMLプロファイルはどれか。

MARTE (Modeling and Analysis of Real-time and Embedded systems) は、時間、リソース、スケジューリングなどの概念をUMLに追加するための標準プロファイルである。