Requirements Toolbox

通过 Requirements Toolbox™，您可以在 MATLAB^® 或 Simulink^® 中编写、链接和验证需求。您可以使用具有自定义属性的富文本来创建需求，也可以从需求管理工具导入需求。

您可以将需求链接到 MATLAB 代码，System Composer™ 或 Simulink 模型，以及测试。该工具箱会分析可追溯性，以确定实现或测试中的缺失。设计突出显示功能和可追溯性矩阵会概要显示多个工件之间哪里存在链接，并指导您消除任何缺失。当需求发生更改时，与之链接的工件会突出显示，您可以使用可追溯性图来确定受影响的上游和下游工件。从 Simulink 设计生成的代码包括代码注释，这些注释会记录实现了需求的位置以帮助进行审核。

您可以使用“需求表”来将需求形式化并对其进行一致性、完整性和正确性分析。您可以使用“需求透视”功能，与设计一起查看和管理需求。当与 Simulink 结合使用时，您可以通过简单的拖放操作创建到模块的链接。

对行业标准的支持可通过 IEC Certification Kit (for ISO 26262 and IEC 61508) 和 DO Qualification Kit (for DO-178) 获得。