Simulink检查

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

Simulink公司^®Check™（检查™）分析模型、需求和测试以评估设计质量和符合标准。它提供了业界认可的检查和指标在设计时对违反标准和准则的行为进行建模。支持的高完整性软件开发标准包括ISO 26262、DO-178C、DO-254、IEC 61508、ISO 25119、IEC 62304、，和MathWorks咨询委员会（MAB）风格指南。Simulink公司检查还支持安全编码标准，如CERT C、CWE和ISO/IEC TS 17961。您可以创建自定义检查以符合您自己的标准或可以在编辑器中正确识别合规性问题的指导方针。

Simulink公司检查为评估状态和您的设计质量。模型测试仪表板整合来自基于需求的测试活动，以跟踪测试状态。自动模型重构允许您替换建模克隆，降低设计复杂性，并确定可重用content.模型切片器工具隔离模型中的问题行为并生成用于调试的简化模型。