企业号介绍

全部
  • 全部
  • 产品
  • 方案
  • 文章
  • 资料
  • 企业

经纬恒润

经纬恒润,专注于为全球汽车、无人运输等领域的客户,提供电子产品、研发服务和高级别智能驾驶整体解决方案。

728 内容数 64w+ 浏览量 116 粉丝

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

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

 

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

 

文章来源:经纬恒润

为你推荐

  • 线控转向控制系统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双电压平台等
  • 智能网联国产化的加速器 | 经纬恒润4G T-BOX2025-02-27 17:07

    近日,经纬恒润自主研发的首款国产化4GT-BOX产品量产,已批量交付国内某头部整车制造企业。经纬恒润国产化4GT-BOX依托4G蜂窝通讯、GNSS卫星定位及车辆总线通信等核心技术体系,具备为整车客户全面提供行车数据采集、高精度位置信息获取、车辆故障实时监控、车辆远程操控(开闭锁、空调控制、发动机启停)以及OTA升级等一系列丰富且完善的车联网服务能力。经纬恒润
  • 经纬恒润再获长城汽车第三方实验室资质认证2025-02-26 13:22

    近日,经纬恒润荣获长城汽车零部件级总线测试(车载以太网方向)的第三方实验室认可,此次认可不仅是对经纬恒润技术实力的肯定,更是对我们专业服务精神和持续创新能力的认可。
  • 喜报!经纬恒润五项产品荣获国家级认证2025-02-21 14:39

    近日,中国专利协会正式发布2024年度“国家级专利密集型产品”认定名单,经纬恒润的五项产品成功入选。此次认证不仅是对经纬恒润研发实力的权威背书,更彰显了其在汽车电子领域以专利构筑核心竞争力的战略成果,为行业高质量发展注入新动能。
  • 经纬恒润获国际信息安全认证,为全球化布局与合作提供有力支撑2025-02-17 17:04

    在数字化转型的浪潮中,信息安全已成为企业稳健发展的基石。近日,经纬恒润正式宣布通过ISO/IEC27001:2022信息安全管理体系认证(以下简称“ISO/IEC27001认证”),这一国际权威认证不仅标志着经纬恒润在信息安全管理领域达到了系统化、规范化的高标准,更为公司的全球化布局与跨行业合作提供了坚实保障。ISO/IEC27001作为当前国际公认的广泛适
  • 中国汽车供应链“质量100强”,经纬恒润入选!2025-02-10 17:04

    第二届中国汽车工业质量大会日前在上海嘉定成功召开。本次大会由国际汽车质量标准化协会(IAQSA)与上海市嘉定工业区管理委员会共同主办,并首次发布中国汽车工业质量竞争力QS指数,显示出我国汽车工业整体质量水平显著提升。中国汽车工业整车及零部件领域的近400家企业代表齐聚一堂,围绕汽车电动化、智能化高质量发展,软件、人工智能与电气安全治理,汽车与供应链品质创新等
  • 开门红:江苏涵润获得国家级认证2025-02-06 17:09

    近日,北京经纬恒润科技股份有限公司(以下简称经纬恒润)全资子公司江苏涵润汽车电子有限公司(以下简称江苏涵润)顺利通过国家高新技术企业认定。这一荣誉的获得不仅是对江苏涵润长期以来坚持自主研发、持续创新的高度认可,也是对公司深耕核心技术,不断突破壁垒,将科技成果转化为生产力,为行业进步贡献智慧和力量的有力证明。国家高新技术企业是指经营范围在《国家重点支持的高新技
  • 捷报频传 | 经纬恒润荣获一汽红旗“和衷共济 · 旗挚奖”2025-01-21 17:05

    1月17日,“旗领创新强链共赢—中国一汽2025红旗供应链伙伴大会”在红旗会堂隆重召开。本次会议,一汽红旗携手广大供应链伙伴共叙合作之谊、共聚创新之势。会上,经纬恒润凭借在激烈的市场竞争中主动破局、挖潜提效,与红旗品牌同心同向,荣获“和衷共济·旗挚奖”。多年来,经纬恒润依托自身在汽车电子产品行业的优势和丰富经验,不断突破技术瓶颈,通过打造敏捷、高效的供应链体
  • 经纬恒润再获多项荣誉!2025-01-21 14:34

    2025年已至,经纬恒润喜报连连。日前,经纬恒润连获两大奖项,分别为奇瑞汽车“卓越合作协同奖”及HI-LEX 的“成本改善优秀奖”。
  • 再起新篇 | 江西经纬恒润荣获2024年度江铃汽车“优秀供应商”称号2025-01-16 17:05

    2024年是充满挑战的一年,江铃汽车在商用车行业下行压力下,取得了逆势增长的亮眼成绩——整车销量超过34万辆,出口销量突破11万辆,两项数据均创下历史新高。为表彰对江铃汽车质量和交付做出卓越贡献的供应商,1月7日,以“同心历风雨携手赴新程”为主题的2025年江铃汽车供应商伙伴大会在南昌举行。大会上,江西经纬恒润迎来高光时刻,荣膺荣获“优秀供应商”称号!自合作
  • 经纬恒润再获中国汽车芯片产业创新战略联盟“突出贡献单位”2025-01-14 17:21

    近日,中国汽车芯片联盟全体成员大会在沪圆满举办,本次大会旨在凝聚产业链上下游力量,共建我国汽车芯片产业创新生态,促进联盟成员间的深度交流与合作。经纬恒润凭借对国产芯片在汽车零部件上的验证和应用,及在建立验证准则规范方面的卓越表现,再获中国汽车芯片产业创新战略联盟2024年度“突出贡献单位”称号。
  • 以太网休眠唤醒利器—OPEN Alliance TC102025-02-17 18:24

    TC10为车载以太网的休眠唤醒机制提供了统一的技术规范,特别是在汽车ECU数量不断增加、网络复杂度日益提升的背景下,TC10规范通过定义PHY的新增服务原语和接口、时间参数、指令描述和休眠唤醒过程时序等内容,为车载网络的节能设计和功能实现提供了重要支持。
    296浏览量
  • TC10以太网休眠唤醒测试详细指南!2025-02-17 18:22

    休眠唤醒互操作性测试是确保车载以太网设备在低功耗模式下正常工作的关键步骤。通过详细的测试用例和严格的通过标准,OPEN Alliance的测试规范确保了不同厂商设备之间的互操作性。
  • 自动驾驶规控算法验证到底需要什么样的场景仿真软件?2025-02-11 14:16

    ModelBase-AD凭借其优秀的静态场景模型、随机交通流模型、整车动力学模型,为各大主机厂和供应商提供了准确的自动驾驶规控算法验证仿真环境,提升了自动驾驶规控算法验证效率。
  • 智能驾驶数据采集回注测评工具 - ARS2025-01-15 17:50

    在数据驱动智能驾驶的时代背景下,开发者们总结了一条适用于智能驾驶的数据闭环开发流程,这条开发线路大致包括实车数据采集->数据存储->数据处理->数据分析->数据标注->模型训练->仿真测试->实车测试->部署发布等关键环节,通过不断开发迭代,逐步完善智能驾驶的能力。INTEWORK-ARS是经纬恒润自主研发的智能驾驶数据闭环工具,具有多个软件模块。
    746浏览量
  • CAN(FD)和LIN网络开发咨询服务2025-01-15 15:40

    随着汽车智能网联时代的到来,车载网络系统不仅需要提供共享信息通道、为整车节省线束,降低成本,还要能承载更丰富的功能。同时,智能驾驶、车联网、OTA、功能安全、信息安全等核心技术对车内网络通信提出了更高的要求。经纬恒润较早涉足总线技术,对此有深入的技术研究和项目经验积累,致力于为客户提供高附加值的服务。
  • 面向教学科研的智能车设计及实践实验室2025-01-15 14:36

    在汽车行业更加注重岗位技能与创新性思维的大背景下,高校教育/科研需要更加注重相关技能的培养。经纬恒润根据高校及科研机构当前缺少实践内容支撑,技术与主流技术不匹配等痛点,推出智能车设计与实践实验室方案。
    693浏览量
  • 集装箱码头堆场计划智能优化系统2025-01-13 11:37

    经纬恒润研发的堆场计划智能优化系统,以既有的码头操作系统为基础,建立与码头操作系统的数据接口,读取堆场结构、堆存状态、靠港船舶等信息,针对卸船、装船、集港、疏港等作业场景,围绕港口关注的箱区平衡、规避作业冲突、降低翻倒率、降低作业成本等核心指标,综合考虑各项经验原则和物理资源约束,建立堆场计划的运筹优化模型并求解,在多项核心指标上优于人工制定的堆场计划方案。
    131浏览量
  • OTA软件升级管理系统2025-01-13 09:39

    OTA(Over-the-Air Technology,空中下载技术)是通过空中下载的方式对车辆中的软件进行远程升级。经纬恒润OTA软件升级管理系统基于软件架构、应用架构、业务架构和技术架构,为整车提供云-管-端-屏完整OTA解决方案,可靠地完成系统更新、软件升级、功能迭代和安全漏洞修复等功能。
    145浏览量
  • 工程大数据平台2025-01-10 16:26

    由于无人驾驶系统开发需要长期迭代优化,其过程需要大量的路试数据支撑,经纬恒润针对无人驾驶系统持续运营和持续迭代的需求,开发并在云端部署了车路云工程大数据平台,依托5G网络,具有远程数据采集、压缩、传输、解析、回放与算法无缝衔接等功能,可服务于客户从研发到商业化运营的不同阶段。
  • 车辆电子档案系统2025-01-10 11:52

    在高阶自动驾驶场景和MaaS(Mobility as a Service)业务中,自动驾驶车辆的状态直接关系到整体运营的安全和效率。因此,拥有一套多维度预测、分析车辆指标的电子档案系统显得尤为重要。经纬恒润研发的车辆电子档案是汇总整车各类数据详细信息、对车辆上各项指标进行分析预测及辅助运营方进行车辆运营管理的综合系统。
    696浏览量