[发明专利]一种基于神经网络可达性的汽车电子功能安全评估方法在审
| 申请号： | 201910443791.8 | 申请日： | 2019-05-27 |
| 公开（公告）号： | CN110543412A | 公开（公告）日： | 2019-12-06 |
| 发明（设计）人： | 蒲戈光;王高翃;刘虹 | 申请（专利权）人： | 上海工业控制安全创新科技有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36;G06N3/04 |
| 代理公司： | 31335 上海尚象专利代理有限公司 | 代理人： | 徐炫<国际申请>=<国际公布>=<进入国 |
| 地址： | 200333 上海市*** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 一种基于神经网络可达性的汽车电子功能安全评估方法，分为四个步骤，步骤一：确定神经网络的形式；步骤二：表达神经网络的可达性问题；步骤三：将神经网络的可达性问题进行重新表述，转化为相应的线性问题，并通过线性程序求解器来计算神经网络的可达性；步骤四：如果违背安全要求的输出值是不可达的，则评估认为功能的实现是安全的，反之，如果违背安全要求的输出值是可达的，则评估认为功能的实现可能违背安全要求。本发明将局部线性的神经网络的可达性问题表述为求解神经网络相应的线性问题，使得神经网络的可达性可以通过线性程序求解器来计算，有效实现了能对汽车电子产品中实现的功能进行安全评估，确认功能的实现是否可能违背安全要求。 | ||
| 搜索关键词： | 神经网络 可达性 安全要求 线性程序 线性问题 求解器 功能安全评估 计算神经网络 汽车电子产品 安全评估 局部线性 汽车电子 有效实现 输出 评估 求解 转化 安全 | ||
【主权项】：
1.一种基于神经网络可达性的汽车电子功能安全评估方法，其特征在于分为四个步骤，步骤一：确定神经网络的形式为使用ReLU激活函数的多层神经网络或使用池化函数Max_pooling的卷积神经网络等中的一种；步骤二：表达神经网络的可达性问题，可达性分析是指在给定系统的一组固定初始状态的情况下，确定是否可以达到系统的某一状态，以此识别系统中的错误，为了将这一概念应用于神经网络，将固定的初始状态视为一组固定的输入向量，并对特定的输出值确定它们是否可以通过神经网络从这些固定的输入集中计算得到，为了可达性问题可以线性求解，输入向量和输出向量的集合满足线性限制条件；步骤三：将神经网络的可达性问题进行重新表述，转化为相应的线性问题，并通过线性程序求解器来计算神经网络的可达性；步骤四：如果违背安全要求的输出值是不可达的，则评估认为功能的实现是安全的，反之，如果违背安全要求的输出值是可达的，则评估认为功能的实现违背安全要求，在此情况下，需要对满足输出值的输入进行进一步的评估，并对神经网络做出相应的调整。/n
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于上海工业控制安全创新科技有限公司，未经上海工业控制安全创新科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201910443791.8/，转载请声明来源钻瓜专利网。
