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和IEC 61508)和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软件设计模型的基础,从而节省了时间,我们从该模型生成飞行代码,并重用验证测试来进行软件验证。”
罗纳德·布兰路,空中客车直升机公司