• 主题
高级搜索  >
历史搜索 清空历史
首页> 中国专利> 三模型体系的列车运行控制系统形式化建模及验证方法

三模型体系的列车运行控制系统形式化建模及验证方法

页面导航
  • 摘要
  • 著录项
  • 法律信息
  • 相似文献

摘要

本发明涉及一种三模型体系的列车运行控制系统形式化建模及验证方法，包括：构建描述待验证模型的系统模型，描述对系统模型中输入变量限制的环境模型以及描述系统所需满足的安全需求和功能需求的验证模型；所述的验证模型调用系统模型，验证模型中所有待验证的需求共同影响环境模型的内容，并通过环境配置矩阵为每条待验证的需求配置环境信息；所述的环境模型模拟系统与外界的交互，描述系统输入变量需满足的关系，并将外界的影响反馈给系统模型。与现有技术相比，本发明具有提高了系统的安全性和可维护性等优点。

著录项

  • 公开/公告号CN105844091A

    专利类型发明专利

  • 公开/公告日2016-08-10

    原文格式PDF

  • 申请/专利权人 卡斯柯信号有限公司;

    申请/专利号CN201610159955.0

  • 发明设计人 周庭梁;刘静;罗娟;陈祥;左辉;陈小红;

    申请日2016-03-21

  • 分类号

  • 代理机构上海科盛知识产权代理有限公司;

  • 代理人应小波

  • 地址 200070 上海市闸北区天目中路428号凯旋门大厦27层C/D室

  • 入库时间 2023-06-19 00:12:25

法律信息

  • 法律状态公告日

    法律状态信息

    法律状态

  • 2019-12-27

    发明专利申请公布后的驳回 IPC(主分类):G06F19/00 申请公布日:20160810 申请日:20160321

    发明专利申请公布后的驳回

  • 2016-09-28

    实质审查的生效 IPC(主分类):G06F19/00 申请日:20160321

    实质审查的生效

  • 2016-08-10

    公开

    公开

相似文献

  • 专利
  • 中文文献
  • 外文文献
获取专利

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号