-
公开(公告)号：CN115808907B
公开(公告)日：2024-08-30
申请号：CN202211441041.5
申请日：2022-11-17
Applicant: 华侨大学 , 舒柏睿(厦门) 信息科技有限公司
IPC: G05B19/418 , B61L27/20
Abstract: 本发明公开一种基于通信的列车控制系统的验证方法及验证系统，所述验证方法包括：根据基于通信的列车控制系统需求，获取基于通信的列车控制系统的控制结构；然后通过采用STPA方法和Event‑B方法对该控制结构进行建模，得到验证模型，对开发生成的基于通信的列车控制系统的控制行为进行验证，以保证CBTC系统开发的正确性，避免危害事件的发生。
-
公开(公告)号：CN112947370B
公开(公告)日：2022-04-22
申请号：CN202110148981.4
申请日：2021-02-03
Applicant: 华侨大学 , 舒柏睿(厦门)信息科技有限公司
IPC: G05B23/02
Abstract: 本发明公开了一种蒸汽锅炉系统的安全分析方法及系统，本发明通过对蒸汽锅炉系统的控制结构和控制流程分析，获得控制结构的分析结果到控制流程的映射关系和蒸汽锅炉系统到Event‑B模型的建模元素的映射关系，进而建立了用于蒸汽锅炉系统的安全预防的初始的Event‑B模型，并进一步对初始的Event‑B模型进行了修正，利用修正后的Event‑B模型进行蒸汽锅炉系统的安全性的预防，实现了蒸汽锅炉系统的安全预防。
-
公开(公告)号：CN112668012A
公开(公告)日：2021-04-16
申请号：CN202011640279.1
申请日：2020-12-31
Applicant: 华侨大学 , 舒柏睿(厦门)信息科技有限公司
Abstract: 本发明公开了一种自动驾驶人机界面安全性验证方法及系统，所述验证方法包括如下步骤：通过对自动驾驶系统的人机界面进行分析，确定人机界面的安全需求；根据人机界面的安全需求建立人机界面的Event‑B模型；基于Rodin平台验证所述Event‑B模型的安全性，获得验证结果，本发明基于安全需求建立Event‑B模型，提高了自动驾驶系统的人机界面的安全分析的全面性。
-
公开(公告)号：CN115808907A
公开(公告)日：2023-03-17
申请号：CN202211441041.5
申请日：2022-11-17
Applicant: 华侨大学 , 舒柏睿(厦门) 信息科技有限公司
IPC: G05B19/418 , B61L27/20
Abstract: 本发明公开一种基于通信的列车控制系统的验证方法及验证系统，所述验证方法包括：根据基于通信的列车控制系统需求，获取基于通信的列车控制系统的控制结构；然后通过采用STPA方法和Event‑B方法对该控制结构进行建模，得到验证模型，对开发生成的基于通信的列车控制系统的控制行为进行验证，以保证CBTC系统开发的正确性，避免危害事件的发生。
-
公开(公告)号：CN112668012B
公开(公告)日：2022-02-08
申请号：CN202011640279.1
申请日：2020-12-31
Applicant: 华侨大学 , 舒柏睿(厦门)信息科技有限公司
Abstract: 本发明公开了一种自动驾驶人机界面安全性验证方法及系统，所述验证方法包括如下步骤：通过对自动驾驶系统的人机界面进行分析，确定人机界面的安全需求；根据人机界面的安全需求建立人机界面的Event‑B模型；基于Rodin平台验证所述Event‑B模型的安全性，获得验证结果，本发明基于安全需求建立Event‑B模型，提高了自动驾驶系统的人机界面的安全分析的全面性。
-
Patent Agency Ranking
公开(公告)号：CN112765013B
公开(公告)日：2022-01-11
申请号：CN202011639828.3
申请日：2020-12-31
Applicant: 华侨大学 , 舒柏睿(厦门)信息科技有限公司
Abstract: 本发明公开了一种轨道交通联锁系统的安全分析方法及系统，所述安全分析方法包括：将联锁系统的安全总目标划分为多个安全子目标；绘制联锁系统的控制结构图；根据所述控制结构图确定每个安全子目标的安全需求；获取软件安全测试中心输出的联锁系统的测试结果，将所述测试结果作为安全证据；根据所述安全证据分析所述联锁系统是否具备满足每个安全需求，获得安全分析结果。本发明将安全问题视为控制问题，认为危害事件是由于不恰当的控制操作导致的，而非单纯的软件失效所致，能够分析软件的设计缺陷、组件间的不当交互和操作人员的失误导致的危险，从而获得更加全面的安全需求。
-
公开(公告)号：CN112947370A
公开(公告)日：2021-06-11
申请号：CN202110148981.4
申请日：2021-02-03
Applicant: 华侨大学 , 舒柏睿(厦门)信息科技有限公司
IPC: G05B23/02
Abstract: 本发明公开了一种蒸汽锅炉系统的安全分析方法及系统，本发明通过对蒸汽锅炉系统的控制结构和控制流程分析，获得控制结构的分析结果到控制流程的映射关系和蒸汽锅炉系统到Event‑B模型的建模元素的映射关系，进而建立了用于蒸汽锅炉系统的安全预防的初始的Event‑B模型，并进一步对初始的Event‑B模型进行了修正，利用修正后的Event‑B模型进行蒸汽锅炉系统的安全性的预防，实现了蒸汽锅炉系统的安全预防。
-
公开(公告)号：CN115973237A
公开(公告)日：2023-04-18
申请号：CN202211614179.0
申请日：2022-12-15
Applicant: 华侨大学 , 舒柏睿(厦门)信息科技有限公司
IPC: B61L27/20
Abstract: 本发明公开一种轨道交通ATP制动安全分析方法、系统及电子设备，涉及数据处理技术领域。本发明提供的轨道交通ATP制动安全分析方法，在确定好系统级事故后，将系统级事故限制到系统的可控部分以确定系统级危险，接着，根据系统级危险和构建好的控制结构模型，对控制结构模型中的控制操作进行分析识别得到不安全控制行为，最后，基于系统级危险、控制结构模型识别出潜在和不安全控制行为得到危险控制致因，以能够使分析过程条理清晰，提高安全证明的全面性和完整性。
-
公开(公告)号：CN112765013A
公开(公告)日：2021-05-07
申请号：CN202011639828.3
申请日：2020-12-31
Applicant: 华侨大学 , 舒柏睿(厦门)信息科技有限公司
Abstract: 本发明公开了一种轨道交通联锁系统的安全分析方法及系统，所述安全分析方法包括：将联锁系统的安全总目标划分为多个安全子目标；绘制联锁系统的控制结构图；根据所述控制结构图确定每个安全子目标的安全需求；获取软件安全测试中心输出的联锁系统的测试结果，将所述测试结果作为安全证据；根据所述安全证据分析所述联锁系统是否具备满足每个安全需求，获得安全分析结果。本发明将安全问题视为控制问题，认为危害事件是由于不恰当的控制操作导致的，而非单纯的软件失效所致，能够分析软件的设计缺陷、组件间的不当交互和操作人员的失误导致的危险，从而获得更加全面的安全需求。
-
公开(公告)号：CN115933485A
公开(公告)日：2023-04-07
申请号：CN202211646028.3
申请日：2022-12-21
Applicant: 华侨大学 , 舒柏睿(厦门)信息科技有限公司
IPC: G05B19/042
Abstract: 本发明涉及一种基于控制结构层次划分的安全攸关系统控制方法及装置，属于工业控制领域。方法包括：对安全攸关系统进行需求提取，提取出系统需求描述并梳理出系统组件之间的关系；根据系统组件之间的关系建立控制结构图；基于STPA方法对控制结构图进行组件层次划分，划分出多层嵌套控制结构；基于STPA方法对多层嵌套控制结构中每一层控制结构的控制行为进行不安全控制行为识别，得到相应的安全约束；基于安全约束，利用Event‑B方法对多层嵌套控制结构中的每一层控制结构进行建模验证，得到安全攸关系统的验证模型；采用验证模型对安全攸关系统进行安全控制。本发明方法能够保证安全攸关系统验证模型的正确性和系统控制的安全性，有效避免危险事件的发生。
-
-
-
-
-
-
-
-
-
Search Results
45
records
(took 0.032 seconds)
