-
公开(公告)号：CN118445816A
公开(公告)日：2024-08-06
申请号：CN202410902984.6
申请日：2024-07-08
Abstract: 本发明公开了一种面向安全关键系统的可信开发与验证方法及装置，涉及系统安全分析领域，该方法采用STPA和Event‑B方法协同分析，并结合逐步迭代的过程。首先确立系统任务和安全约束，在初始阶段，根据初始功能需求构建初始的STAMP模型，对初始的STAMP模型中的初始的控制结构进行STPA分析，以识别安全约束，通过Event‑B方法验证以确保安全关键系统符合安全约束。随后的每个迭代阶段的步骤逐渐引入更多的新增功能需求和具体内容，确保和现有安全关键系统的兼容性，并遵循系统级安全约束，解决现有的Event‑B方法因缺乏指导方针而难以有效组织精化步骤。
-
公开(公告)号：CN117670630B
公开(公告)日：2024-04-30
申请号：CN202410145282.8
申请日：2024-02-02
Abstract: 本发明公开一种高速铁路联锁系统安全分析方法、系统、设备及介质，涉及高速铁路安全评估领域，包括获取高速铁路进路的联锁系统；根据所述联锁系统确定初始模型；根据所述初始模型绘制联锁系统的控制结构图；根据所述控制结构图进行不安全控制行为识别，确定安全约束；根据所述安全约束利用Event‑B和卫确定形式化安全约束；根据所述形式化安全约束确定安全分析模型；所述安全分析模型用于对联锁系统进行安全分析。本发明提高联锁系统安全分析的安全性和可靠性。
-
公开(公告)号：CN116187104A
公开(公告)日：2023-05-30
申请号：CN202310464545.7
申请日：2023-04-27
Applicant: 华侨大学
IPC: G06F30/20 , G06F111/04 , G06F119/02
Abstract: 本发明公开一种轨道交通联锁系统安全分析开发方法及装置，涉及系统安全评估技术领域，方法包括：基于系统级安全约束表，采用STPA分析方法，确定所述初始控制反馈模型的安全分析结果；若初始控制反馈模型不满足预设安全条件，则对初始控制反馈模型进行精化处理，以得到精化后控制反馈模型；精化处理包括引入轨道区段、引入道岔和道岔位置状态、引入轨道区段状态以及引入信号机中的一项或多项；基于系统级安全约束表，采用STPA分析方法确定精化后控制反馈模型的安全分析结果，并基于精化后控制反馈模型的安全分析结果进行轨道交通联锁系统的设计开发。本发明实现基于STPA设计的抽象精化的安全分析，提高安全分析的精细程度。
-
公开(公告)号：CN116187104B
公开(公告)日：2023-08-01
申请号：CN202310464545.7
申请日：2023-04-27
Applicant: 华侨大学
IPC: G06F30/20 , G06F111/04 , G06F119/02
Abstract: 本发明公开一种轨道交通联锁系统安全分析开发方法及装置，涉及系统安全评估技术领域，方法包括：基于系统级安全约束表，采用STPA分析方法，确定所述初始控制反馈模型的安全分析结果；若初始控制反馈模型不满足预设安全条件，则对初始控制反馈模型进行精化处理，以得到精化后控制反馈模型；精化处理包括引入轨道区段、引入道岔和道岔位置状态、引入轨道区段状态以及引入信号机中的一项或多项；基于系统级安全约束表，采用STPA分析方法确定精化后控制反馈模型的安全分析结果，并基于精化后控制反馈模型的安全分析结果进行轨道交通联锁系统的设计开发。本发明实现基于STPA设计的抽象精化的安全分析，提高安全分析的精细程度。
-
Patent Agency Ranking
公开(公告)号：CN118573739A
公开(公告)日：2024-08-30
申请号：CN202410623932.5
申请日：2024-05-20
Abstract: 本发明公开一种列车自主运行系统的资源分配协议建模方法及相关装置，涉及轨道交通技术领域，方法包括以下步骤：根据列车自主运行系统的通信过程，确定协议目标；根据协议目标设计资源分配协议并绘制协议时序图；根据协议时序图，基于Event‑B算法对资源分配协议进行建模，得到资源分配协议模型；将协议目标转化为目标不变式规则，加入到资源分配协议模型中，得到综合资源分配协议模型；基于离散数学知识，证明综合资源分配协议模型中的各不变式规则成立时，将资源分配协议作为目标资源分配协议。本发明采用基于数学原理和形式规约的Event‑B建模语言，提供高度精确和严谨的分析，可有效地对轨道交通资源分配协议进行了建模以及验证。
-
公开(公告)号：CN118363368A
公开(公告)日：2024-07-19
申请号：CN202410796198.2
申请日：2024-06-20
Applicant: 华侨大学
Abstract: 一种面向安全的铁路联锁系统的建模方法和系统，包括构建铁路联锁系统的初始系统理论的事故模型和过程，其包括控制结构和过程模型以及安全约束；构建铁路联锁系统的第一次增量系统理论的事故模型和过程，引入轨道区段并对控制结构和过程模型以及安全约束进行更新；构建铁联锁系统的第二次增量系统理论的事故模型和过程，将轨道区段分解为不同类型的实体并对控制结构和过程模型以及安全约束进行更新；构建铁联锁系统的第三次增量系统理论的事故模型和过程，引入信号机并对控制结构和过程模型以及安全约束进行更新得到最终的铁路联锁系统。本发明利用增量开发技术逐步构建STAMP，有效地降低了对软件密集系统分析的难度。
-
公开(公告)号：CN118363368B
公开(公告)日：2024-10-01
申请号：CN202410796198.2
申请日：2024-06-20
Applicant: 华侨大学
Abstract: 一种面向安全的铁路联锁系统的建模方法和系统，包括构建铁路联锁系统的初始系统理论的事故模型和过程，其包括控制结构和过程模型以及安全约束；构建铁路联锁系统的第一次增量系统理论的事故模型和过程，引入轨道区段并对控制结构和过程模型以及安全约束进行更新；构建铁联锁系统的第二次增量系统理论的事故模型和过程，将轨道区段分解为不同类型的实体并对控制结构和过程模型以及安全约束进行更新；构建铁联锁系统的第三次增量系统理论的事故模型和过程，引入信号机并对控制结构和过程模型以及安全约束进行更新得到最终的铁路联锁系统。本发明利用增量开发技术逐步构建STAMP，有效地降低了对软件密集系统分析的难度。
-
公开(公告)号：CN118445816B
公开(公告)日：2024-09-13
申请号：CN202410902984.6
申请日：2024-07-08
Abstract: 本发明公开了一种面向安全关键系统的可信开发与验证方法及装置，涉及系统安全分析领域，该方法采用STPA和Event‑B方法协同分析，并结合逐步迭代的过程。首先确立系统任务和安全约束，在初始阶段，根据初始功能需求构建初始的STAMP模型，对初始的STAMP模型中的初始的控制结构进行STPA分析，以识别安全约束，通过Event‑B方法验证以确保安全关键系统符合安全约束。随后的每个迭代阶段的步骤逐渐引入更多的新增功能需求和具体内容，确保和现有安全关键系统的兼容性，并遵循系统级安全约束，解决现有的Event‑B方法因缺乏指导方针而难以有效组织精化步骤。
-
公开(公告)号：CN117670630A
公开(公告)日：2024-03-08
申请号：CN202410145282.8
申请日：2024-02-02
Abstract: 本发明公开一种高速铁路联锁系统安全分析方法、系统、设备及介质，涉及高速铁路安全评估领域，包括获取高速铁路进路的联锁系统；根据所述联锁系统确定初始模型；根据所述初始模型绘制联锁系统的控制结构图；根据所述控制结构图进行不安全控制行为识别，确定安全约束；根据所述安全约束利用Event‑B和卫确定形式化安全约束；根据所述形式化安全约束确定安全分析模型；所述安全分析模型用于对联锁系统进行安全分析。本发明提高联锁系统安全分析的安全性和可靠性。
-
-
-
-
-
-
-
-
Search Results
9
records
(took 0.021 seconds)
