Simulink Check

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

 

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

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、MAB 风格指南检查、用于开发高完整性软件的 IEC 62304 标准和安全编码标准(如 CERT C、CWE 和 ISO/IEC TS 17961)检查。

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

在编辑时识别并修复错误

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

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

检查是否符合安全标准

您可以检查模型,找出有可能引入编码标准合规性问题的建模构造,从而提高所生成代码对于 CERTC、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 收集自定义指标。 

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

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

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

Track and Measure Testing Completeness

Assess the completeness of your requirements-based testing to comply with ISO 26262 and DO-178C.

Requirements-Based Testing Metrics

The Model Testing Dashboard provides an overview of the quality and completeness of your requirements-based testing and reflects guidelines in industry-recognized software development standards such as ISO 26262 and DO-178. It analyzes the artifacts in a project from multiple sources and tools such as requirements, models, and test results, and provides detailed metric measurements on their status.

The dashboard widgets summarize each metric to quickly evaluate the current results of testing, including adherence to guidelines, completion of testing for requirements, and the percentage of requirements covered by tests.

Assess the quality and completeness of requirements-based testing with the Model Testing Dashboard.

Review and Manage Requirements-Based Test Artifacts

The Model Testing Dashboard analyzes the artifacts and traceability links within your project and shows the functional requirements, test cases, and test results for each component in your project in the Artifacts panel. To help you identify gaps in implementation or verification, artifacts with no traceability to models are highlighted.

The dashboard shows you which artifacts are not traced to a component in the project.

Assess Testing Completeness in Accordance with ISO 26262

Use the Model Testing Dashboard to assess the quality and completeness of your requirements-based testing activities in accordance with ISO 26262-6:2018. The dashboard monitors traceability between requirements, tests, and test results. It analyzes the implementation and verification artifacts in your project and provides completeness and quality metrics for the requirements-based test cases and test results in accordance with ISO 26262-6:2018. The dashboard organizes requirements, test cases, and test results under the models that they trace to, providing you with insight into the testing completeness and structural coverage for each unit.

Click the dashboard widget to see details of the metric in a table for ISO 26262 reviews.

简化和调试复杂模型

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

突出显示依赖关系

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

创建简化的独立模型

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

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

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

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

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

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

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

识别和重构建模克隆

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

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

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

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

最新特性

MAB 5.0 支持

对照 MAB 5.0 建模风格指南自动检查模型

改进的 Model Advisor 配置编辑器

使用更灵活、更简化的编辑器创建和更新自定义检查配置

DO-254 检查

验证是否符合 DO-254 标准

新增 JMAAB 5.1 检查

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

从代码角度出发的即时编辑检查

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

自动化的克隆重构应用

检测子系统或库中以克隆模式建立的模型,重构这些模型并检查其等效性

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