Introduction to Dependency Analysis

创建简化的独立模型

描述了简化模型生成的案例。

突出显示功能依赖性

使用Model Slicer突出显示功能依赖性，并使用约束和排除来优化模型的突出显示部分。

使用带状态流的模型切片器

描述使用Model Slicer使用StateFlow的工作流程^®与州流方案的模型切片机的行为

通过使用基于活动的时间切片来突出显示活动时间间隔

Use activity-based time slicing to highlight and slice simulation intervals in which all selected states and transitions are simultaneously active.

配置模型Highlight and Sliced Models

模型切片管理器和模型Slicer选项。

隔离模型组件进行功能测试

描述如何将模型组件切片进行调试和改进。

模型切片机的考虑和限制

描述模型切片机的限制和注意事项。

精确突出显示的模型

精确突出显示的模型

描述使用模拟时间和排除来缩小模型突出显示。

通过使用Model Slicer Data Inspector来精确突出显示的模型切片

使用Model Slicer Data Inspector检查记录信号并优化突出显示的模型切片。

依赖性分析优化死亡逻辑

使用Model Slicer来改进死亡逻辑并突出功能依赖性。

使用快速重启模式调试切片仿真

使用快速重启来调试通过时间步骤进行调试切片模拟。

Programmatically Resolve Unexpected Behavior in a Model with Model Slicer

检测意外行为，并使用Model Slicer以编程方式隔离并解决意外行为。

通过使用现有的.slslicex或死亡逻辑结果来精确突出显示的模型

有关如何使用现有数据突出显示模型中的功能依赖性的说明。

Creating Simplified Standalone Model

创建简化的独立模型

描述了简化模型生成的案例。

通过内限内容简化独立模型

Describes how to use the inline content options.

简化变体系

Tutorial describing how to use the Variant Manager to reduce a model to a simplified, standalone model containing only selected variant configurations.