Simulink Check 可对您的模型、需求和测试进行分析，以评估设计质量和标准合规性。它提供行业认可的检查和指标，用于识别设计过程中违反建模标准和指南的情况。支持的高完整性软件开发标准包括 ISO 26262、DO-178C、DO-254、IEC 61508、ISO 25119、IEC 62304 和 MathWorks Advisory Board 咨询委员会 (MAB) 风格指南。Simulink Check 还支持 CERT C、CWE 和 ISO/IEC TS 17961 等安全编码标准。您可以创建自定义检查以符合您自己的标准或指南，这些标准或指南可以直接在编辑器中标识合规性问题。
Simulink Check 提供了规模和复杂度等指标，以评估设计的状态和质量。模型测试仪表板可整合来自基于需求的测试活动的数据，以跟踪测试状态。自动模型重构可用于替换建模克隆，降低设计复杂度，并识别可重用的内容。模型切片器工具可以隔离模型中有问题的行为，并生成简化模型以用于调试。
配合 IEC Certification Kit (for ISO 26262 and IEC 61508) 和 DO Qualification Kit (for DO-178)，还可实现对行业标准的支持。
在编辑同时查找并修复错误
使用编辑时检查来标识错误，并在引入错误时就解决它们，以避免以后返工。为 Simulink、System Composer 或 Stateflow 创建自定义编辑时检查，以满足您所在组织自己的标准。
基于模型的设计与 CI/CD 自动化
使用 CI/CD Automation for Simulink Check Support Package 简化实施并优化适用于 Simulink 的持续集成/持续部署 (CI/CD) 工作流。您可以定义 CI/CD 管道，在桌面端进行预审以避免编译失败，与诸如 Jenkins® 或 GitLab® 等 CI 系统集成，并执行增量编译以减少编译时间。
跟踪基于需求的测试
监控单元测试交付物的状态和质量，以评估基于需求的测试的完整性以及是否符合 ISO 26262 和 DO-178C 标准。使用 SIL 代码测试控制板和 PIL 代码测试控制板中的度量结果评估软件在环 (SIL) 和处理器在环 (PIL) 测试的代码测试状态和质量。
衡量质量、复杂度和可维护性
使用模型指标评估模型的大小、架构和复杂度，以帮助提高工程中 MATLAB、Simulink 和 Stateflow 工件的可读性、可维护性和可重用性。控制板集中显示各种指标，帮助您监控 ISO 26262、DO-178C、IEC 61508、IEC 62304、EN 50128 和其他标准的合规进度。
自动化模型审查和报告
为审查生成模型顾问报告。对违规情况进行申诉以去除警告和错误。使用 Parallel Computing Toolbox 以并行方式在多台计算机上运行检查以加速合规性验证。
标识和重构模型中的建模克隆
分析模型以定位克隆和重复的建模模式。自动重构以改进可维护性、提高重用性并降低设计复杂度。检测低效模式并对其重构以提高代码效率。
产品资源:
“我们使用 Simulink 中面向 ARP 4754 的系统设计模型，以建立稳定、客观的需求。我们使用该模型作为面向 DO-178 的软件设计模型的基础，利用该模型生成飞行代码，然后重用确认测试进行软件验证，从而节省了时间。”
