需求Toolbox™让您在MATLAB中的作者，链接和验证要求^®或模拟万博1manbetx^®。您可以使用具有自定义属性的丰富文本创建需求，也可以从需求管理工具中导入它们。

您可以将要求链接到MATLAB代码，System Composer™或Simulink模型以及测试。万博1manbetx该工具箱分析了可追溯性，以识别实现或测试中的差距。该设计突出显示和可追溯性矩阵总结了多个工件之间存在链接的位置，并指导您解决任何差距。当需求发生变化时，突出显示了链接的伪影，您可以确定使用可追溯性图影响的上游和下游伪影。来自Simulink设计的生成代码包括代万博1manbetx码注释，这些代码注释在实施要求的地方进行了文档以协助评论。

您可以使用需求表进行形式化要求并分析它们的一致性，完整性和正确性。需求的观点使您能够与设计一起查看和管理需求。与Simulink一起使用时，万博1manbetx您可以使用简单的拖放来创建指向块的链接。

万博1manbetx可以通过IEC认证套件（对于ISO 26262和IEC 61508）和做资格套件（对于DO-178）。