--- 产品参数 ---
- 所在地 北京
--- 产品详情 ---
产品概述
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十多年,咨询经验丰富,开展多个典型用户的建模规范咨询服务:
- 定制产品级规范检查流程
- 深度培训、指导/定制开发
- 定制产品级建模指南(规范)
- 定制产品级模型库、建模模板、配置模板
文章来源:经纬恒润
为你推荐
-
线控转向控制系统SbW2024-12-06 11:14
产品型号:线控转向控制系统SbW 产品功能:转向跟随、路感反馈等 -
顶灯控制器OHC2024-12-05 17:36
产品型号:顶灯控制器OHC 产品特点:电容按键威廉希尔官方网站 、LED 配光设计等 -
自适应远光灯系统ADB2024-12-05 17:23
产品型号:自适应远光灯系统ADB 产品特性:HCM、LDM等 -
自适应前照灯系统AFS2024-12-05 17:06
产品型号:自适应前照灯系统AFS 系统功能:左右调节功能等 -
CMS电子后视镜2024-12-05 16:42
产品型号:CMS电子后视镜 产品功能:摄像头高清输入:2.5-3M@60fps等 -
氛围灯系统(VALS)2024-12-05 16:15
产品型号:氛围灯系统(VALS) 产品特点:多种动态效果并支持定制、音乐律动等 -
车载摄像头CAM2024-12-05 15:54
产品型号:车载摄像头CAM 产品优势:小型化设计,满足乘用车/商用车不同车型使用和安装需求等 -
智能座舱感知系统SCSS2024-12-05 13:21
产品型号:智能座舱感知系统SCSS 产品优势:系统级、车规级解决方案等 -
增强现实抬头显示AR-HUD2024-12-05 11:54
产品型号:增强现实抬头显示AR-HUD 解决方案优势:防抖算法、大视场角等 -
多合一控制器IPU2024-12-05 11:07
产品型号:多合一控制器IPU 产品特点:400V 及800V双电压平台等
-
“驭势前行” - 经纬恒润再获PACCAR集团最佳供应商奖!2024-12-19 17:04
-
小尺寸,大作为 | 经纬恒润DMS一体机2024-12-16 17:07
-
经纬恒润与紫光同芯签署战略合作协议2024-12-12 17:03
-
经纬恒润荣获北京市“隐形冠军”称号!2024-12-10 01:00
-
上汽MG HS新车型搭载经纬恒润ADAS,荣获ENCAP/ANCAP 2023 五星安全评级2024-12-06 01:00
-
经纬恒润荣获ISO/SAE 21434汽车网络安全流程认证2024-12-03 01:00
-
经纬恒润L4级智能驾驶解决方案亮相链博会2024-11-29 01:00
-
【北京/上海/广州/重庆四地巡讲】以软件为核心的新架构下汽车电子关键威廉希尔官方网站 研讨会2024-11-28 15:58
-
经纬恒润荣获“2024年度TOP50智能汽车硬科技创新奖”2024-11-27 01:00
-
经纬恒润亮相希迈第六届汽车座椅大会,共塑驾乘新体验2024-11-26 01:00
-
底盘电控系统HIL仿真测试解决方案2024-12-23 17:55
-
动力传动系统HIL仿真测试解决方案2024-12-23 17:36
-
新能源系统HIL仿真测试解决方案2024-12-23 11:37
-
智能驾驶HIL仿真测试解决方案2024-12-23 10:54
-
MCAL开发解决方案2024-12-20 15:08
-
Bootloader解决方案—INTEWORK-EAS-Boot2024-12-20 14:13
-
信息安全软件解决方案 — INTEWORK-EAS-CyberSecurity2024-12-20 11:13
-
智能网联汽车网络安全测试解决方案2024-12-20 09:51
-
智能网联汽车网络安全开发解决方案2024-12-19 16:07
-
智能网联汽车功能安全及预期功能安全测试解决方案2024-12-19 14:04