您的模型质量诊断专家—MI
发表于:2026-11-01 作者:千家信息网编辑
千家信息网最后更新 2026年11月01日,原厂商韩国Suresoft,是KOLAS国际公认测评机构,提升安全关键领域软件可信度。 应用分析• 产品认证要求:行业标准(ISO-26262,DO-178C等)要求开发嵌入式软件,须进行模型静态检查
千家信息网最后更新 2026年11月01日您的模型质量诊断专家—MI
原厂商
韩国Suresoft,是KOLAS国际公认测评机构,提升安全关键领域软件可信度。应用分析
• 产品认证要求:行业标准(ISO-26262,DO-178C等)要求开发嵌入式软件,须进行模型静态检查 • 高模型质量要求:采用MBD模式,开发嵌入式软件10年来,广泛使用Simulink / Targetlink模型进行设计,设计质量的保证,离不开模型静态检查/规范检查,高质量模型才能生成高质量代码 • 适用的用户: ♦ 急待提升模型设计质量、模型自动生成代码质量的企业; ♦ 被设计风格迥异、协同开发迭代困难、多子系统集成错误定位困难等困扰的团队; ♦ 期望在设计、验证各个环节快速保证产品质量的企业决策人。基本功能
• Model Inspector,简称MI,模型静态检查工具,支持建模规范检查、复杂度度量,检查Simulink/TargetLink模型,提高模型质量(更安全、更易用、更轻量),堪比模型界的"QAC"! • 支持大多数国际通用规则,484条行业标准建模规则 • 支持复杂度度量:21种模型度量指标 • 违规指导:提供违规建议、纠正建议 • 违规修改:自动化修改;全程追溯定位模型违规位置 • 自动生成多种格式的报告(pdf, html, xls)
特色功能
• 认证资质:ISO-26262 / DO-178C / IEC61508等 • 功能更完善: ♦ 规则更全(标准规则484条),覆盖各历史版本规则 ♦ 复杂度指标加倍(度量指标21种) ♦ 检查程度更完备(检查规则包含的每条描述) • 工程易用性好: ♦ 批量模型检查 ♦ 用户定义复杂度量指标阈值 ♦ 独立性好,面向用户友好界面 • 开放扩展性好: ♦ 用户自由裁剪、组合、编辑已有规则,用户自定义规则恒润团队 & 解决方案
• 团队咨询经验丰富,MBD咨询经验10年+,多个典型用户的建模规范咨询: ♦ 定制产品级规范检查流程 ♦ 深度培训/咨询服务 ♦ 定制产品级建模指南 ♦ 定制产品级模型库、建模模板
模型
检查
规则
质量
用户
设计
复杂
指标
咨询
违规
功能
品级
团队
复杂度
标准
软件
静态
开发
支持
生成
数据库的安全要保护哪些东西
数据库安全各自的含义是什么
生产安全数据库录入
数据库的安全性及管理
数据库安全策略包含哪些
海淀数据库安全审计系统
建立农村房屋安全信息数据库
易用的数据库客户端支持安全管理
连接数据库失败ssl安全错误
数据库的锁怎样保障安全
美国互联网保险保险科技
互联网科技垄断
互联网科技未来
互联网 科技公司
北京互联网科技
北京互联网科技有限公司
猪兼强互联网科技
狮子座互联网科技
中国最先进互联网科技公司
来此购互联网科技有限公司
全球顶尖互联网科技公司
武汉健翔互联网络科技有限公司
互联网科技人工智能实验室
互联网科技如何创业
互联网科技公司营业执照怎么办理
伍佰万互联网科技怎么赚钱
互联网金融运营模式中的金融科技
互联网科技手抄报图片
互联网大会出现的黑科技
互联网科技自媒体灵感
互联网科技园
互联网科技工作委员会主任
江苏根荣互联网科技
互联网下的科技发展
四川狮子座互联网科技
互联网科技公司名称
金融科技和互联网金融
互联网汽车科技小镇
允成互联网科技有限公司融资
阿里互联网科技企业