-
公开(公告)号：CN118444667B
公开(公告)日：2024-10-22
申请号：CN202410905362.9
申请日：2024-07-08
IPC: G05B23/02
Abstract: 本发明一种轨道交通联锁系统故障注入测试方法，涉及测试技术领域，包括：使用STPA方法对轨道交通联锁系统进行分析，识别潜在的故障场景和影响因素；使用CoFI方法将故障场景注入到轨道交通联锁系统的控制流图中，并观察轨道交通联锁系统的响应，生成有限状态机模型FSM；利用W方法从轨道交通联锁系统的有限状态机模型FSM中生成测试用例；使用测试用例测试轨道交通联锁系统在面对不同故障情况时的行为是否符合设计要求。本发明将STPA方法、CoFI方法和W方法相结合，为轨道交通联锁系统的故障注入测试提供了一种全面而有效的方法。
-
公开(公告)号：CN118409972A
公开(公告)日：2024-07-30
申请号：CN202410831172.7
申请日：2024-06-26
Abstract: 本发明公开了一种基于符号化有限状态机的完备性测试用例生成方法，涉及软件测试领域，包括：采用STPA技术对安全攸关系统进行分析，得到精炼的软件安全要求并转换为线性时态逻辑属性、原子命题；采用符号化有限状态机对安全攸关系统进行建模和估值函数计算，得到测试用例生成模型，并对其进行基于一阶表达式的精化、可观察性转换，得到可观察的测试用例生成模型，并得到相应的输入等价类，基于可观察的测试用例生成模型的输入等价类集合和命题抽象生成测试用例，在故障域中的测试用例生成模型及其突变体执行测试用例，直至测试用例满足精炼的软件安全要求，解决测试用例数量庞大、完备性差的问题，以满足对安全攸关系统进行全面有效的测试要求。
-
公开(公告)号：CN118409972B
公开(公告)日：2024-09-20
申请号：CN202410831172.7
申请日：2024-06-26
Abstract: 本发明公开了一种基于符号化有限状态机的完备性测试用例生成方法，涉及软件测试领域，包括：采用STPA技术对安全攸关系统进行分析，得到精炼的软件安全要求并转换为线性时态逻辑属性、原子命题；采用符号化有限状态机对安全攸关系统进行建模和估值函数计算，得到测试用例生成模型，并对其进行基于一阶表达式的精化、可观察性转换，得到可观察的测试用例生成模型，并得到相应的输入等价类，基于可观察的测试用例生成模型的输入等价类集合和命题抽象生成测试用例，在故障域中的测试用例生成模型及其突变体执行测试用例，直至测试用例满足精炼的软件安全要求，解决测试用例数量庞大、完备性差的问题，以满足对安全攸关系统进行全面有效的测试要求。
-
公开(公告)号：CN118573739A
公开(公告)日：2024-08-30
申请号：CN202410623932.5
申请日：2024-05-20
Abstract: 本发明公开一种列车自主运行系统的资源分配协议建模方法及相关装置，涉及轨道交通技术领域，方法包括以下步骤：根据列车自主运行系统的通信过程，确定协议目标；根据协议目标设计资源分配协议并绘制协议时序图；根据协议时序图，基于Event‑B算法对资源分配协议进行建模，得到资源分配协议模型；将协议目标转化为目标不变式规则，加入到资源分配协议模型中，得到综合资源分配协议模型；基于离散数学知识，证明综合资源分配协议模型中的各不变式规则成立时，将资源分配协议作为目标资源分配协议。本发明采用基于数学原理和形式规约的Event‑B建模语言，提供高度精确和严谨的分析，可有效地对轨道交通资源分配协议进行了建模以及验证。
-
公开(公告)号：CN118445816A
公开(公告)日：2024-08-06
申请号：CN202410902984.6
申请日：2024-07-08
Abstract: 本发明公开了一种面向安全关键系统的可信开发与验证方法及装置，涉及系统安全分析领域，该方法采用STPA和Event‑B方法协同分析，并结合逐步迭代的过程。首先确立系统任务和安全约束，在初始阶段，根据初始功能需求构建初始的STAMP模型，对初始的STAMP模型中的初始的控制结构进行STPA分析，以识别安全约束，通过Event‑B方法验证以确保安全关键系统符合安全约束。随后的每个迭代阶段的步骤逐渐引入更多的新增功能需求和具体内容，确保和现有安全关键系统的兼容性，并遵循系统级安全约束，解决现有的Event‑B方法因缺乏指导方针而难以有效组织精化步骤。
-
Patent Agency Ranking
公开(公告)号：CN118444667A
公开(公告)日：2024-08-06
申请号：CN202410905362.9
申请日：2024-07-08
IPC: G05B23/02
Abstract: 本发明一种轨道交通联锁系统故障注入测试方法，涉及测试技术领域，包括：使用STPA方法对轨道交通联锁系统进行分析，识别潜在的故障场景和影响因素；使用CoFI方法将故障场景注入到轨道交通联锁系统的控制流图中，并观察轨道交通联锁系统的响应，生成有限状态机模型FSM；利用W方法从轨道交通联锁系统的有限状态机模型FSM中生成测试用例；使用测试用例测试轨道交通联锁系统在面对不同故障情况时的行为是否符合设计要求。本发明将STPA方法、CoFI方法和W方法相结合，为轨道交通联锁系统的故障注入测试提供了一种全面而有效的方法。
-
公开(公告)号：CN118428577A
公开(公告)日：2024-08-02
申请号：CN202410893488.9
申请日：2024-07-04
IPC: G06Q10/047 , G06F9/50 , G06N3/006 , G06Q10/0631 , G06Q50/40
Abstract: 本发明涉及多智能体协同技术领域，公开了一种面向高速铁路系统的并行多智能体路径规划方法，包括以下步骤：将高速铁路系统的路径规划转换为多智能体路径规划问题，分解为N个子问题，每个子问题包含一个智能体；将第一层子问题两两合并，所述合并指合并两个第一层子问题的无冲突路径规划方案，合并后生成包含四个智能体的第二层子问题，对每个第二层子问题采用基于冲突的搜索算法并行求解无冲突路径规划方案；重复合并及并行求解子问题的过程，直到合并得到包含N个智能体的问题并进行求解，得到最终的路径规划方案。本发明通过合并路径规划的子问题再并行计算，大大提高多智能体路径规划的计算效率，充分发挥多核多处理器的并发性。
-
公开(公告)号：CN118419100A
公开(公告)日：2024-08-02
申请号：CN202410892289.6
申请日：2024-07-04
Abstract: 本发明公开了一种基于ORCA的轨道交通路径规划方法、装置及可读介质，涉及多智能体技术领域，包括：对每个智能体进行单列车路径规划，得到第一路径；采用ORCA算法判断是否会发生碰撞，若是，则对智能体进行第一局部路径规划，得到第一移动速度和第二路径，智能体以第一移动速度按照第二路径朝向下一个路径点移动，否则判断智能体是否存在死锁，若是，则采用MAPF算法对智能体进行第二局部路径规划，得到第三路径，智能体按照第三路径朝向下一个路径点移动，否则计算智能体的第二移动速度，智能体以第二移动速度按照第一路径朝向下一个路径点移动；重复上述步骤，直至智能体到达终点，发挥集中式和分散式方法的优势，实现全局优化和避免碰撞。
-
公开(公告)号：CN118387169B
公开(公告)日：2024-09-24
申请号：CN202410813361.1
申请日：2024-06-24
Abstract: 本发明公开一种基于增量MAPF的轨道交通路径规划方法及相关装置，涉及轨道交通路径规划领域，方法包括：先根据各轨道交通列车的当前路径方案构造冲突树，在根节点中各轨道交通列车的当前路径方案之间存在冲突时，更新冲突树并确定出一当前最佳节点；在交通环境发生变化时，根据当前交通环境和当前最佳节点，判断当前交通环境是否导致当前最佳节点中的路径方案存在冲突，在确定产生冲突时，根据当前交通环境和当前最佳节点，再次更新冲突树并确定出一当前最佳节点，当前最佳节点中各轨道交通列车的当前路径方案适用于变化后的交通环境中，可用于控制各轨道交通列车的运行。本发明方案适用于复杂且动态多变的轨道交通场景。
-
公开(公告)号：CN118445816B
公开(公告)日：2024-09-13
申请号：CN202410902984.6
申请日：2024-07-08
Abstract: 本发明公开了一种面向安全关键系统的可信开发与验证方法及装置，涉及系统安全分析领域，该方法采用STPA和Event‑B方法协同分析，并结合逐步迭代的过程。首先确立系统任务和安全约束，在初始阶段，根据初始功能需求构建初始的STAMP模型，对初始的STAMP模型中的初始的控制结构进行STPA分析，以识别安全约束，通过Event‑B方法验证以确保安全关键系统符合安全约束。随后的每个迭代阶段的步骤逐渐引入更多的新增功能需求和具体内容，确保和现有安全关键系统的兼容性，并遵循系统级安全约束，解决现有的Event‑B方法因缺乏指导方针而难以有效组织精化步骤。
-
-
-
-
-
-
-
-
-
Search Results
70
records
(took 0.028 seconds)
