公开(公告)号：CN115973237A

公开(公告)日：2023-04-18

申请号：CN202211614179.0

申请日：2022-12-15

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

Inventor： 陈祖希 ,  林泓凯 ,  梅萌 ,  骆翔宇 ,  郑黎晓 ,  周长利 ,  徐中伟

IPC: B61L27/20

Abstract: 本发明公开一种轨道交通ATP制动安全分析方法、系统及电子设备，涉及数据处理技术领域。本发明提供的轨道交通ATP制动安全分析方法，在确定好系统级事故后，将系统级事故限制到系统的可控部分以确定系统级危险，接着，根据系统级危险和构建好的控制结构模型，对控制结构模型中的控制操作进行分析识别得到不安全控制行为，最后，基于系统级危险、控制结构模型识别出潜在和不安全控制行为得到危险控制致因，以能够使分析过程条理清晰，提高安全证明的全面性和完整性。

公开(公告)号：CN117555217B

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

申请号：CN202410029921.4

申请日：2024-01-09

Applicant: 华侨大学

Inventor： 林泓凯 ,  陈祖希 ,  梅萌 ,  张宏扬 ,  朱永华 ,  周长利 ,  郑黎晓

IPC: G05B9/03 ,  B64F5/00

Abstract: 本发明公开了一种面向冗余结构的安全刹车控制系统的设计方法及装置，涉及安全性分析领域，包括：确定飞机的安全刹车控制系统的系统级事故和危险，明确各组件的功能需求；设计分层次的控制结构图，根据各组件的功能需求和控制结构图定义各组件的功能性契约；验证和测试功能性契约的正确性和一致性，若通过，则识别不安全控制行为和组件级的致因场景；将致因场景表示成安全性契约，并添加对应的组件中，与功能性契约构成理想模型定义的契约，验证和测试理想模型定义的契约的正确性和一致性；设计安全刹车控制系统中各组件的产品并将各组件的产品实现描述为有限状态机，验证是否满足理想模型定义的契约的约束，解决设计不统一、复杂性高的问题。

公开(公告)号：CN117555217A

公开(公告)日：2024-02-13

申请号：CN202410029921.4

申请日：2024-01-09

Applicant: 华侨大学

Inventor： 林泓凯 ,  陈祖希 ,  梅萌 ,  张宏扬 ,  朱永华 ,  周长利 ,  郑黎晓

IPC: G05B9/03 ,  B64F5/00

Abstract: 本发明公开了一种面向冗余结构的安全刹车控制系统的设计方法及装置，涉及安全性分析领域，包括：确定飞机的安全刹车控制系统的系统级事故和危险，明确各组件的功能需求；设计分层次的控制结构图，根据各组件的功能需求和控制结构图定义各组件的功能性契约；验证和测试功能性契约的正确性和一致性，若通过，则识别不安全控制行为和组件级的致因场景；将致因场景表示成安全性契约，并添加对应的组件中，与功能性契约构成理想模型定义的契约，验证和测试理想模型定义的契约的正确性和一致性；设计安全刹车控制系统中各组件的产品并将各组件的产品实现描述为有限状态机，验证是否满足理想模型定义的契约的约束，解决设计不统一、复杂性高的问题。