需求工具箱™(以前的Simulink需求™)允许您在MATLAB万博1manbetx中创建、链接和验证需求®或仿真万博1manbetx软件®.您可以使用带有自定义属性的富文本创建需求,或者从需求管理工具中导入它们。
您可以将需求链接到MATLAB代码、System Composer™或Simulink模型和测试。万博1manbetx工具箱分析可追溯性,以确定实现或测试中的差距。设计突出显示和可跟踪矩阵总结了多个工件 之间存在的链接,并指导您解决任何差距。当需求更改时,链接的工件将被突出显示,并且您可以使用可跟踪关系图确定受影响的上游和下游工件。从Simulink设计中生成的代码包括代万博1manbetx码注释,这些注释记录了实现需求的位置,以协助审查。
您可以使用需求表形式化需求,并分析它们的一致性、完整性和正确性。需求透视图使您能够与设计一起查看和管理需求。当与Simulink一起使用时万博1manbetx,您可以通过简单的拖放创建到块的链接。
万博1manbetx通过IEC认证套件(适用于ISO 26262和iec61508)和DO认证套件(适用于DO-178),您可以获得对行业标准的支持。
形式要求
使用Simulink中的requirements Table块中的逻辑表达式指定正式需求。万博1manbetx使用模拟来验证这些形式需求,并对正确性、一致性和完整性进行分析。将正式需求绑定到设计模型,以验证遵从性。
需求和设计一起工作
使用需求透视图直接在Simulink、System Composer或statflow中查看、编写和组织需求万博1manbetx®编辑器。在不修改模型的情况下使用拖放创建链接,使用标识查看模型中存在的链接,并用需求注释图表。
分析需求覆盖范围
识别实现和测试中的差距、缺失的需求和设计错误。使用跟踪矩阵审查大型需求集、模型和测试之间的联系;然后,通过添加链接来解决差距。
产品资源:
在以前的项目中,需求覆盖分析是手动执行的,并且是基于主观评价的。万博1manbetxSimulink、Simulink覆盖和需求工具箱使我们能够自动化这种分析,并提供了客观的覆盖度量,这帮助我们缩短了多达30%的认证需求审查。”
Massimiliano Campagnoli, Alenia Aermacchi