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 执行检查
• 支持自定义规则

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

- 定制产品级规范检查流程 

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

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

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