SureSoft 是韩国一家专业的 Mission-Critical 高可信测试软件企业，拥有适用于 ISO 26262/DO-178 等行业标准，成熟的基于V流程代码检测、模型检测、质量检测、安全监测、故障注入等应用的软件工具链。

Model Inspector（MI）是韩国 Suresoft 公司的一款软件模型静态规范检查工具，也是韩国唯一的模型静态验证工具。MI 用于开发过程中模型的静态检查，包括规范检查、复杂度度量，提供 MAAB、HIS、CG、MISRA_AC_SLSF、MISRA-AC-TL、dSPACE 标准规范及检查，检查 Targetlink 等模型是否符合建模标准、评估模型设计的合理性。MI 具备 ISO-26262（汽车）/IEC61508（通用）等认证资质，支撑基于模型的高可靠、高安全的嵌入式电子产品验证及确认平台，在现代、起亚等企业得到应用。

优势

• 工具品质

1. 提供 711 个行业标准建模规则
2. 提供 21 种模型质量度量

• 工具集成

1. Suresoft 工具之间集成
2. 质量自动化系统构建

• 国际认证

1. Cert.from SGS TÜV
2. Tool Qualification 提供

• 灵活开发

1. 自行开发和供应
2. 快速响应客户需求

预期效果

• 可实现安全的建模模式
• 组织和管理建模规则
• 缩短开发周期，降低验证成本
• 提供以用户为中心的交互界面
• 确保模型质量指标

模型静态验证过程

规则自动检测

支持大多数规则

• 支持711个建模规则
• 支持行业标准建模规则，如MAAB、MISRA AC SLSF
• 支持安全建模规则

详细环境

推荐规格