发明专利已授权

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

📄 申请号：CN202410885607.6 📄 发布日：2026/05/07

著录项目信息

申请日

2024-07-03

公开号

CN118426449B

公开日

2024-09-06

申请人

华侨大学

法律状态

已下证

专利类型

发明

主分类号

G05B23_02

IPC 分类号

G05B23_02

技术画像

所属领域

列车运行控制系统列车运行控制系统安全关键系统系统精化与验证

应用场景

城市轨道交通, 轨道交通信号控制, 列车自动控制, 轨道交通安全保障, 安全关键系统开发

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

摘要

本发明公开了一种安全目标导向的CBTC系统精化开发和确认方法及装置，涉及系统安全评估领域，包括：对CBTC系统进行分析，确定CBTC系统的控制结构；对控制结构进行精化分层，建模得到CBTC系统的形式化模型；采用Event‑B形式化方法对CBTC系统的形式化模型进行精化，得到Event‑B模型，通过Rodin平台中的定理证明器完成Event‑B模型进行证明，得到证明后的Event‑B模型；使用ProB工具对证明后的Event‑B模型进行动态仿真、死锁以及不变式违背检测，得到CBTC系统开发结果。本发明解决了采用基于模型检测的形式化方法进行开发会导致状态空间爆炸和无法保证构建模型正确性的问题。

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

……

图1

图2

图3

法律状态时间线

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

当前第 / 件

融合空频域显著性特征的SCV编码感知码率控制方法及装置

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

G05B23_02 覆盖1个领域

议价

不含过户费

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

资金托管权属尽调包过户

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

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

📊 出价记录 (3条)

王**¥-10万

李** 企业¥-8万

陈**¥-3万

查看全部出价

我要出价 (议价)

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

著录项目信息

技术画像

所属领域

应用场景

摘要

法律状态时间线

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

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

一种面向智慧养老的监护系统及其实现方法

基于实时仿真的轨道交通枢纽应急调控方法及系统

一种轮胎定位的室内诱导泊车方法

服务项目

资源中心

关于柿子坊