Simulink Check

衡量设计质量、跟踪验证活动并验证标准合规性

 

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 Certification Kit(面向 ISO 26262 和 IEC 61508)DO Qualification Kit(面向 DO-178),还可实现对行业标准的支持。

开始:

检查模型质量

验证是否符合风格指南和建模标准。

用于开发高完整性软件的即用型检查

为了提高模型和生成代码的质量和安全性,Simulink Check 提供各种预配置合规性检查,针对 ISO 26262、DO-178C、DO-331、DO-254、IEC 61508、ISO 25119、EN 50128 和 MISRA C:2012 等行业标准,MathWorks 咨询委员会 (MAB) 指南,面向高完整性软件开发的 IEC 62304 标准,以及 CERT C、CWE 和 ISO/IEC TS 17961 等安全编码标准。

包含结果和建议操作的交互式报告。

在编辑时识别并修复错误

编辑时检查可在您编辑模型的过程中指出违规情形,类似于拼写检查帮助您避免文档中的拼写错误。您可以即时纠正错误,从而尽可能避免开发后期代价高昂的返工和额外测试。

在设计时使用编辑时检查来检测并修复合规性问题。

配置、自定义和自动化模型检查

为确保您的模型符合您所在组织的标准或指南,您可以使用模型顾问 API 或模型顾问配置编辑器定制建模检查和配置。您可在多台计算机上并行运行检查,以加速合规性验证。

使用模型顾问配置编辑器创建自定义检查。

检查安全标准合规性

为了减少生成代码中的 CERTC、CWE 和 ISO/IEC TS 17961 等合规性问题,您可以检查模型,找出可能引入编码标准合规性问题的建模构造。编辑时检查可以在您进行更改的过程中识别问题,例如添加了安全编码标准不建议使用的代码块。

检测有可能影响生成代码的安全编码标准合规性的代码块。

测量和查看模型指标

使用基于模型的设计工具提供的指标评估工程的状态。

收集模型指标以衡量质量

借助 Simulink Check 收集的模型指标,您可以基于 ISO 26262、DO-178C、DO-331、DO-254、IEC 61508、IEC 62304、EN 50128 和其他标准合规性评估模型的架构、复杂度和可读性。

收集和自定义模型指标以评估质量。

使用仪表板查看整合的指标

指标仪表板在单个视图中集成了模型大小、代码行数、指南合规性状态、可重用性和复杂度等指标,便于您深入了解工程的质量。在模型审核过程中,可以使用仪表板审核设计质量及其标准合规性。

指标仪表板提供的设计状态整合视图。

跟踪和衡量测试完整性

评估基于需求的测试的完整性,以实现 ISO 26262 和 DO-178C 合规。

基于需求的测试指标

模型测试仪表板可针对基于需求的测试提供其质量和完整性概览,并反映行业认可的软件开发标准(如 ISO 26262 和 DO-178)中的相关指南。它可以对工程中来自多个源和工具的工件(如需求、模型和测试结果)进行分析,并提供详细的状态指标测量结果。

仪表板小组件可以对每项指标进行汇总,以快速评估当前测试结果,包括指南遵循情况、测试相对于需求的完成情况,以及测试对需求的覆盖比例。

查看和管理基于需求的测试工件

模型测试仪表板可对工程中的工件和可追溯性链接进行分析,并在“工件”面板中显示工程中每个组件的功能需求、测试用例和测试结果。无法追溯到模型的工件会突出显示,以便您找到实现或验证中的问题所在。

仪表板可以显示哪些工件没有追溯到工程中的组件。

根据 ISO 26262 评估测试完整性

可以使用模型测试仪表板,根据 ISO 26262-6:2018 来评估基于需求的测试活动的质量和完整性。此仪表板可监控需求、测试和测试结果之间的可追溯性。它可以对工程中的实现和验证工件进行分析,并根据 ISO 26262-6:2018 提供基于需求的测试用例和测试结果的完整性和质量指标。此仪表板会将需求、测试用例和测试结果整理到其所追溯的模型下,便于您深入了解每个单元的测试完整性和结构覆盖率。

单击仪表板小组件可查看针对 ISO 26262 审核的指标详情表。

简化和调试复杂模型

使用模型分块器并结合动态和静态分析来隔离功能。

突出显示依存关系

模型分块器分析静态依存关系,以突出显示模块、信号和模型组件的相互依存关系,并根据仿真过程中的活动行为分析动态依存关系,以帮助您更好地理解大型或复杂模型中的功能依存关系。

调试设计错误或测试故障

在 Simulink Test™ 中测试失败时,或在 Simulink Design Verifier™ 中发现属性冲突时,可以使用模型分块器启动调试,以便隔离错误原因、更快地解决问题。

创建简化的独立模型

模型分块器可以根据用户指定的起点、记录的信号或仿真时间窗来隔离模型的一部分,然后将其另存为保留了仿真行为的较小模型,以便您调试和改进性能。

突出显示模型中可以切片为简化模型以进行调试的部分。

通过 Stateflow 进行基于活动的时间切片

只有当 Stateflow® 中选定的状态和转移在仿真过程中同时处于活动状态时,模型突出显示才可以限制为仿真时间间隔,以隔离感兴趣的行为。

识别状态激活时的有效逻辑。

重构模型以改进设计并提高组件可重用性

识别可自动重构的克隆件和建模模式,以提高可维护性。

识别和重构建模克隆件

识别建模克隆件工具会分析模型以找到重复的建模模式。然后,您可以使用可重用的库自动重构这些重复的克隆件,以提高可维护性并降低设计复杂度。

变换模型以提高组件可重用性和模型可读性

Model Transformer 工具会识别可以变换为 Variant Source 或 Variant Subsystem 模块的建模模式,并重构模型以改进模型组件化和可重用性。它可以识别可消除的数据存储块,以提高可读性。

查找可以用变体替换的建模模式。

最新特性

模型测试仪表板

跟踪基于需求的测试的完整性以实现 ISO 26262 等标准合规

错误调试工作流

突出显示在基线测试中影响测试不通过信号或导致设计错误(如模型分块器溢出)的模型组件

ISO 25119 检查

验证 ISO 25119 标准合规性

模型顾问排除项编辑器

这一支持自定义的编辑器经过升级,可用于编辑和管理排除项

模型顾问指标检查性能

子系统深度和圈复杂度指标经过简化,可以更快地收集和分析模型指标数据

克隆检测

将完全克隆件替换为 Subsystem Reference 模块以重构模型

高完整性系统检查

使用 Simulink Design Verifier 检测违反高完整性指南的情况

MAB/JMAAB 指南

选择指南的各个子 ID 以更精细地控制指南检查

关于这些特性和相应函数的详细信息,请参阅发行说明

Panel Navigation

使用 Simulink 开发 ISO 26262 应用的 11 项最佳实践

管理模型接口复杂度和数据交换。生成代码,不受干扰且无需分隔文件。提升验证、确认和文档记录各阶段的总体效率。