主要内容

开始使用金宝app检查

测量设计质量,跟踪验证活动,并验证符合标准

金宝app®检查™分析您的模型、需求和测试,以评估设计质量和符合标准。它提供了行业认可的检查和指标,用于识别开发过程中违反的建模标准和指导原则。金宝app支持的高完整性软件开发标准包括ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119, IEC 62304和MathWorks Advisory Board (MAB)风格指南。金宝app仿真软件检查还支持安全金宝app编码标准,如CERT C, CWE和ISO/IEC TS 17961。您可以创建自定义检查以符合您自己的标准或指导方针。编辑时检查在您编辑时识别遵从性问题。

金宝app仿真软件检查为评估设计的状态和质量提供尺寸和复杂性等指标。模型测试仪表板整合来自基于需求的测试活动的数据,以跟踪测试状态。自动模型重构允许您替换建模克隆,降低设计复杂性,并识别可重用的内容。 Model Slicer工具隔离了模型中的问题行为,并生成了用于调试的简化模型。

金宝app对行业标准的支持可以通过IEC认证套件(适用于ISO 26262和IEC 61508)DO认证套件(用于DO-178)

视频

编辑时检查以尽早发现遵从性问题
了解编辑时检查如何在编辑时识别Simulink或statflow中的指南或标准问题。金宝app

建模标准遵从性
使用Model Advisor验证与标准的遵从性

在DO-178C开发过程中使用合格的工具,第4部分:合格的模型验证-模型标准
按照DO-178C和DO-331的要求,进行静态分析,验证模型的标准、一致性和准确性。