新闻资讯
分类
Model InspectoCQ9电子r—软件模型静态规范检查工具
发布日期：2023-11-18 20:05:57
（MI）原厂商是韩国Suresoft，是KOLAS国际公认测评机构，旨在提升安全关键领域软件可信度。MI用于开发过程中模型的静态检查，包括规范检查、复杂度度量，提供MAAB、HIS、CG、MISRA_AC_SLSF、MISRA_AC_TL、CQ9传奇电子 CQ9电子dSPACE标准规范及检查，检查Simulink、Targetlink等模型是否符合建模标准、评估模型设计的合理性。MI具备ISO 26262/IEC61508等认证资质，支撑基于模型的高可靠、高安全的嵌入式电子产品验证及确认平台，在现代、起亚等企业得到应用。
MI是标准化的静态检查工具，可以对模型进行自动化、批量化建模规范检查、复杂度度量，提升用户的模型质量，其工作流程如图：
全方位模型度量，20多种模型度量指标，从MATLAB代码行数、复杂度，到Simulink模块、子系统、库，再到Stateflow各类转移，还有数据结构层级分析、复杂度分析等，针对整个模型/单个子系统分别统计，支持用户定义检查阈值：
使用MI进行建模规范自动化检查的用户广泛，如现代、起亚等，并为用户打造从建立规范到自动化检查的综合解决方案。
经纬恒润推广MBD十多年，咨询经验丰富，开展多个典型用户的建模规范咨询服务：
*博客内容为网友个人发布，仅代表博主个人观点，如有侵权请联系工作人员删除。
