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

产品概述

       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十多年，咨询经验丰富，开展多个典型用户的建模规范咨询服务：

• 定制产品级规范检查流程
• 深度培训、指导/定制开发
• 定制产品级建模指南（规范）
• 定制产品级模型库、建模模板、配置模板

文章来源：经纬恒润