您的模型质量诊断专家—MI
发表于:2024-09-21 作者:千家信息网编辑
千家信息网最后更新 2024年09月21日,原厂商韩国Suresoft,是KOLAS国际公认测评机构,提升安全关键领域软件可信度。 应用分析• 产品认证要求:行业标准(ISO-26262,DO-178C等)要求开发嵌入式软件,须进行模型静态检查
千家信息网最后更新 2024年09月21日您的模型质量诊断专家—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安全错误
数据库的锁怎样保障安全
数据库申请域名
用友软件数据库说明书
数据库设计员与用户
世界互联网大会忽略的黑科技
网络安全渗透工程师网警靠谱吗
软件开发属于工科吗
深圳备件管理软件开发
数据库基础与实践技术第八章
网络安全前沿知识
IBM服务器配raid
vulfocus网络安全靶场
搜索框搜索数据库js
软件开发期目标任务
数据库审计系统供应商
时间 rpc服务器不可用
数据库的二级映像怎么用
黑魂服务器好不好
锐捷服务器一到时间就连不上
泉州软件开发外包公司排行榜
网络安全ctf是啥
连接内部数据库wid
数据库查旺旺
网络安全类的期刊
青少年网络安全生活
选修三网络技术应用答案
网络安全手抄报a3纸大学生做的
数据库两个字段相加再相除
不错的域控制器软件开发
广州市钰鑫软件开发
数据库技术及应用学习通