-
公开(公告)号：CN118445816B
公开(公告)日：2024-09-13
申请号：CN202410902984.6
申请日：2024-07-08
Abstract: 本发明公开了一种面向安全关键系统的可信开发与验证方法及装置，涉及系统安全分析领域，该方法采用STPA和Event‑B方法协同分析，并结合逐步迭代的过程。首先确立系统任务和安全约束，在初始阶段，根据初始功能需求构建初始的STAMP模型，对初始的STAMP模型中的初始的控制结构进行STPA分析，以识别安全约束，通过Event‑B方法验证以确保安全关键系统符合安全约束。随后的每个迭代阶段的步骤逐渐引入更多的新增功能需求和具体内容，确保和现有安全关键系统的兼容性，并遵循系统级安全约束，解决现有的Event‑B方法因缺乏指导方针而难以有效组织精化步骤。
-
公开(公告)号：CN118445816A
公开(公告)日：2024-08-06
申请号：CN202410902984.6
申请日：2024-07-08
Abstract: 本发明公开了一种面向安全关键系统的可信开发与验证方法及装置，涉及系统安全分析领域，该方法采用STPA和Event‑B方法协同分析，并结合逐步迭代的过程。首先确立系统任务和安全约束，在初始阶段，根据初始功能需求构建初始的STAMP模型，对初始的STAMP模型中的初始的控制结构进行STPA分析，以识别安全约束，通过Event‑B方法验证以确保安全关键系统符合安全约束。随后的每个迭代阶段的步骤逐渐引入更多的新增功能需求和具体内容，确保和现有安全关键系统的兼容性，并遵循系统级安全约束，解决现有的Event‑B方法因缺乏指导方针而难以有效组织精化步骤。
-
公开(公告)号：CN118427841B
公开(公告)日：2024-10-22
申请号：CN202410886462.1
申请日：2024-07-03
Applicant: 华侨大学
Abstract: 本发明公开了一种面向安全需求的轨道交通联锁系统一致性测试方法及装置，涉及软件测试领域，包括：采用STPA技术对轨道交通联锁系统进行分析，得到精炼的软件安全要求并转换为线性时态逻辑属性，并得到原子命题集；采用符号化有限状态机对轨道交通联锁系统进行建模，得到参考模型；计算轨道交通联锁系统中的所有估值函数，根据估值函数生成得到符号迹及其对应的具体迹；对参考模型进行改良，得到改良后的参考模型，将估值函数映射到原子命题集中，得到命题抽象；基于参考模型的符号迹和命题抽象生成测试用例，在改良后的参考模型上执行测试用例，直至测试用例满足精炼的软件安全要求，解决了轨道联通联锁系统的一致性测试无法面向其安全需求的问题。
-
公开(公告)号：CN115808907B
公开(公告)日：2024-08-30
申请号：CN202211441041.5
申请日：2022-11-17
Applicant: 华侨大学 , 舒柏睿(厦门) 信息科技有限公司
IPC: G05B19/418 , B61L27/20
Abstract: 本发明公开一种基于通信的列车控制系统的验证方法及验证系统，所述验证方法包括：根据基于通信的列车控制系统需求，获取基于通信的列车控制系统的控制结构；然后通过采用STPA方法和Event‑B方法对该控制结构进行建模，得到验证模型，对开发生成的基于通信的列车控制系统的控制行为进行验证，以保证CBTC系统开发的正确性，避免危害事件的发生。
-
公开(公告)号：CN118427841A
公开(公告)日：2024-08-02
申请号：CN202410886462.1
申请日：2024-07-03
Applicant: 华侨大学
Abstract: 本发明公开了一种面向安全需求的轨道交通联锁系统一致性测试方法及装置，涉及软件测试领域，包括：采用STPA技术对轨道交通联锁系统进行分析，得到精炼的软件安全要求并转换为线性时态逻辑属性，并得到原子命题集；采用符号化有限状态机对轨道交通联锁系统进行建模，得到参考模型；计算轨道交通联锁系统中的所有估值函数，根据估值函数生成得到符号迹及其对应的具体迹；对参考模型进行改良，得到改良后的参考模型，将估值函数映射到原子命题集中，得到命题抽象；基于参考模型的符号迹和命题抽象生成测试用例，在改良后的参考模型上执行测试用例，直至测试用例满足精炼的软件安全要求，解决了轨道联通联锁系统的一致性测试无法面向其安全需求的问题。
-
Patent Agency Ranking
公开(公告)号：CN116187104B
公开(公告)日：2023-08-01
申请号：CN202310464545.7
申请日：2023-04-27
Applicant: 华侨大学
IPC: G06F30/20 , G06F111/04 , G06F119/02
Abstract: 本发明公开一种轨道交通联锁系统安全分析开发方法及装置，涉及系统安全评估技术领域，方法包括：基于系统级安全约束表，采用STPA分析方法，确定所述初始控制反馈模型的安全分析结果；若初始控制反馈模型不满足预设安全条件，则对初始控制反馈模型进行精化处理，以得到精化后控制反馈模型；精化处理包括引入轨道区段、引入道岔和道岔位置状态、引入轨道区段状态以及引入信号机中的一项或多项；基于系统级安全约束表，采用STPA分析方法确定精化后控制反馈模型的安全分析结果，并基于精化后控制反馈模型的安全分析结果进行轨道交通联锁系统的设计开发。本发明实现基于STPA设计的抽象精化的安全分析，提高安全分析的精细程度。
-
公开(公告)号：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模型，提高了自动驾驶系统的人机界面的安全分析的全面性。
-
公开(公告)号：CN119293595A
公开(公告)日：2025-01-10
申请号：CN202411476459.9
申请日：2024-10-22
Applicant: 同济大学 , 上海电气泰雷兹交通自动化系统有限公司
IPC: G06F18/241 , G06F18/2135 , G06N3/0464 , G06N3/084
Abstract: 本申请提供一种超宽带信号的分类方法及电子设备，该方法包括以下步骤：对原超宽带UWB数据集进行主成分分析，得到新UWB数据集；将所述新UWB数据集分别输入反向传播BP神经网络分类模型、遗传算法和反向传播GA‑BP神经网络分类模型、支持向量机SVM分类模型、随机森林算法RFA分类模型，得到各模型的输出结果；根据所述各模型的输出结果，通过最大比合并，构建强化UWB信号分类模型，确定UWB信号的分类结果。该方法结合了BP神经网络分类模型、GA‑BP神经网络分类模型、SVM分类模型以及RFA分类模型，在输入端采取主成分分析的方法，在输出端采取最大比合并的方法，最终实现分类准确率的提高。
-
公开(公告)号：CN116187104A
公开(公告)日：2023-05-30
申请号：CN202310464545.7
申请日：2023-04-27
Applicant: 华侨大学
IPC: G06F30/20 , G06F111/04 , G06F119/02
Abstract: 本发明公开一种轨道交通联锁系统安全分析开发方法及装置，涉及系统安全评估技术领域，方法包括：基于系统级安全约束表，采用STPA分析方法，确定所述初始控制反馈模型的安全分析结果；若初始控制反馈模型不满足预设安全条件，则对初始控制反馈模型进行精化处理，以得到精化后控制反馈模型；精化处理包括引入轨道区段、引入道岔和道岔位置状态、引入轨道区段状态以及引入信号机中的一项或多项；基于系统级安全约束表，采用STPA分析方法确定精化后控制反馈模型的安全分析结果，并基于精化后控制反馈模型的安全分析结果进行轨道交通联锁系统的设计开发。本发明实现基于STPA设计的抽象精化的安全分析，提高安全分析的精细程度。
-
-
-
-
-
-
-
-
-
Search Results
41
records
(took 0.026 seconds)
