アクティビティベースのタイムスライスを使用したアクティブな時間区間の強調表示

Stateflow^® のステートと遷移は、モデルのシミュレーション時にアクティブ、非アクティブ、またはスリープ状態になります。モデルスライサーを使用すると、特定の Stateflowステート (Stateflow)および遷移 (Stateflow)がアクティブである時間区間のみに、モデルの強調表示を制約できます。したがって、選択したステートと遷移の動作中にシミュレーションに影響を与えるモデルの部分のみに、対象領域を絞り込むことができます。また、モデルの強調表示を 2 つ以上のステートまたは遷移の時間区間の共通部分に制限することもできます。

Stateflow のステートまたは遷移のアクティブな時間区間の強調表示
アクティビティベースのタイムスライスの制限事項と考慮事項
Stateflow ステートおよび遷移のアクティビティ

Stateflow のステートまたは遷移のアクティブな時間区間の強調表示

slslicer_fuelsys_activity_slicing モデルにはフォールトトレラント燃料制御システムが含まれています。このチュートリアルでは、アクティビティベースのタイムスライスを使用して、モデルの強調表示を特定のステートと遷移がアクティブである時間区間のみに絞り込みます。モデルスライサーを使用して機能の依存関係の強調表示を行う方法についての知識が必要です。

対象領域に対する動的なスライス強調表示の作成

例のフォルダーを検索パスに追加します。

addpath(fullfile(docroot,'toolbox','simulink','examples'))

slslicer_fuelsys_activity_slicing モデルを開きます。
```
open_system('slslicer_fuelsys_activity_slicing')
```
モデルスライサーを開き、Stateflow チャート control logic を、モデルスライサーの開始点として fuel rate controller サブシステムに追加します。
モデルにおいて Stateflow チャート control logic の上流部分を強調表示します。
シミュレーションの制限時間枠内 (最大 20 秒) でモデルをシミュレートし、開始点より上流で、対象とする時間枠中にアクティブなモデルの領域のみを強調表示します。

Stateflow ステートのアクティブな時間区間へのモデル強調表示の制限

[モデルの検証とテスト] ギャラリーの下の [アプリ] タブで、[モデルスライサー] をクリックします。
fuel rate controller サブシステム内の control logic Stateflow チャートへと移動します。
```
open_system('slslicer_fuelsys_activity_slicing/fuel rate controller/control logic')
```
モデルの強調表示を [Fueling_Mode] 、 [Running] 、 [Low_Emissions] 、 [Warmup] ステートがアクティブである時間区間のみに制約するには、Warmup ステートを右クリックして、[モデルスライサー] 、 ["Warmup" のアクティブな時間間隔に制約] を選択します。

モデルスライサーは更新され、warmup ステートがアクティブである時間区間においてアクティブであるモデルの部分のみが強調表示されます。

モデルスライスマネージャーも更新され、warmup ステートがアクティブである時間区間が示されます。
実際のシミュレーション時間: 0.01 ～ 3.86 秒 : 1 個の有効区間
Pressure ステートにおける normal から fail への遷移が強調表示で示され、Warmup ステートがアクティブだった時間区間中に圧力低下が発生したことがわかります。

モデルの強調表示を Stateflow ステートおよび遷移のアクティブな時間区間の共通部分に制約

モデルスライスマネージャーで、時間区間の制約をすべてクリアします。
モデルの強調表示を、[O2] 、 [fail] ステートがアクティブである時間区間のみに制約します。

モデルスライサーは更新され、[O2] 、 [fail] ステートがアクティブである時間区間においてアクティブであるモデルの部分のみが強調表示されます。モデルスライスマネージャーも更新され、[O2] 、 [fail] ステートがアクティブである時間区間が示されます。
実際のシミュレーション時間: 4.83 ～ 20 秒 : 1 個の有効区間
[O2] 、 [fail] ステートがアクティブであり Throttle チャートに normal から fail への遷移が発生する時間区間に、強調表示を制限するには、normal から fail への遷移を右クリックし、それを制約として追加します。モデルスライサーは更新され、[O2] 、 [fail] ステートがアクティブであり、かつ Throttle チャートに normal から fail への遷移が発生する時間区間の共通部分においてアクティブであるモデルの部分のみが強調表示されます。

モデルスライスマネージャーも更新され、[O2] 、 [fail] ステートがアクティブであり、かつ Throttle チャートに normal から fail への遷移が発生する時間区間が示されます。
実際のシミュレーション時間: 13.87 ～ 13.87 秒 : 1 個の有効区間