JNH官网

产品中心
Model Inspector
模型静态验证工具

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
  • 支持安全建模规则



详细环境



推荐规格



jnh官网 jnh官网 jnh官网 jnh官网 金年会 金年会 金年会 金年会