链接到 Simulink 中建模的需求
此示例展示了如何链接验证子系统和模型。您可以使用验证子系统来模型功能需求并在仿真中验证它们。验证和实施模型之间的可追溯性使您能够在需求编辑器中总结分析和测试结果。
打开示例模型
打开slvnvdemo_powerwindow_vs
模型。
open_system("slvnvdemo_powerwindow_vs")
验证模型指定了slvnvdemo_powerwindowController
的属性和需求。验证子系统包括在检测到障碍物时验证系统行为的逻辑:
障碍反应:当检测到障碍物时,控制器应发出
down
命令 1 秒。
该需求在 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
。