产品概述
Model Inspector(MI)原厂商是韩国Suresoft,是KOLAS国际公认测评机构,旨在提升安全关键领域软件可信度。MI用于开发过程中模型的静态检查,包括规范检查、复杂度度量,提供MAAB、HIS、CG、MISRA_AC_SLSF、MISRA_AC_TL、dSPACE标准规范及检查,检查Simulink、Targetlink等模型是否符合建模标准、评估模型设计的合理性。MI具备ISO 26262/IEC61508等认证资质,支撑基于模型的高可靠、高安全的嵌入式电子产品验证及确认平台,在现代、起亚等企业得到应用。
产品介绍
MI是标准化的静态检查工具,可以对模型进行自动化、批量化建模规范检查、复杂度度量,提升用户的模型质量,其工作流程如图:
- 产品认证资质
工具具备ISO-26262(汽车)/IEC61508(通用)等认证资质。
- 支持的标准和检查项
支持大多数国际通用规则,480+条行业标准建模规则:
MathWorks Automotive Advisory Board(MAAB)
Modeling design and style guidelines for the application of Simulink and Stateflow(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多种模型度量指标,从MATLAB代码行数、复杂度,到Simulink模块、子系统、库,再到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 MATLAB function
Number of Stateflow code lines
Effective lines of MATLAB 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)
- 支持检查的产品
MATLAB/Simulink/Stateflow(MathWorks)R2011b及以上
TargetLink(dSPACE)v3.3及以上
显著特点
- 功能完备度高
规则更全(标准规则484条),覆盖各历史版本规则
复杂度指标加倍(度量指标21种)
检查程度更完备(检查规则包含的每条描述)
- 工程易用性好
独立性好,面向用户友好界面
全程追溯,双向自动定位模型违规位置
工程化管理
提供违规原因、纠正建议
支持模型批量检查、局部子系统检查/不检查运行
自动修改违规细则
速度提升50%~85%左右
自动生成多种格式的报告(pdf、html、xls)
- 扩展性好、开放性好
支持自定义复杂度度量指标比较阈值
支持自定义分组管理、复用、编辑已有规则
支持写代码调用API执行检查
支持自定义规则
应用案例
使用MI进行建模规范自动化检查的用户广泛,如现代、起亚等,并为用户打造从建立规范到自动化检查的综合解决方案。
经纬恒润推广MBD十多年,咨询经验丰富,开展多个典型用户的建模规范咨询服务:
- 定制产品级规范检查流程
- 深度培训、指导/定制开发
- 定制产品级建模指南(规范)
- 定制产品级模型库、建模模板、配置模板