需求Toolbox™(以前为Simulink Enesubly™万博1manbetx)使您可以在MATLAB中作者,链接和验证要求®或模拟万博1manbetx®。您可以使用具有自定义属性的丰富文本创建需求,也可以从需求管理工具中导入它们。
您可以将要求链接到MATLAB代码,System Composer™或Simulink模型以及测试。万博1manbetx该工具箱分析了可追溯性,以识别实现或测试中的差距。设计突出显示和可追溯性矩阵总结了多个文物之间存在链接的位置,并指导您解决任何差距。当需求发生变化时,突出显示了链接的伪影,您可以确定使用可追溯性图影响的上游和下游伪影。来自Simulink设计的生成代码包括代万博1manbetx码注释,这些代码注释在实施要求的地方进行了文档以协助评论。
您可以使用需求表进行形式化要求并分析它们的一致性,完整性和正确性。需求的观点使您能够与设计一起查看和管理需求。与Simulink一起使用时,万博1manbetx您可以使用简单的拖放来创建指向块的链接。
万博1manbetx可以通过IEC认证套件(对于ISO 26262和IEC 61508)获得对行业标准的支持,并进行资格套件(DO-178)。
模型正式要求
使用Simulink中的需求表块使用逻辑表达式指定正式要求。万博1manbetx使用仿真来验证这些正式要求,并对正确性,一致性和完整性进行分析。将正式要求绑定到设计模型以验证合规性。
一起工作和设计
使用需求观点直接在Simulink,System Composer或stateFlow中查看,作者和组织要求万博1manbetx®编辑。通过使用拖放而无需修改模型,使用徽章来查看模型中存在的链接以及带有要求的注释图,创建链接。
分析需求覆盖范围
确定实施和测试,缺失要求和设计错误中的差距。使用可追溯性矩阵审查大量需求,模型和测试之间的联系;然后,通过添加链接来解决差距。
产品资源:
“在先前的项目上,要求覆盖范围分析是手动进行的,并基于主观评估。万博1manbetxSimulink,Simulink覆盖范围和需求工具箱使我们能够自动进行此分析并提供了客观的覆盖量指标,这帮助我们缩短了对认证的要求审查,最高可达30%。”
Massimiliano Campagnoli,Alenia Aermacchi