Requirements Toolbox（前身为 Simulink Requirements™） 让您使用 MATLAB 或 Simulink 编写、链接和验证需求。您可以使用具有自定义属性的富文本来创建需求，或从需求管理工具中导入需求。
您可以将需求链接到 MATLAB 代码，System Composer 或 Simulink 模型，以及测试。该工具箱分析可追溯性以确定实现或测试中的空缺。设计突出显示功能和追溯矩阵会概要显示多个工件之间哪里存在链接，并指导您填补空缺。当需求更改时，与其链接的工件会突出显示，您可以使用可追溯性图来确定受影响的上游和下游工件。从 Simulink 设计生成的代码包括代码注释，这些注释记录实现需求的位置以帮助进行审核。
您可以使用需求表来形式化需求并对其一致性、完整性和正确性进行分析。通过需求透视图，您可以与设计一起查看和管理需求。当与 Simulink 结合使用时，您可以通过简单的拖放操作创建到模块的链接。
通过 IEC Certification Kit (for ISO 26262 and IEC 61508) 和 DO Qualification Kit (for DO-178)，还可实现对行业标准的支持。
从需求追溯到设计、代码和测试
创建一个可将需求、模型元素、MATLAB 代码、数据字典、测试用例和测试框架链接起来的数字线索。追溯到外部需求工具。在 Embedded Coder 的代码生成报告中包括链接。
对形式化需求建模
在 Simulink 中，通过 Requirements Table 模块使用逻辑表达式指定形式化需求 (3:53)。使用仿真来验证这些形式化需求，并执行正确性、一致性和完整性分析。将形式化需求绑定到设计模型以验证合规性。使用 Simulink Design Verifier 生成链接到相应需求的测试。
一起处理需求和设计
使用需求透视图直接在 Simulink、System Composer 或 Stateflow 编辑器中查看、编写和组织需求。在不修改模型的情况下，通过拖放来创建链接，使用标记来查看模型中哪里有链接，以及用需求对图进行注释。
分析需求覆盖率
确定实现和测试中的空缺、缺失的需求和设计错误。使用追溯矩阵审核大量需求、模型和测试之间的链接；然后，通过添加链接来填补空缺。
产品资源：
“在以前的项目中，我们得手动进行需求覆盖率分析，而且结果也是基于主观评估。Simulink、Simulink Coverage 和 Requirements Toolbox 使我们能够自动进行这种分析，并提供客观的覆盖率指标，这有助于将认证的需求审核时间缩短高达 30%。”
