Simulink Check

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

 

Simulink Check™ 提供行业认可的检查和规范,用于确定开发过程中违反标准和指南的情况。支持的高完整性软件开发标准包括 DO-178、ISO 26262、IEC 61508、IEC 62304 和 MathWorks Automotive Advisory Board (MAAB) 风格指南。即时编辑检查可在编辑时识别合规性问题。您可以创建自定义检查以符合您自己的标准或指南。

Simulink Check 提供大小和复杂度等指标,可用于评估模型的架构和标准合规性。整合的指标仪表板可让您评估设计状态和质量。自动模型重构可让您替换重复的设计元素,降低设计复杂度,并识别可重用内容。 Model Slicer 工具可以隔离模型中的问题行为,并生成用于调试的简化模型。

通过 IEC Certification Kit(对于 ISO 26262 和 IEC 61508)DO Qualification Kit(对于 DO-178),可提供对行业标准的支持。

 

检查模型质量

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

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

为了提高模型和生成代码的质量和安全性,Simulink Check 提供了预配置检查,它包括行业标准检查(如 DO-178C、DO-331、ISO 26262、IEC 61508 和 EN 50128)、MISRA C:2012、MAAB 风格指南检查、用于开发高完整性软件的 IEC 62304 标准和安全编码标准(如 CERT C、CWE 和 ISO/IEC TS 17961)检查。

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

在编辑时识别并修复错误

与拼写检查非常相似,可以帮助您避免文档中的拼写错误,即时编辑检查会在您编辑模型时通知您违规情况。您可以随时纠正错误,以便尽量避免在开发过程的后期进行代价高昂的返工和额外测试。

在设计时检测并修复合规性问题。

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

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

使用 Model Advisor 配置编辑器创建自定义检查。

测量和查看模型指标

使用基于模型的设计工具的指标评估您的项目状态。

收集模型指标

Simulink Check 会收集模型指标,您可以使用这些指标评估模型的架构、复杂性和可读性是否符合 DO-178、DO-331、IEC 61508、IEC 62304、ISO 26262 和 EN 50128 标准。

使用模型指标 API 收集自定义指标。 

使用控制板查看整合的指标

指标控制板在单个视图中集成了诸如模型大小、代码行数、指南合规性状态、重用性和复杂性等指标,便于您深入了解项目的质量。

包含设计状态的整合视图的指标控制板。

简化和调试复杂模型

使用 Model Slicer 并结合动态和静态分析来隔离功能。

突出显示依赖关系

Model Slicer 使用静态依赖关系分析,突出显示模块、信号和模型组件的相互依赖关系,根据仿真过程中的活动行为进行动态依赖关系分析,以便更好地了解大型或复杂模型中的功能依赖关系。

创建简化的独立模型

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

突出显示模型的待切片部分。 

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

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

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

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

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

识别和重构建模克隆

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

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

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

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

最新特性

自动克隆重构应用程序

检测子系统或库模式克隆,重构并检查重构模型的等效性

代码方式下的编辑时间检查

识别代码生成不支持的模块

调试属性证明冲突

从 Simulink Design Verifier 启动 Model Slicer,以调试属性证明冲突

新增 JMAAB 5.1 支持

对照 JMAAB 5.1 建模风格指南自动检查模型

新增 MAAB 3.0 和高完整性检查

改进质量并实现合规

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

开发和部署面向企业 IT/OT 系统和嵌入式设备的预测性维护软件。

获取免费试用版

30 天探索触手可及。

马上下载

准备购买?

获取详细价格和并探索相关产品。

您是学生吗?

获得 MATLAB 和 Simulink 学生版软件。

了解更多