model inspector—软件模型静态规范检查工具-凯发k8国际首页登录

产品概述

        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进行建模规范自动化检查的用户广泛，如现代、起亚等，并为用户打造从建立规范到自动化检查的综合凯发k8国际首页登录的解决方案。

经纬恒润推广mbd十多年，咨询经验丰富，开展多个典型用户的建模规范咨询服务：

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