MARTEプロファイルにおいて、論理的な時間(Logical Time)と物理的な時間(Chronometric Time)を区別して扱うための概念はどれか。

MARTEは、物理時間だけでなく、論理クロック(ステップ数など)に基づいた時間モデル(Time Structure)を定義し、厳密な時間解析を可能にする。