CN / EN

搜索
搜索
研发服务

研发服务

DEVELOPMENT SERVICE
全部分类
浏览量:
1000

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

零售价
0.0
市场价
0.0
浏览量:
1000
产品编号
2119992
所属分类
服务
数量
-
+
库存:
0
产品描述

产品概述

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

  • 定制产品级规范检查流程 
  • 深度培训、指导 / 定制开发 
  • 定制产品级建模指南(规范) 
  • 定制产品级模型库、建模模板、配置模板
关键词:
模型
simulink
model inspector
扫二维码用手机看
未找到相应参数组,请于后台属性模板中添加

市场部

电话010-64840808

邮箱:market_dept@hirain.com

 

采购部
邮箱:
purchase@hirain.com

 

 

证券部

电话010-82263021

邮箱:ir@hirain.com

 

公共
邮箱:
reception-message@hirain.com

关注我们

这是描述信息
弹窗留言