Simulink Check™分析您的模型、需求和测试,以评估设计质量和符合标准。它提供了业界认可的检查和度量,可以在您设计时识别建模标准和指导原则的违反。支持的高完整性软件开发标准包括ISO 26262、DO-178C、DO-254、IEC 61508、ISO 25119、IEC 62304和MathWorks顾问委员会(MAB)风格指南。Simulink Check还支持安全编码标准,如CERT C, CWE和ISO/IEC TS 17961。您可以创建自定义检查,以符合您自己的标准或指南,这些标准或指南可以在编辑器中识别遵从性问题。
Simulink Check提供了诸如大小和复杂性等指标,用于评估设计的状态和质量。模型测试仪表板整合了来自您基于需求的测试活动的数据,以跟踪测试状态。自动模型重构允许您替换建模克隆,降低设计复杂性,并识别可重用内容。模型切片器工具隔离模型中的问题行为,并生成简化的模型以供调试。
通过IEC认证套件(适用于ISO 26262和iec61508)和DO认证套件(适用于DO-178),您可以获得对行业标准的支持。
边走边发现并修正错误
使用编辑时检查来识别错误,并在引入错误时解决它们,以避免以后返工。为Simulink创建自定义编辑时检查®、系统编写器™或状态流®以满足您组织自己的标准。
基于模型设计的CI/CD自动化
为Simulink简化采用和优化持续集成/持续交付(CI/CD)工作流程CI/CD Automation for Simulink Check™支持包.你可以定义你的CI/CD管道,在桌面上预审以避免构建失败,与CI系统(如Jenkins)集成®或Gitlab®并执行增量构建以减少构建时间。
度量质量、复杂性和可维护性
评估你的模型模型度量的大小、架构和复杂性帮助提高项目中MATLAB、Simulink和Stateflow工件的可读性、可维护性和可重用性。仪表板整合了指标,以帮助您监控符合ISO 26262、DO-178C、IEC 61508、IEC 62304、EN 50128和其他标准的进展情况。
产品资源:
“我们使用Simulink中的ARP4754系统设计模型来建立稳定、客观的需求。我们使用该模型作为do -178软件设计模型的基础,从而节省了时间,我们从中生成飞行代码,并重复使用验证测试进行软件验证。”
罗纳德·布朗鲁,空中客车直升机公司