リアルタイムシステム設計において、タスクの優先度やデッドライン、実行時間などをモデル化するために標準的に使用されるプロファイルはどれか。

MARTE（Modeling and Analysis of Real-time and Embedded systems）は、時間制約やリソース、スケジューリング特性を記述するためのOMG標準プロファイルである。