公开(公告)号：CN112668012B

公开(公告)日：2022-02-08

申请号：CN202011640279.1

申请日：2020-12-31

Applicant: 华侨大学 ,  舒柏睿(厦门)信息科技有限公司

Inventor： 陈祖希 ,  谭兴 ,  骆翔宇 ,  梅萌 ,  徐中伟 ,  郑黎晓 ,  李卫娟 ,  张程 ,  刘晓

IPC: G06F21/57 ,  G06F30/20

Abstract: 本发明公开了一种自动驾驶人机界面安全性验证方法及系统，所述验证方法包括如下步骤：通过对自动驾驶系统的人机界面进行分析，确定人机界面的安全需求；根据人机界面的安全需求建立人机界面的Event‑B模型；基于Rodin平台验证所述Event‑B模型的安全性，获得验证结果，本发明基于安全需求建立Event‑B模型，提高了自动驾驶系统的人机界面的安全分析的全面性。

公开(公告)号：CN112947370A

公开(公告)日：2021-06-11

申请号：CN202110148981.4

申请日：2021-02-03

Applicant: 华侨大学 ,  舒柏睿(厦门)信息科技有限公司

Inventor： 陈祖希 ,  谭兴 ,  骆翔宇 ,  梅萌 ,  郑黎晓 ,  徐中伟

IPC: G05B23/02

Abstract: 本发明公开了一种蒸汽锅炉系统的安全分析方法及系统，本发明通过对蒸汽锅炉系统的控制结构和控制流程分析，获得控制结构的分析结果到控制流程的映射关系和蒸汽锅炉系统到Event‑B模型的建模元素的映射关系，进而建立了用于蒸汽锅炉系统的安全预防的初始的Event‑B模型，并进一步对初始的Event‑B模型进行了修正，利用修正后的Event‑B模型进行蒸汽锅炉系统的安全性的预防，实现了蒸汽锅炉系统的安全预防。

公开(公告)号：CN112947370B

公开(公告)日：2022-04-22

申请号：CN202110148981.4

申请日：2021-02-03

Applicant: 华侨大学 ,  舒柏睿(厦门)信息科技有限公司

Inventor： 陈祖希 ,  谭兴 ,  骆翔宇 ,  梅萌 ,  郑黎晓 ,  徐中伟

IPC: G05B23/02

Abstract: 本发明公开了一种蒸汽锅炉系统的安全分析方法及系统，本发明通过对蒸汽锅炉系统的控制结构和控制流程分析，获得控制结构的分析结果到控制流程的映射关系和蒸汽锅炉系统到Event‑B模型的建模元素的映射关系，进而建立了用于蒸汽锅炉系统的安全预防的初始的Event‑B模型，并进一步对初始的Event‑B模型进行了修正，利用修正后的Event‑B模型进行蒸汽锅炉系统的安全性的预防，实现了蒸汽锅炉系统的安全预防。

公开(公告)号：CN112668012A

公开(公告)日：2021-04-16

申请号：CN202011640279.1

申请日：2020-12-31

Applicant: 华侨大学 ,  舒柏睿(厦门)信息科技有限公司

Inventor： 陈祖希 ,  谭兴 ,  骆翔宇 ,  梅萌 ,  徐中伟 ,  郑黎晓 ,  李卫娟 ,  张程 ,  刘晓

IPC: G06F21/57 ,  G06F30/20

Abstract: 本发明公开了一种自动驾驶人机界面安全性验证方法及系统，所述验证方法包括如下步骤：通过对自动驾驶系统的人机界面进行分析，确定人机界面的安全需求；根据人机界面的安全需求建立人机界面的Event‑B模型；基于Rodin平台验证所述Event‑B模型的安全性，获得验证结果，本发明基于安全需求建立Event‑B模型，提高了自动驾驶系统的人机界面的安全分析的全面性。