企业号介绍

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

经纬恒润

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

722 内容数 62w+ 浏览量 112 粉丝

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双电压平台等

  • 中国汽车供应链“质量100强”，经纬恒润入选！2025-02-10 17:04

    第二届中国汽车工业质量大会日前在上海嘉定成功召开。本次大会由国际汽车质量标准化协会（IAQSA）与上海市嘉定工业区管理委员会共同主办，并首次发布中国汽车工业质量竞争力QS指数，显示出我国汽车工业整体质量水平显著提升。中国汽车工业整车及零部件领域的近400家企业代表齐聚一堂，围绕汽车电动化、智能化高质量发展，软件、人工智能与电气安全治理，汽车与供应链品质创新等
    609浏览量

  • 开门红：江苏涵润获得国家级认证2025-02-06 17:09

    近日，北京经纬恒润科技股份有限公司（以下简称经纬恒润）全资子公司江苏涵润汽车电子有限公司（以下简称江苏涵润）顺利通过国家高新技术企业认定。这一荣誉的获得不仅是对江苏涵润长期以来坚持自主研发、持续创新的高度认可，也是对公司深耕核心技术，不断突破壁垒，将科技成果转化为生产力，为行业进步贡献智慧和力量的有力证明。国家高新技术企业是指经营范围在《国家重点支持的高新技
    623浏览量

  • 捷报频传 | 经纬恒润荣获一汽红旗“和衷共济 · 旗挚奖”2025-01-21 17:05

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

  • 经纬恒润再获多项荣誉！2025-01-21 14:34

    2025年已至，经纬恒润喜报连连。日前，经纬恒润连获两大奖项，分别为奇瑞汽车“卓越合作协同奖”及HI-LEX 的“成本改善优秀奖”。
    578浏览量

  • 再起新篇 | 江西经纬恒润荣获2024年度江铃汽车“优秀供应商”称号2025-01-16 17:05

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

  • 经纬恒润再获中国汽车芯片产业创新战略联盟“突出贡献单位”2025-01-14 17:21

    近日，中国汽车芯片联盟全体成员大会在沪圆满举办，本次大会旨在凝聚产业链上下游力量，共建我国汽车芯片产业创新生态，促进联盟成员间的深度交流与合作。经纬恒润凭借对国产芯片在汽车零部件上的验证和应用，及在建立验证准则规范方面的卓越表现，再获中国汽车芯片产业创新战略联盟2024年度“突出贡献单位”称号。
    675浏览量

  • 共赢未来 | 经纬恒润荣获一汽解放“优秀供应商”称号2025-01-09 17:06

    近日，以“共创共进共赢共享”为主题的"一汽解放2025全球合作伙伴+大会"在青岛盛大召开。经纬恒润凭借过硬的产品质量和优质的服务，荣获一汽解放2024年度“优秀供应商”称号。该奖项的授予，是对供应商在产品质量、交付可靠性、技术创新和服务支持等方面的充分肯定。这一荣誉不仅是对经纬恒润技术实力的肯定，也是经纬恒润与一汽解放深厚合作关系的有力证明。目前，经纬恒润已
    944浏览量

  • 经纬恒润助力一汽解放荣获ISO21448预期功能安全流程认证证书2025-01-06 17:04

    近日，经纬恒润与一汽解放合作的预期功能安全开发项目顺利收官。该项目通过了国际认证机构DEKRA的审核，成功获得ISO21448流程体系证书。这一证书的获得，不仅标志着一汽解放在预期功能安全领域取得了重大进步，而且为自动驾驶产品的安全性提供了坚实的基础。ISO21448预期功能安全标准旨在解决由功能不足或由可合理预见的人员误用所导致的危害和风险。这一危害不源于
    655浏览量

  • TIAA 2024 【经纬恒润】面向常态化运营的L4级无人驾驶运营系统，助力工业物流降本提质2025-01-02 17:03

    近日，第11届TIAA大会、电子科技大学智能网联汽车创新大会在四川省成都市隆重举办。此次会议召集了来自中国、美国、英国、德国、俄罗斯、韩国、巴基斯坦、玻利维亚、泰国等11个国家的汽车、农业机械、矿山机械、施工机械、低速电动车、电子信息等领域的300余家企事业单位800名代表出席活动。活动聚焦汽车智能化与电动化的产业变革趋势，研究汽车领域未来所面临的机遇与挑战
    517浏览量

  • 经纬恒润高性能智能驾驶解决方案，已获江铃汽车定点2025-01-02 15:21

    智能化、电动化已经成为行业趋势，汽车智能化正在重塑未来出行图景。智能驾驶、智能座舱、智能网联成为塑造行业的核心技术；经纬恒润凭借其在汽车电子领域的深厚积累与技术创新，成功为江铃汽车定制了高级别智能驾驶解决方案、高科技智能座舱AR HUD、智能网联解决方案，并获得江铃汽车定点认可。
    744浏览量

  • 自动驾驶规控算法验证到底需要什么样的场景仿真软件？2025-02-11 14:16

    ModelBase-AD凭借其优秀的静态场景模型、随机交通流模型、整车动力学模型，为各大主机厂和供应商提供了准确的自动驾驶规控算法验证仿真环境，提升了自动驾驶规控算法验证效率。
    465浏览量

  • 智能驾驶数据采集回注测评工具 - ARS2025-01-15 17:50

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

  • CAN(FD)和LIN网络开发咨询服务2025-01-15 15:40

    随着汽车智能网联时代的到来，车载网络系统不仅需要提供共享信息通道、为整车节省线束，降低成本，还要能承载更丰富的功能。同时，智能驾驶、车联网、OTA、功能安全、信息安全等核心技术对车内网络通信提出了更高的要求。经纬恒润较早涉足总线技术，对此有深入的技术研究和项目经验积累，致力于为客户提供高附加值的服务。
    646浏览量

  • 面向教学科研的智能车设计及实践实验室2025-01-15 14:36

    在汽车行业更加注重岗位技能与创新性思维的大背景下，高校教育/科研需要更加注重相关技能的培养。经纬恒润根据高校及科研机构当前缺少实践内容支撑，技术与主流技术不匹配等痛点，推出智能车设计与实践实验室方案。
    681浏览量

  • 集装箱码头堆场计划智能优化系统2025-01-13 11:37

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

  • OTA软件升级管理系统2025-01-13 09:39

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

  • 工程大数据平台2025-01-10 16:26

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

  • 车辆电子档案系统2025-01-10 11:52

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

  • 数字孪生系统2025-01-10 10:05

    传统港口存在痛点，数字孪生系统通过在虚拟空间中建立与物理港口一一对应的模型，并接入实时生产运营数据，实现对码头的生产作业进行多角度、全方位的实时监控，推动码头作业及管理工作的数字化转型同时提高安全性。经纬恒润开发的智慧港口数字孪生系统采用B/S架构，包括数字孪生前端、数字孪生后端、仿真前端、仿真后端等组成部分。
    128浏览量

  • 车队远程驾驶系统2025-01-09 14:16

    远程驾驶系统是车队运营的关键“压舱石”，能够在车队运行出现问题时通过该系统提供的远程介入能力辅助车队恢复正常，保障车队运行效率始终处于高位，远程驾驶系统是车端与云端通过先进网络连接技术实现一体化融合的综合应用，经纬恒润远程驾驶系统具备丰富的功能和宽广的能力覆盖范围，集态势监控、故障诊断、远程操作于一体，可以实现对车队运行的多模态掌控和随时干预。
    447浏览量