公开(公告)号：CN115808907A

公开(公告)日：2023-03-17

申请号：CN202211441041.5

申请日：2022-11-17

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

Inventor： 陈祖希 ,  牛传军 ,  梅萌 ,  骆翔宇 ,  郑黎晓 ,  周长利 ,  徐中伟

IPC: G05B19/418 ,  B61L27/20

Abstract: 本发明公开一种基于通信的列车控制系统的验证方法及验证系统，所述验证方法包括：根据基于通信的列车控制系统需求，获取基于通信的列车控制系统的控制结构；然后通过采用STPA方法和Event‑B方法对该控制结构进行建模，得到验证模型，对开发生成的基于通信的列车控制系统的控制行为进行验证，以保证CBTC系统开发的正确性，避免危害事件的发生。

公开(公告)号：CN112668012B

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

申请号：CN202011640279.1

申请日：2020-12-31

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

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

IPC: G06F21/57 ,  G06F30/20

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

公开(公告)号：CN112765013B

公开(公告)日：2022-01-11

申请号：CN202011639828.3

申请日：2020-12-31

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

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

IPC: G06F11/36 ,  B61L27/00

Abstract: 本发明公开了一种轨道交通联锁系统的安全分析方法及系统，所述安全分析方法包括：将联锁系统的安全总目标划分为多个安全子目标；绘制联锁系统的控制结构图；根据所述控制结构图确定每个安全子目标的安全需求；获取软件安全测试中心输出的联锁系统的测试结果，将所述测试结果作为安全证据；根据所述安全证据分析所述联锁系统是否具备满足每个安全需求，获得安全分析结果。本发明将安全问题视为控制问题，认为危害事件是由于不恰当的控制操作导致的，而非单纯的软件失效所致，能够分析软件的设计缺陷、组件间的不当交互和操作人员的失误导致的危险，从而获得更加全面的安全需求。

公开(公告)号：CN112947370A

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

申请号：CN202110148981.4

申请日：2021-02-03

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

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

IPC: G05B23/02

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