公开(公告)号：CN116186884A

公开(公告)日：2023-05-30

申请号：CN202211682088.0

申请日：2022-12-26

Applicant: 国家工业信息安全发展研究中心 ,  华东师范大学 ,  上海伊世智能科技有限公司

Inventor： 孙伊凡 ,  郝志强 ,  刘冬 ,  成文冬 ,  刘虹

IPC: G06F30/15 ,  G06F30/20 ,  G06F119/02

Abstract: 本发明公开了一种智能网联汽车功能安全与预期功能安全联动验证方法，包括：提取智能网联汽车控制功能项集合，筛选得到驾驶任务相关的车身控制功能项集合F，确认潜在异常模式集合S；筛选出功能项异常行为，归纳整车级危害与事故；确认F中每个元素的完整性等级和安全目标；提取智能网联汽车控制层级的车身核心控制行为，清理得到与当前驾驶相关的控制行为集合E，确认潜在的错误模式集合K；筛选不安全控制行为，归纳整车级危害和安全约束；对不安全控制行为进行致因分析；以整车级别危害为锚点，联动功能项异常与不安全控制行为，进行联动验证。本发明结合功能安全与预期功能安全，提供了后者映射至前者的评估方法，为安全策略设计提供依据。

公开(公告)号：CN114706615A

公开(公告)日：2022-07-05

申请号：CN202210637980.0

申请日：2022-06-08

Applicant: 国家工业信息安全发展研究中心

Inventor： 王冲华 ,  孔同 ,  郝志强 ,  李俊 ,  刘冬 ,  林晨 ,  周昊 ,  余果 ,  樊佩茹 ,  韦彦 ,  张煜珠

IPC: G06F8/74 ,  G06F16/2455 ,  G06K9/62

Abstract: 本发明提供了一种工业机器人协议的自动化逆向分析方法及装置，涉及工业通信技术领域，该方法包括以下步骤：采集公开Ethercat数据帧和关键指令，构建数据巡查库；采集运行Ethercat数据帧；基于数据巡查库构建对比Ethercat数据帧；将对比Ethercat数据帧与运行Ethercat数据帧进行比对；当工业机器人可以正确运行对比Ethercat数据帧中的指令时，对对比Ethercat数据帧进行更新，生成结果Ethercat数据帧；回收结果Ethercat数据帧中的子报文，并进行协议提取。本发明简化了数据采集过程，为工控协议的漏洞扫描和安全防护提供了条件。