资讯线
微平台 大视野
工控头条App
产品概述 Model Inspector（MI）原厂商是韩国Suresoft，是KOLAS国际公认测评机构，旨在提升安全关键领域软件可信度。MI用于开发过程中模型的静态检查，包括规范检查、复杂度度量，提供MAAB、HIS、CG、MISRA_AC_SLSF、MISRA_AC_TL、dSPACE标准规范及检查，检查Simulink、Targetlink等模型是否符合建模标准、评估模…
Model Inspector （MI）原厂商是韩国 Suresoft，是 KOLAS 公认测评机构，旨在提升安全关键领域软件可信度。 MI 用于开发过程中模型的静态检查，包括规范检查、复杂度度量，提供 MAAB、HIS、CG、MISRA_AC_SLSF、MISRA_AC_TL、dSPACE 标准规范及检查，检查 Targetlink 等模型是否符合建模标准、评估模型设计的合…
原厂商 韩国Suresoft，是KOLAS国际公认测评机构，提升安全关键领域软件可信度。 应用分析 •产品认证要求：行业标准（ISO-26262，DO-178C等）要求开发嵌入式软件，须进行模型静态检查 •高模型质量要求：采用MBD模式，开发嵌入式软件10年来，广泛使用Simulink / Targetl…