链接到 Simulink 中建模的需求

此示例使用:

此示例展示了如何链接验证子系统和模型。您可以使用验证子系统来模型功能需求并在仿真中验证它们。验证和实施模型之间的可追溯性使您能够在需求编辑器中总结分析和测试结果。

打开slvnvdemo_powerwindow_vs模型。

open_system("slvnvdemo_powerwindow_vs")

验证模型指定了slvnvdemo_powerwindowController的属性和需求。验证子系统包括在检测到障碍物时验证系统行为的逻辑：

该需求在 Verification Subsystem2 中建模。

open_system("slvnvdemo_powerwindow_vs/Verification Subsystem2")

在设计模型中，障碍物响应是在emergencyDown状态下实现的：

创建从 Verification Subsystem2 到 emergencyDown 状态的链接：

在slvnvdemo_powerwindow_vs模型中，双击slvnvdemo_powerwindowController模型引用模块。
双击打开control图。
在 control 图中，右键点击 emergencyDown 状态并选择 Requirements > Select for Linking with Simulink。
在 slvnvdemo_powerwindow_vs模型中，右键点击 Verification Subsystem2模块并选择 Requirements > Add Link to Selected Object。
在 slvnvdemo_powerwindow_vs模型中，打开需求管理器应用。在 Requirements窗格中，将 View 设置为 Links。
在需求链接窗格中，选择该链接。在属性检查器的属性下，将 lnk 类型设置为 Verifies。