电子发烧友

型号：Model Inspector — 软件<b class='flag-s-7'>模型</b>静态规范检查工具 品牌：

Model Inspector （MI）原厂商是韩国 Suresoft，是 KOLAS 公认测评机构，旨在提升安全关键领域软件可信度。   MI 用于开发过程中模型

2022-04-22 13:54 经纬恒润 企业号

型号：原理<b class='flag-s-7'>图</b>Jupiter 品牌：

Jupiter是为昕板级EDA全流程方案中的原理图工具。采用全新的先进数据架构，大幅提升产品性能，满足日益复杂的电子系统设计需求。Jupiter通过智能化的符号库管理、结构化设计引擎、网络分析等核心

2022-04-11 13:47 上海为昕科技有限公司 企业号

型号：TPT 品牌：

基于模型的动态测试工具TPTTPT特性PikeTec公司是全球知名的基于模型的嵌入式系统测试工具TPT的软件供应商，总部位于德国柏林，其创始人均在戴姆勒公司拥有十多年的软件测试经验。TPT作为针对

2022-07-25 15:35 北汇信息POLELINK 企业号

型号：MXAM 品牌：

MXAM简介MES是一家专注于为嵌入式软件提供高质量开发工具和服务的高科技公司，尤其在基于模型的开发领域具有显著影响力。MXAM（Model Examiner）是一款由MES开发的专业工具，专为

2024-05-16 09:05 北汇信息POLELINK 企业号

型号：中<b class='flag-s-7'>图</b>仪器 品牌：中<b class='flag-s-7'>图</b>仪器

中图仪器高精密三坐标设备支持触发探测系统，能够对各种零部件的尺寸、形状及相互位置关系进行检测。支持中图Power DMIS、Rational DMIS、ARCOCAD等测量软件，支持中图Alpha

2025-06-10 11:20 中图仪器 企业号

型号：中<b class='flag-s-7'>图</b>仪器 品牌：中<b class='flag-s-7'>图</b>仪器

中图仪器国产高精度坐标检测仪主要用于机械制造、汽车、航天航空、船舶重工、风电、新能源等大型零件的测量；3C、工具原形等中小型零件的测量。涵盖箱体、机架、齿轮，凸轮、涡轮，蜗杆、叶片的曲线、曲面的测量

2025-06-12 13:38 中图仪器 企业号

型号：Model Inspector 品牌：

用于开发过程中模型的静态检查，包括规范检查、复杂度度量，提供MAAB、HIS、CG、MISRA_AC_SLSF、MISRA_AC_TL、dSPACE标准规范及检查，

2024-03-01 11:29 经纬恒润 企业号