2022年4月22日
Model Inspector — 软件模型静态规范检查工具
摘要： Model Inspector （MI）原厂商是韩国 Suresoft，是 KOLAS 公认测评机构，旨在提升安全关键领域软件可信度。 MI 用于开发过程中模型的静态检查，包括规范检查、复杂度度量，提供 MAAB、HIS、CG、MISRA_AC_SLSF、MISRA_AC_TL、dSPACE 标准规 阅读全文
posted @ 2022-04-22 13:57 经纬恒润 阅读(252) 评论(0) 推荐(0)