需求工具箱

需求工具箱™允许您在MATLAB中编写、链接和验证需求^®或Simulink^®。您可以使用带有自定义属性的富文本或从需求管理工具导入它们。

您可以将需求链接到MATLAB代码、System Composer™或Simulink模型以及测试。工具箱分析可追溯性以识别实现或测试中的差距。设计重点和可追溯性矩阵总结跨多个工件存在链接的位置，并指导您解决任何差距。当需求更改时，链接的工件将突出显示，您可以使用可追溯性确定受影响的上游和下游工件图表。Simulink设计生成的代码包括代码注释，用于记录需求所在实施以协助审查。

您可以将需求形式化并对其进行分析，以确保一致性、完整性和使用需求表的正确性。需求透视图使您能够查看和管理需求以及设计。与Simulink一起使用时，可以通过简单的拖放操作创建指向块的链接。

可通过以下方式获得对行业标准的支持IEC认证工具包（适用于ISO 26262和IEC 61508）和DO鉴定工具包（适用于DO-178）。