一种基于神经网络可达性的汽车电子功能安全评估方法

发明专利有效专利

申请号：
CN201910443791.8
IPC分类号：G06F11/36G06N3/04
申请日期：
2019-05-27
申请人：
上海工业控制安全创新科技有限公司

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种基于神经网络可达性的汽车电子功能安全评估方法
申请号	CN201910443791.8	申请日期	2019-05-27
法律状态	实质审查	申报国家	中国
公开/公告日	2019-12-06	公开/公告号	CN110543412A
优先权	暂无	优先权号	暂无
主分类号	G06F11/36 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F11/00 错误检测；错误校正；监控（在基于记录载体和传感器之间的相对运动而实现的信息存储中的错误检测、校正或监控所用的方法或装置入 G11B 20/18；监控，即，监控记录或重现的进程入G11B 27/36；静态存储中所用的方法或装置入G11C29/00）〔1，4，2006.01〕 G06F11/36 通过软件的测试或调试防止错误〔7〕	IPC分类号	G06F11/36;G06N3/04查看分类表>
申请人	上海工业控制安全创新科技有限公司	申请人地址	上海市普陀区云岭西路600弄6号9*** 变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	上海工业控制安全创新科技有限公司	当前权利人	上海工业控制安全创新科技有限公司
发明人	蒲戈光;王高翃;刘虹
代理机构	上海尚象专利代理有限公司	代理人	徐炫

摘要

一种基于神经网络可达性的汽车电子功能安全评估方法，分为四个步骤，步骤一：确定神经网络的形式；步骤二：表达神经网络的可达性问题；步骤三：将神经网络的可达性问题进行重新表述，转化为相应的线性问题，并通过线性程序求解器来计算神经网络的可达性；步骤四：如果违背安全要求的输出值是不可达的，则评估认为功能的实现是安全的，反之，如果违背安全要求的输出值是可达的，则评估认为功能的实现可能违背安全要求。本发明将局部线性的神经网络的可达性问题表述为求解神经网络相应的线性问题，使得神经网络的可达性可以通过线性程序求解器来计算，有效实现了能对汽车电子产品中实现的功能进行安全评估，确认功能的实现是否可能违背安全要求。