专利名称：一种基于神经网络可达性的汽车电子功能安全评估
方法
专利类型：发明专利发明人：蒲戈光,王高翃,刘虹申请号：CN201910443791.8申请日：20190527公开号：CN110543412A公开日：20191206
摘要：一种基于神经网络可达性的汽车电子功能安全评估方法，分为四个步骤，步骤一：确定神经网络的形式；步骤二：表达神经网络的可达性问题；步骤三：将神经网络的可达性问题进行重新表述，转化为相应的线性问题，并通过线性程序求解器来计算神经网络的可达性；步骤四：如果违背安全要求的输出值是不可达的，则评估认为功能的实现是安全的，反之，如果违背安全要求的输出值是可达的，则评估认为功能的实现可能违背安全要求。本发明将局部线性的神经网络的可达性问题表述为求解神经网络相应的线性问题，使得神经网络的可达性可以通过线性程序求解器来计算，有效实现了能对汽车电子产品中实现的功能进行安全评估，确认功能的实现是否可能违背安全要求。
申请人：上海工业控制安全创新科技有限公司
地址：200333 上海市普陀区云岭西路600弄6号901室
国籍：CN
代理机构：上海尚象专利代理有限公司
代理人：徐炫
更多信息请下载全文后查看
因篇幅问题不能全部显示，请点此查看更多更全内容