在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 159|回复: 0

[资料] 模型诊断专家MI:助力把好模型质量关

[复制链接]
发表于 前天 18:52 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有账号?注册

x
本帖最后由 hirain123 于 2025-6-11 18:55 编辑

​       在车载电子电气系统深度影响行车安全的当下,电控系统电子化控制程度持续提升,汽车软件开发生命周期缩短。基于模型设计(MBD)开发控制器应用层软件成为主流,尤其在新能源与智能驾驶领域优势显著。但该模式下,模型、生成代码及最终软件的质量保障成为行业关注重点。企业亟需通过模型静态测试,统一建模风格、优化架构、规避缺陷,构建符合功能安全及ASPICE要求的质量体系。基于此,模型静态测试在保障模型质量及提升测试效率环节关键效用凸显。
1)实现模型规范自动化检测,提升人力与硬件资源利用效率
2)助力企业建立专属建模规范,应对功能安全开发、ASPICE流程改进级质量提升
3)搭建完善的供应商软件质量管理体系,确保模型代码可靠性
4)便于可持续集成,固化测试流程、加速迭代,实现数据可追溯与关联

Model Inspector模型静态测试工具
       Model Inspector是一款专门针对汽车、航空、轨交等行业的静态模型检查工具,可以对模型进行自动化、批量化建模规范和复杂度量的检查,提升用户模型质量。其内置符合ISO26262、IEC61508、DO178C、 IEC 62304、IEC62279、DO-330、IEC60080、EN50128等行业标准的映射规则集,且支持自定义构建规则集,可以根据所选规范、项目需求、使用频率等形成项目匹配的规范库,统一的建模风格、模型配置可以保证模型的复杂程度合适、架构设计合理,提高模型整体的可读性和可复用性。
图1.jpg
建模规范支持列项
Model Inspector主要技术指标和性能
1.  测试流程简洁清晰,可按需进行单/多模型,或各检测项自由组合式配置。
图2.jpg
模型静态测试流程
2.   支持多种行业模型规则集的检查,如DO-178,DSPACE、HIS、IEC 61508、IEC 62304、ISO 26262、MAB/MAAB、MISRA_AC_TL等。
图3.jpg
行业规则集覆盖情况
上图中各类规范介绍
  • MAB: MAB规范是由独立的行业工作组(多个行业的主要OEM和供应商组成)针对 MATLAB、Simulink、Stateflow和 Embedded Coder的使用制定的一套建模规范
  • MISRA_AC_SLSF: Simulink和Stateflow应用的建模设计和风格指南,由汽车工业软件可靠性协会(MISRA)推出
  • MISRA_AC_TL: 在自动代码生成环境中TargetLink应用的建模风格指南
  • DSPACE:MATLAB/Simulink/Stateflow和TargetLink建模指南
  • HIS:高完整性系统建模指南
  • CG:代码生成的建议指南
       除此,Suresoft结合多年厂商经验制定的一份工具专用建模指南SMG也可作为企业形成更完善企标的推荐参考。
3.   支持一键式自动检查规则。Model Inspector选定模型和规范后可以检查一键式自动检查规则,检查性能更快,还支持在每个项目的基础上管理模型、规则和检查结果。
图4.jpg
一键式自动检查
4.  支持模型的自动修复,一键轻松快速校正。Model Inspector支持一键自动校正模型,根据违规修正建议进行修改,可自动修改模块和模型属性,包含配置项、背景、模块名字、显示和形状等。
图5.jpg
一键式自动修正模型
5.   支持21种模型质量度量指标。Model Inspector支持21种模型度量指标,包含复杂度、内聚度、耦合度等,支持多层级模型的检查,可以自定义筛选模型或模块进行检测。从MATLAB代码行数、复杂度,到Simulink模块、子系统、库,再到Stateflow各类转移,以及数据结构层级分析、复杂度分析等,针对整个模型/单个子系统分别统计,支持用户定义检查阈值。
图6.jpg
模型度量指标
6.  显示检测后的Dashboard记录规则检查和度量分析结果,并与MATLAB进行联动。
图7.png
Dashboard平台管理
7.  提供历史标签,方便开发和测试人员对模型进行改进。测试人员与开发人员联合进行测试标记,共同推动模型质量改进。可查看违规趋势、差别检查规则和特定违规度量信息。
图8.jpg
协同开发测试
8.  生成多种类别测试报告,并可直接追溯模型问题。支持多种类别报告形式的生成,如PDF、DOC、XLSX、HTML格式等,并且报告可以进行模型的追溯,便于从报告问题直接定位到模型来进行修正。
9.  支持模型规则集和模型质量度量的定制开发。
图9.jpg
定制化规范
10.  获得多行业功能安全认证证书。同时,便捷支持CICD集成,如:Jenkins、Devops等。
        经纬恒润在嵌入式MBD测试领域拥有超过10年以上的咨询和实战经验,具有丰富的项目经验和深厚的技术功底,能够针对客户的特定需求提供定制化的模型测试咨询服务。
  • 定制产品级规范检查流程
  • 深度培训、指导/定制开发
  • 定制产品级建模指南
  • 定制产品级模型库、建模模板、配置模板
  • 模型静态测试服务
  • 模型动态测试服务

您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /1 下一条

小黑屋| 手机版| 关于我们| 联系我们| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2025-6-13 07:16 , Processed in 0.018263 second(s), 8 queries , Gzip On, MemCached On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表