[发明专利]一种汽车电子产品功能安全的保证及验证方法有效
| 申请号： | 201710674919.2 | 申请日： | 2017-08-09 |
| 公开（公告）号： | CN109389407B | 公开（公告）日： | 2022-04-05 |
| 发明（设计）人： | 郭建;张杰亮;周寒茹 | 申请（专利权）人： | 华东师范大学 |
| 主分类号： | G06Q30/00 | 分类号： | G06Q30/00;G06Q10/06 |
| 代理公司： | 上海德禾翰通律师事务所 31319 | 代理人： | 夏思秋 |
| 地址： | 200062 上*** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种保证及验证汽车电子产品功能安全的方法。本发明方法是基于道路车辆方面的功能安全国际标准ISO26262，首先按照ISO26262标准设计或评估汽车电子电气产品(以下简称汽车电子产品或产品)，其中包括汽车电子电气系统；接着依据产品的设计或评估文档对产品进行安全论证，主要论证其是否符合功能安全要求；当论证产品是功能安全的之后，对安全论证文件进行建模与验证；最后为了保证建模验证的效率和准确性，采用计算机自动地对安全论证文件进行开发、建模与验证等操作。本发明方法适用于道路车辆电子电气的功能安全领域，采用本发明方法既保证了产品的功能安全也验证了产品的功能安全。 | ||
| 搜索关键词： | 一种 汽车 电子产品 功能 安全 保证 验证 方法 | ||
【主权项】：
1.一种汽车电子产品功能安全的保证及验证方法，其特征在于，包括：按系统需求分析和安全标准设计汽车电子产品，生成设计文档；或评估所述汽车电子产品，生成评估文档，；根据所述设计文档或所述评估文档进行安全论证，以证明所述汽车电子产品的功能安全性；成功论证功能安全性后，生成安全论证文件；利用形式化手段对得到的安全论证文件进行形式化建模、分析和验证；利用计算机对所述安全论证文件进行自动地建模、分析和验证，实现对论证文件建模、分析与验证的自动化。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华东师范大学，未经华东师范大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201710674919.2/，转载请声明来源钻瓜专利网。
