Model Inspector — 软件模型静态规范检查工具

经纬恒润 2022-04-22 768

描述

Model Inspector （MI）原厂商是韩国 Suresoft，是 KOLAS 公认测评机构，旨在提升安全关键领域软件可信度。

MI 用于开发过程中模型的静态检查，包括规范检查、复杂度度量，提供 MAAB、HIS、CG、MISRA_AC_SLSF、MISRA_AC_TL、dSPACE 标准规范及检查，检查 Targetlink 等模型是否符合建模标准、评估模型设计的合理性。

MI 具备 ISO-26262/IEC61508 等认证资质，支撑基于模型的高可靠、高安全的嵌入式电子产品验证及确认平台，在现代、起亚等企业得到应用。

产品介绍

MI 是标准化的静态检查工具，可以对模型进行自动化、批量化建模规范检查、复杂度度量，提升用户的模型质量，其工作流程如图：

产品认证资质

工具具备 ISO-26262（汽车）/ IEC61508（通用）等认证资质。

支持的标准和检查项

支持大多数国际通用规则，480+ 条行业标准建模规则：

MAAB

Modeling design and style guidelines for the applicatin（MISRA_AC_SLSF）

Modeling style guidelines for the application of TargetLink in the context of automatic code generation（MISRA_AC_TL）

dSPACE Modeling Guidelines

Modeling Guidelines for High-Integrity System（HIS）

Modeling Guidelines for Code Generation（CG）

Suresoft Guidelines

用户自定义标准（定制规范检查）

支持复杂度度量

全方位模型度量，20 多种模型度量指标，从模型代码行数、复杂度，到各个模块、子系统、库，再到Stateflow 各类转移，还有数据结构层级分析、复杂度分析等，针对整个模型 / 单个子系统分别统计，支持用户定义检查阈值：

Number of subsystems

Number of blocks

Number of linked library

Number of charts

Number of all objects in the chart

Number of states

Number of transitions

Number of Model function

Number of Stateflow code lines

Effective lines of Model function code metric

Subsystem depth

Number of incoming transition

Number of outgoing transition

Number of atomic condition transition

Nondescriptive block name

Data and structure layer separation

Complexity (Local, Global)

Cohesion

Coupling (Fan-In)

Coupling (Fan-Out)

显著特点

支持市面上主流模型生成代码工具

功能完备度高

规则更全（标准规则 484 条），覆盖各历史版本规则

复杂度指标加倍（度量指标 21 种）

检查程度更完备（检查规则包含的每条描述）

工程易用性好

独立性好，面向用户友好界面

全程追溯，双向自动定位模型违规位置

工程化管理

提供违规原因、纠正建议

支持模型批量检查、局部子系统检查 / 不检查运行

自动修改违规细则

速度提升 50%~85% 左右

自动生成多种格式的报告（pdf，html，xls）

扩展性、开放性好

支持自定义复杂度度量指标比较阈值

支持自定义分组管理、复用、编辑已有规则

支持写代码调用 API 执行检查

支持自定义规则

应用案例 & 资深团队

使用MI进行建模规范自动化检查的用户广泛，如现代、起亚等，并为用户打造从建立规范到自动化检查的综合解决方案。

我们推广 MBD 十多年，咨询经验丰富，开展多个典型用户的建模规范咨询服务：

定制产品级规范检查流程

深度培训、指导 / 定制开发

定制产品级建模指南（规范）

定制产品级模型库、建模模板、配置模板

打开APP阅读更多精彩内容