利用基于活动的时间切片突出显示活动时间段
在模型仿真期间,Stateflow® 状态和转换可以是活动的、非活动的或睡眠的。您可以使用模型切片器来限制模型高亮显示,使其仅高亮显示某些 Stateflow 通过使用状态来表示工作模式 (Stateflow) 和 工作模式之间的转移 (Stateflow) 处于活动的时间间隔。因此,您可以将感兴趣的范围缩小到模型中那些在选定状态和转换运行期间影响模型仿真的部分。您还可以将模型高亮显示限制在两个或多个状态或转换的时间间隔的交集处。
突出显示 Stateflow 状态或转换的活动时间间隔
slslicer_fuelsys_activity_slicing 模型包含一个容错燃料控制系统。在本教程中,您将使用基于活动的时间切片来细化模型高亮显示,使其仅显示某些状态和转换处于活动的时间间隔。您必须熟悉如何使用模型切片器进行 突出功能依赖关系 操作。
为感兴趣区域创建动态切片高亮显示
1.打开 slslicer_fuelsys_activity_slicing 模型。
open_system('slslicer_fuelsys_activity_slicing');2.打开模型切片器,并将 control logic Stateflow® 图添加到燃料速率控制器子系统中,作为模型切片器的起始点。
3.突出显示模型中位于 control logic Stateflow 图上游的部分。
4.在限定的仿真时间窗口(最多 20 秒)内仿真模型,以仅突出显示模型中起始点上游且在感兴趣的时间窗口内活动的区域。

将模型高亮显示限制在 Stateflow 状态的活动时间区间内
1.在 App 选项卡的模型验证、确认和测试库下,点击模型切片器。
2.导航至 fuel rate controller 子系统中的 control logic Stateflow 图。
open_system('slslicer_fuelsys_activity_slicing/fuel rate controller/control logic');3.要将模型高亮显示限制在 Fueling_Mode > Running > Low_Emissions > Warmup 状态处于活动的时间间隔内,请右键点击 Warmup 状态并选择模型切片器 > 限制为 Warmup 的活动时间间隔。

模型切片器已更新,仅突出显示在 Warmup 状态处于活动的时间间隔内处于活动的模型部分。

模型切片器也已更新,以显示 Warmup 状态处于活动的时间区间:
实际仿真时间:0.01 至 3.86 秒:1 个活动区间。
高亮部分显示了压力状态从正常到故障的转变,表明在预热状态处于活动的时间区间内发生了压力故障。
将模型高亮显示限制在 Stateflow 状态和转换的活动时间间隔的交集内
1.清除模型切片器中的所有时间区间约束。
2.将模型高亮显示限制在 O2 > fail 状态处于活动的时间间隔内。

模型切片器已更新,仅突出显示在 O2 > fail 状态处于活动活动的时间间隔内处于活动的模型部分。模型切片器也已更新,以显示 O2 > fail 状态处于活动的时间区间:
实际仿真时间:4.83 至 20 秒:1 个活动区间
3.要将高亮显示限制在 O2 > fail 状态处于活动且 Throttle 图发生 normal 到 fail 转换的时间区间内,请右键点击 normal 到 fail 转换并将其添加为约束。模型切片器已更新,仅突出显示模型中在 O2 > fail 状态处于活动且 Throttle 图发生 normal 到 fail 转换的时间间隔的交集期间处于活动的部分。

模型切片器也已更新,以显示 O2 > fail 状态处于活动以及 Throttle 图中 normal 到 fail 转换发生的时间区间:
实际仿真时间:13.87 至 13.87 秒:1 个活动区间
基于活动的时切局限性和注意事项
有关基于活动的时间切片的限制和注意事项,请参阅 模型切片器的注意事项和局限性。
Stateflow 状态和转换活动
有关 Stateflow 状态和转换活动的更多信息,请参阅 图仿真语义 (Stateflow)、图执行的类型 (Stateflow) 和 状态和转移的语法 (Stateflow)。
另请参阅
主题
- 使用模型 Slicer 和 Stateflow
- 通过使用状态来表示工作模式 (Stateflow)
- 工作模式之间的转移 (Stateflow)