北京
国家知识产权局信息显示，武汉楚能乘用车有限公司申请一项名为“车端OTA升级的形式化验证方法及系统”的专利，公开号CN122885919A，申请日期为2026年7月。
专利摘要显示，本发明涉及一种车端OTA升级的形式化验证方法及系统，其中，该方法包括：对接收到的待发布的固件代码进行体系化裁剪预处理，得到预处理后的固件代码；基于预处理后的固件代码中的待验证固件函数集合和验证边界参数，对预处理后的固件代码进行有界模型检验，生成形式化验证结果；当形式化验证结果指示验证通过时，将形式化验证结果与固件代码的固件哈希值绑定，并对绑定得到的数据进行签名处理，得到OTA升级安全凭证；将OTA升级安全凭证嵌入固件代码的固件包，生成OTA升级包，下发至车端。采用本发明，能够提升车端OTA升级过程中形式化验证的执行效率与安全性。
天眼查资料显示，武汉楚能乘用车有限公司，成立于2025年，位于武汉市，是一家以从事专业技术服务业为主的企业。企业注册资本200000万人民币。通过天眼查大数据分析，武汉楚能乘用车有限公司共对外投资了1家企业，参与招投标项目1次，专利信息719条，此外企业还拥有行政许可1个。
声明：市场有风险，投资需谨慎。本文为AI基于第三方数据生成，仅供参考，不构成个人投资建议。
本文源自：市场资讯
作者：情报员
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
