“米钧日”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网_中国专利网

首页在售求购查询申请展会资讯专利榜企服商城升级VIP

立即登录免费注册

在售专利
求购专利
查询专利
新闻资讯
技术展会
招商加盟
专利榜

本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247 本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247 本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247

本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247 本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247 本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247

专利名称

专利名称
专利号码
专利分类
申请人
公布日期

农业化学；冶金建筑机械工程区域搜索

主分类

B 作业；运输

C 化学；冶金

D 纺织；造纸

E 固定建筑物

F 机械工程、照明、加热

专利下载VIP

公布日期

2023-10-24 公布专利

2023-10-20 公布专利

2023-10-17 公布专利

2023-10-13 公布专利

2023-10-10 公布专利

2023-10-03 公布专利

2023-09-29 公布专利

2023-09-26 公布专利

2023-09-22 公布专利

2023-09-19 公布专利

专利权人

国家电网公司

华为技术有限公司

中兴通讯股份有限公司

三星电子株式会社

中国石油化工股份有限公司

鸿海精密工业股份有限公司

松下电器产业株式会社

上海交通大学

钻瓜专利网为您找到相关结果1个，建议您升级VIP下载更多相关专利

[发明专利]AUTOSAR软件的验证方法、装置、设备及存储介质-CN202111205584.2在审
发明人：张苗苗;滕宇;杜博闻;米钧日;苏宇;孔辉 -专利权人：华为技术有限公司
申请日： 2021-10-15 - 公布日： 2023-04-18 - 主分类号： G06F11/36 文献下载
摘要：本申请实施例提供一种AUTOSAR软件的验证方法、装置、设备及存储介质。该方法包括：获取AUTOSAR软件的系统架构的架构信息；其中，架构信息包括系统架构中架构元素的信息。根据架构元素的信息，从预先构建的时间自动机模板中匹配架构元素对应的目标时间自动机模板；其中，时间自动机模板是基于AUTOSAR标准构建的，时间自动机模板用于表征系统架构在时间上的行为；根据架构元素的信息和架构元素对应的目标时间自动机模板，生成系统架构的时间自动机网络；根据预先获取的验证约束信息，对时间自动机网络进行形式化验证。通过本申请实施例，能够降低AUTOSAR软件的开发成本和纠错成本，提高了AUTOSAR软件的开发效率。
autosar 软件验证方法装置设备存储介质

1
共 1 条

友情链接：交换友情链接需要网站权重大于4，网站收录10W以上，如符合条件，请联系QQ：76009968。

关于我们寻求报道投稿须知广告合作版权声明网站地图友情链接企业标识联系我们

在线咨询

400-8765-105周一至周五 9:00-18:00

版权所有钻瓜科技（天津）有限公司津ICP备15000985号津公网安备 12019202000206号http://www.vipzhuanli.com/公布日期

咨询在线客服

咨询在线客服

tel code back_top