发明专利已授权

面向安全需求的轨道交通联锁系统一致性测试方法及装置

📄 申请号：CN202410886462.1 📄 发布日：2026/05/07

著录项目信息

申请日

2024-07-03

公开号

CN118427841B

公开日

2024-10-22

申请人

华侨大学

法律状态

已下证

专利类型

发明

主分类号

G06F21_57

IPC 分类号

G06F21_57 , G06F9_448 , G06F11_36 ,

技术画像

所属领域

轨道交通信号系统轨道交通信号系统软件测试与验证安全需求工程

应用场景

轨道交通信号系统, 联锁系统测试, 列车运行控制, 安全认证与评估, 软件一致性验证

AI 智能推荐 · 同申请人专利 · 搜索相似专利

摘要

本发明公开了一种面向安全需求的轨道交通联锁系统一致性测试方法及装置，涉及软件测试领域，包括：采用STPA技术对轨道交通联锁系统进行分析，得到精炼的软件安全要求并转换为线性时态逻辑属性，并得到原子命题集；采用符号化有限状态机对轨道交通联锁系统进行建模，得到参考模型；计算轨道交通联锁系统中的所有估值函数，根据估值函数生成得到符号迹及其对应的具体迹；对参考模型进行改良，得到改良后的参考模型，将估值函数映射到原子命题集中，得到命题抽象；基于参考模型的符号迹和命题抽象生成测试用例，在改良后的参考模型上执行测试用例，直至测试用例满足精炼的软件安全要求，解决了轨道联通联锁系统的一致性测试无法面向其安全需求的问题。

权利要求书 (12项) 说明书附图

……

图1

图2

图3

法律状态时间线

一种纯电装载机及其电动缸铰接转向系统的控制方法

当前第 / 件

安全目标导向的CBTC系统精化开发和确认方法及装置

同领域国内专利 · IPC: (G06F21_57)

G06F21_10 G06F21_12 G06F21_14 G06F21_16 G06F21_24 G06F21_30 G06F21_31 G06F21_32 G06F21_33 G06F21_34 G06F21_36 G06F21_41 G06F21_44 G06F21_45 G06F21_46 G06F21_50 G06F21_51 G06F21_52 G06F21_53 G06F21_54 G06F21_55 G06F21_56 G06F21_57 G06F21_60 G06F21_62 G06F21_64 G06F21_71 G06F21_72 G06F21_73 G06F21_74 G06F21_75 G06F21_76 G06F21_78 G06F21_79 G06F21_80 G06F21_81 G06F21_83 G06F21_84 G06F21_85 G06F21_86 G06F21_88 覆盖41个领域

相似专利推荐 AI 驱动 · 同领域

暂无同领域相似专利推荐

议价

不含过户费

📋 交易方式： 委托待转让 📌 交易状态：在售 👁️ 浏览次数：61 ❤️ 收藏人数：93 📋 项目申报： 未申报

资金托管权属尽调包过户

🏢 淄博智来知识产权服务有限公司

✓ 企业认证✓ 手机绑定历史成交 0件好评率 98.5%

📊 出价记录 (3条)

王**¥-10万

李** 企业¥-8万

陈**¥-3万

查看全部出价

我要出价 (议价)