-
公开(公告)号：CN116750050A
公开(公告)日：2023-09-15
申请号：CN202310796743.3
申请日：2023-07-03
Applicant: 华侨大学
Abstract: 本发明公开一种列车控制系统车地通信安全分析方法、系统、设备及介质，涉及车地通信领域，包括设定列车控制系统的系统级危险；根据所述列车控制系统中各组件的信息传递路线构建车地通信控制结构图；所述车地通信控制结构图用于反映各组件之间的信息流动；根据所述车地通信控制结构图对造成所述系统级危险的控制行为进行分析，得到与危险对应的不安全控制行为；根据所述与危险对应的不安全控制行为利用车地通信控制结构图中的信息流动确定致因场景。本发明实现系统全面对CBTC系统的车地通信进行安全分析。
-
公开(公告)号：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模型，提高了自动驾驶系统的人机界面的安全分析的全面性。
-
公开(公告)号：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模型进行蒸汽锅炉系统的安全性的预防，实现了蒸汽锅炉系统的安全预防。
-
Patent Agency Ranking
公开(公告)号：CN118779241A
公开(公告)日：2024-10-15
申请号：CN202410989781.5
申请日：2024-07-23
Applicant: 华侨大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于输入输出等价类的自动列车保护系统测试用例生成方法及装置，包括：采用STPA技术对自动列车保护系统进行分析，得出了各个级别的不安全控制动作以及相应的软件安全要求；将STPA生成的软件安全要求形式化为LTL公式，并将其作为属性需求用于在测试中验证。采用符号化有限状态机对自动列车保护系统进行建模，并运用LTL公式生成测试用例。对具有连续性且具有无限域的输入表达式和输出表达式进行等价类划分，同时将输入输出划分等价类后再将其整合到一起，将相应的输入等价类和输出等价类结合进行测试，从而提高了测试的全面性和有效性。
-
公开(公告)号：CN118419100B
公开(公告)日：2024-09-06
申请号：CN202410892289.6
申请日：2024-07-04
Abstract: 本发明公开了一种基于ORCA的轨道交通路径规划方法、装置及可读介质，涉及多智能体技术领域，包括：对每个智能体进行单列车路径规划，得到第一路径；采用ORCA算法判断是否会发生碰撞，若是，则对智能体进行第一局部路径规划，得到第一移动速度和第二路径，智能体以第一移动速度按照第二路径朝向下一个路径点移动，否则判断智能体是否存在死锁，若是，则采用MAPF算法对智能体进行第二局部路径规划，得到第三路径，智能体按照第三路径朝向下一个路径点移动，否则计算智能体的第二移动速度，智能体以第二移动速度按照第一路径朝向下一个路径点移动；重复上述步骤，直至智能体到达终点，发挥集中式和分散式方法的优势，实现全局优化和避免碰撞。
-
公开(公告)号：CN118529096A
公开(公告)日：2024-08-23
申请号：CN202410928359.9
申请日：2024-07-11
Applicant: 华侨大学
IPC: B61L19/06
Abstract: 本发明公开了一种轨道交通联锁系统安全需求构建方法、装置、介质及产品，涉及轨道交通联锁系统安全需求技术领域，该方法包括：对轨道交通联锁系统进行分析，确定系统级事故和系统级危险；根据系统级事故、系统级危险以及各进路控制器的轨道资源信息建立轨道交通联锁系统的联锁系统层级控制结构；利用STPA方法识别危险控制行为，并对危险控制行为进行分析，得到抽象站场安全需求；根据联锁系统层级控制结构和抽象站场安全需求确定轨道交通联锁系统的具体站场安全需求，本发明在轨道交通联锁系统设计方面能够提供复杂站场的的安全需求，降低安全需求提取的难度。
-
公开(公告)号：CN118387169A
公开(公告)日：2024-07-26
申请号：CN202410813361.1
申请日：2024-06-24
Abstract: 本发明公开一种基于增量MAPF的轨道交通路径规划方法及相关装置，涉及轨道交通路径规划领域，方法包括：先根据各轨道交通列车的当前路径方案构造冲突树，在根节点中各轨道交通列车的当前路径方案之间存在冲突时，更新冲突树并确定出一当前最佳节点；在交通环境发生变化时，根据当前交通环境和当前最佳节点，判断当前交通环境是否导致当前最佳节点中的路径方案存在冲突，在确定产生冲突时，根据当前交通环境和当前最佳节点，再次更新冲突树并确定出一当前最佳节点，当前最佳节点中各轨道交通列车的当前路径方案适用于变化后的交通环境中，可用于控制各轨道交通列车的运行。本发明方案适用于复杂且动态多变的轨道交通场景。
-
公开(公告)号：CN118102290B
公开(公告)日：2024-07-02
申请号：CN202410508372.9
申请日：2024-04-26
Applicant: 华侨大学
Abstract: 本发明公开一种基于NTRU公钥加密的抗量子攻击车地认证方法及系统，涉及LTE‑R车地无线通信技术领域，在系统初始化、USIM卡注册和初始化认证过程中，引入NTRU公钥加密算法，利用抗量子攻击的NTRU公钥加密算法代替传统的密码学算法，在减少计算开销的同时实现抗量子攻击身份认证，为LTE‑R车地通信认证提供安全、可靠、高效的身份认证方案。
-
-
-
-
-
-
-
-
-
Search Results
61
records
(took 0.025 seconds)
