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 十多年,咨询经验丰富,开展多个典型用户的建模规范咨询服务:
-
定制产品级规范检查流程
-
深度培训、指导 / 定制开发
-
定制产品级建模指南(规范)
-
定制产品级模型库、建模模板、配置模板