--- 产品参数 ---
- 所在地 北京
--- 产品详情 ---
Model Inspector (MI)原厂商是韩国 Suresoft,是 KOLAS 公认测评机构,旨在提升安全关键领域软件可信度。
MI 用于开发过程中模型的静态检查,包括规范检查、复杂度度量,提供 MAAB、HIS、CG、MISRA_AC_SLSF、MISRA_AC_TL、dSPACE 标准规范及检查,检查 Targetlink 等模型是否符合建模标准、评估模型设计的合理性。
MI 具备 ISO-26262/IEC61508 等认证资质,支撑基于模型的高可靠、高安全的嵌入式电子产品验证及确认平台,在现代、起亚等企业得到应用。
产品介绍
MI 是标准化的静态检查工具,可以对模型进行自动化、批量化建模规范检查、复杂度度量,提升用户的模型质量,其工作流程如图:
产品认证资质
工具具备 ISO-26262(汽车)/ IEC61508(通用)等认证资质。
支持的标准和检查项
支持大多数国际通用规则,480+ 条行业标准建模规则:
- MAAB
- Modeling design and style guidelines for the applicatin(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 多种模型度量指标,从模型代码行数、复杂度,到各个模块、子系统、 库, 再到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 Model function
- Number of Stateflow code lines
- Effective lines of Model 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)
显著特点
- 支持市面上主流模型生成代码工具
- 功能完备度高
- 规则更全(标准规则 484 条),覆盖各历史版本规则
- 复杂度指标加倍(度量指标 21 种)
- 检查程度更完备(检查规则包含的每条描述)
- 工程易用性好
- 独立性好,面向用户友好界面
- 全程追溯,双向自动定位模型违规位置
- 工程化管理
- 提供违规原因、纠正建议
- 支持模型批量检查、局部子系统检查 / 不检查运行
- 自动修改违规细则
- 速度提升 50%~85% 左右
- 自动生成多种格式的报告(pdf,html,xls)
- 扩展性、开放性好
- 支持自定义复杂度度量指标比较阈值
- 支持自定义分组管理、复用、编辑已有规则
- 支持写代码调用 API 执行检查
- 支持自定义规则
应用案例 & 资深团队
使用MI进行建模规范自动化检查的用户广泛,如现代、起亚等,并为用户打造从建立规范到自动化检查的综合解决方案。
我们推广 MBD 十多年,咨询经验丰富,开展多个典型用户的建模规范咨询服务:
- 定制产品级规范检查流程
- 深度培训、指导 / 定制开发
- 定制产品级建模指南(规范)
- 定制产品级模型库、建模模板、配置模板
为你推荐
-
Helix QAC—源码级静态自动化测试工具2024-03-15 16:59
产品型号:Helix QAC 所在地:北京 -
Model Inspector—软件模型静态规范检查工具2024-03-01 11:29
产品型号:Model Inspector 所在地:北京 -
pure variants—产品平台化及变体管理工具2024-03-01 10:22
产品型号:pure::variants 型号:pure::variants -
Codebeamer—软件全生命周期管理轻量级平台2024-02-29 17:27
产品型号:Codebeamer 所在地:北京 -
DOORS和Reqtify—需求管理和需求追溯工具2024-02-29 15:48
产品型号:DOORS、Reqtify 所在地:北京 -
ModelCenter—多学科设计优化软件2024-02-29 14:37
产品型号:ModelCenter 所在地:北京 -
Mach Systems—总线接口转换工具2024-02-29 13:56
产品型号:Mach Systems 所在地:北京 -
经纬恒润全面布局车载摄像头,打造智驾、座舱新生态2022-07-19 13:20
产品型号:车载摄像头 所在地:北京 -
新一代虚拟驾驶仿真平台2022-06-07 11:34
产品型号:新一代虚拟驾驶仿真平台 所在地:北京 -
Eggplant—HMI 自动化测试软件2022-06-01 11:37
产品型号:Eggplant 所在地:北京
-
经纬恒润功能安全软件库SAFETY BASE V1.0正式发布2024-04-23 08:00
-
经纬恒润携手龙拱港亮相2024年世界物流大会—内河港口无人水平运输新篇章2024-04-19 08:00
-
经纬恒润再次入选 “北京市诚信品牌企业”2024-04-16 08:00
-
经纬恒润首个重卡车身域控制器成功量产2024-04-12 08:00
-
经纬恒润赋能唐山港智慧化港口建设2024-04-12 08:00
-
经纬恒润AUTOSAR产品成功适配芯来RISC-V车规内核2024-03-29 08:00
-
天津车联网技术创新联合体,正式成立!2024-03-26 10:00
-
经纬恒润出席2024第五届软件定义汽车论坛暨AUTOSAR中国日2024-03-19 08:00
-
经纬恒润推出新一代快速控制原型产品 ControlBase_S2024-03-15 08:00
-
高级别智能驾驶业务系列:自研CPS车辆精准对位系统2024-03-05 08:00
-
网络安全数字孪生:一种新颖的汽车软件解决方案2024-04-22 17:19
-
基于信息安全的软测工具链解决方案2024-04-18 18:48
-
CANXL标准发布 | (1)一文读懂CANXL数据链路层总线,通信再进化!2024-04-12 16:12
-
域控软件安全隔离关键技术剖析:MCU域 VS SOC域2024-04-11 14:00
-
一文带你全面了解功能安全软件监控方案2024-04-10 14:11
-
HMI测试服务2024-03-01 11:08
-
CMMI/ASPICE认证咨询及工具服务2024-03-01 10:54
-
经纬恒润需求工程咨询和实施服务2024-02-29 15:09
-
单元/集成测试服务2024-02-29 13:27
-
智能网联汽车信息安全测试解决方案2021-12-23 10:58