-
Patent Agency Ranking
公开(公告)号：CN109933309B
公开(公告)日：2024-07-16
申请号：CN201910170435.3
申请日：2019-03-06
Applicant: 上海工业控制安全创新科技有限公司
Abstract: 机器学习算法应用于汽车软件开发功能安全的流程方法，包括七个步骤，步骤一：项目启动阶段，采用机器学习决策门；步骤二：软件安全要求阶段，规范化描述安全要求；步骤三：软件架构设计阶段，采用容错设计方法；步骤四：软件开发阶段，数据采集；步骤五：软件开发阶段，模型选取；步骤六：软件开发阶段，模型实现；步骤七：软件集成阶段，验证和测试。本发明在汽车电子软件开发过程中，明确部分规范化描述的性质，有助于基于各种机器学习的算法特征选取模型，进而提高开发效率和安全性。基于上述，本发明具有好的应用前景。
-
公开(公告)号：CN110008607B
公开(公告)日：2023-01-17
申请号：CN201910290073.1
申请日：2019-04-11
Applicant: 上海工业控制安全创新科技有限公司
Abstract: 一种基于STPA模型的功能安全危害和信息安全威胁分析方法，采用STPA模型作为基础，共分为四个步骤，一：根据STPA模型建立安全约束、控制结构和过程模型；二：考虑信息安全因素对控制结构和过程模型的影响；三：对所有可能的情况进行组合分析，识别所有不安全控制的分类；四：确定不安全控制的来源。本发明结合STAMP模型，建立了功能安全约束、控制结构和过程模型；对安全约束、危害事件、过程控制和信息安全影响进行组合分析，将危害事件的发生看成是不安全控制的结果，而不仅仅是由组件或系统故障引起，并能识别所有不安全控制的分类并确定导致这些不安全控制发生的原因是来源于单个组件、多个组件之间的相关交互或者是车辆电子安全系统设计缺陷。
-
公开(公告)号：CN110543412A
公开(公告)日：2019-12-06
申请号：CN201910443791.8
申请日：2019-05-27
Applicant: 上海工业控制安全创新科技有限公司
Abstract: 一种基于神经网络可达性的汽车电子功能安全评估方法，分为四个步骤，步骤一：确定神经网络的形式；步骤二：表达神经网络的可达性问题；步骤三：将神经网络的可达性问题进行重新表述，转化为相应的线性问题，并通过线性程序求解器来计算神经网络的可达性；步骤四：如果违背安全要求的输出值是不可达的，则评估认为功能的实现是安全的，反之，如果违背安全要求的输出值是可达的，则评估认为功能的实现可能违背安全要求。本发明将局部线性的神经网络的可达性问题表述为求解神经网络相应的线性问题，使得神经网络的可达性可以通过线性程序求解器来计算，有效实现了能对汽车电子产品中实现的功能进行安全评估，确认功能的实现是否可能违背安全要求。
-
公开(公告)号：CN110008607A
公开(公告)日：2019-07-12
申请号：CN201910290073.1
申请日：2019-04-11
Applicant: 上海工业控制安全创新科技有限公司
Abstract: 一种基于STPA模型的功能安全危害和信息安全威胁分析方法，采用STPA模型作为基础，共分为四个步骤，一：根据STPA模型建立安全约束、控制结构和过程模型；二：考虑信息安全因素对控制结构和过程模型的影响；三：对所有可能的情况进行组合分析，识别所有不安全控制的分类；四：确定不安全控制的来源。本发明结合STAMP模型，建立了功能安全约束、控制结构和过程模型；对安全约束、危害事件、过程控制和信息安全影响进行组合分析，将危害事件的发生看成是不安全控制的结果，而不仅仅是由组件或系统故障引起，并能识别所有不安全控制的分类并确定导致这些不安全控制发生的原因是来源于单个组件、多个组件之间的相关交互或者是车辆电子安全系统设计缺陷。
-
公开(公告)号：CN109933309A
公开(公告)日：2019-06-25
申请号：CN201910170435.3
申请日：2019-03-06
Applicant: 上海工业控制安全创新科技有限公司
Abstract: 机器学习算法应用于汽车软件开发功能安全的流程方法，包括七个步骤，步骤一：项目启动阶段，采用机器学习决策门；步骤二：软件安全要求阶段，规范化描述安全要求；步骤三：软件架构设计阶段，采用容错设计方法；步骤四：软件开发阶段，数据采集；步骤五：软件开发阶段，模型选取；步骤六：软件开发阶段，模型实现；步骤七：软件集成阶段，验证和测试。本发明在汽车电子软件开发过程中，明确部分规范化描述的性质，有助于基于各种机器学习的算法特征选取模型，进而提高开发效率和安全性。基于上述，本发明具有好的应用前景。
-
-
-
-
Search Results
5
records
(took 0.038 seconds)
