Simulink Check 可对您的模型、需求和测试进行分析，以评估设计质量和标准合规性。它提供行业认可的检查和指标，用于识别设计过程中违反建模标准和规范的情况。支持的高完整性软件开发标准包括 ISO 26262、DO-178C、DO-254、IEC 61508、ISO 25119、IEC 62304、EN 50716 和 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 创建自定义的编辑时检查，以满足您组织自身的标准。
自动化模型审查和报告
为审查生成模型顾问报告。对违规情况进行申述以去除警告和错误。使用 Parallel Computing Toolbox 以并行方式在多台计算机上运行检查以加速合规性验证。
使用 AI 智能体运行检查
使用 Simulink Agentic Toolkit 和 Simulink Check，您可以使用 AI 智能体创建检查、审核合规性、查找问题并提出修复建议。您也可以自动化修复并重新检查模型，同时监督智能体的操作。
衡量质量、复杂度和可维护性
使用模型指标评估模型的大小、架构和复杂度，以帮助提高工程的 MATLAB、Simulink 和 Stateflow 工件的可读性、可维护性和可重用性。仪表板集中显示各种指标，帮助您监控 ISO 26262、DO-178C、IEC 61508、IEC 62304、EN 50128 和其他标准的合规进度。
基于模型的设计与 CI/CD 自动化
使用 CI Support Package for Simulink 简化采用并优化持续集成/持续交付 (CI/CD) 工作流。定义 CI/CD 管道，在桌面端对更改进行预审以避免构建失败，与诸如 Jenkins® 或 GitLab® 等 CI 系统集成，并执行增量构建以减少构建时间。
识别和重构建模克隆
分析模型以定位克隆和重复的建模模式。自动重构以改进可维护性、提高重用性并降低设计复杂度。检测低效模式并加以重构，以提高所生成代码的效率。
产品资源：
“我们使用 Simulink 中面向 ARP 4754 的系统设计模型，以建立稳定、客观的需求。我们使用该模型作为面向 DO-178 的软件设计模型的基础，利用该模型生成飞行代码，然后重用确认测试进行软件验证，从而节省了时间。”
Simulink Check 常见问题解答
Simulink Check 是一款 Simulink 附加产品，它通过自动识别潜在问题并验证模型是否符合建模规范或行业标准，帮助工程师提高其 Simulink 模型的质量。它提供用于运行检查、审核结果和跟踪质量度量的工具。
Simulink Check 支持高完整性标准，包括 ISO 26262、DO-178C、DO-254、IEC 61508、ISO 25119、IEC 62304、EN 50128 和 MathWorks Advisory Board 咨询委员会 (MAB) 规范，以及安全编码标准，如 CERT C、CWE 和 ISO/IEC TS 17961。
您可以配置、自定义和自动化自定义模型顾问检查，以确保模型符合您组织自己的标准和规范，从而直接在编辑器中识别合规问题。
模型测试仪表板集成来自基于需求的测试活动的数据，以监控单元测试工件的状态和质量，并评估基于需求的测试的完整性，以便符合 ISO 26262 和 DO-178C 标准。
编辑时检查会识别错误，并在错误引入 Simulink 画布时进行处理，以避免后续返工，从而允许您为 Simulink、System Composer 或 Stateflow 创建符合您组织标准的自定义检查。
模型切片器突出显示功能依赖关系，以隔离模型中的问题行为，并生成简化模型，用于调试基线测试失败、等效性测试失败或整数溢出等问题。
Simulink Check 分析模型以定位克隆和重复的建模模式，然后自动进行重构，以提高可维护性、增加重用并降低设计复杂度。
CI/CD Automation for Simulink Check Support Package 能够简化持续集成/持续交付工作流的采用，支持您定义管道、在桌面端上进行预鉴定、与 Jenkins 或 GitLab 等系统集成，以及执行增量构建。
Simulink Check 提供 MATLAB、Simulink 和 Stateflow 工件的大小、架构和复杂性度量，以帮助提高可读性、可维护性和可重用性，同时监控标准合规进度。
您可以与 Parallel Computing Toolbox 结合使用，在多个内核或集群上以并行模式运行检查，以减少处理时间并加速合规验证。
