公开(公告)号：CN117670630B

公开(公告)日：2024-04-30

申请号：CN202410145282.8

申请日：2024-02-02

Applicant: 华侨大学 ,  同济大学

Inventor： 陈圣彬 ,  陈祖希 ,  梅萌 ,  张宏扬 ,  王文泉 ,  朱艳军 ,  周长利

IPC: G06Q50/26 ,  G06Q50/40

Abstract: 本发明公开一种高速铁路联锁系统安全分析方法、系统、设备及介质，涉及高速铁路安全评估领域，包括获取高速铁路进路的联锁系统；根据所述联锁系统确定初始模型；根据所述初始模型绘制联锁系统的控制结构图；根据所述控制结构图进行不安全控制行为识别，确定安全约束；根据所述安全约束利用Event‑B和卫确定形式化安全约束；根据所述形式化安全约束确定安全分析模型；所述安全分析模型用于对联锁系统进行安全分析。本发明提高联锁系统安全分析的安全性和可靠性。

公开(公告)号：CN117670630A

公开(公告)日：2024-03-08

申请号：CN202410145282.8

申请日：2024-02-02

Applicant: 华侨大学 ,  同济大学

Inventor： 陈圣彬 ,  陈祖希 ,  梅萌 ,  张宏扬 ,  王文泉 ,  朱艳军 ,  周长利

IPC: G06Q50/26 ,  G06Q50/40

Abstract: 本发明公开一种高速铁路联锁系统安全分析方法、系统、设备及介质，涉及高速铁路安全评估领域，包括获取高速铁路进路的联锁系统；根据所述联锁系统确定初始模型；根据所述初始模型绘制联锁系统的控制结构图；根据所述控制结构图进行不安全控制行为识别，确定安全约束；根据所述安全约束利用Event‑B和卫确定形式化安全约束；根据所述形式化安全约束确定安全分析模型；所述安全分析模型用于对联锁系统进行安全分析。本发明提高联锁系统安全分析的安全性和可靠性。