铁道部科技研究开发计划(2002X007)
- 作品数：4 被引量：59H指数：3
- 相关作者：陈邦兴吴芳美郜春海唐涛燕飞更多>>
- 相关机构：同济大学北京交通大学更多>>
- 发文基金：铁道部科技研究开发计划更多>>
- 相关领域：交通运输工程自动化与计算机技术更多>>
- 区间自动闭塞系统安全性测试系统仿真建模
- 2003年
- 铁路区间自动闭塞系统的可靠性和安全性的测试与评估是铁路安全控制领域广为关注的焦点 ,开发区间自动闭塞系统可靠性和安全性自动测试与评估平台是解决这一问题的有效途径 .因此 ,结合作者正在参加研究开发的区间自动闭塞系统可靠性和安全性自动测试与评估平台 ,介绍了铁路区间自动闭塞系统的基本原理 ,抽象出铁路区间自动闭塞系统面向对象模型 ,详尽阐述了利用轨道作为传输通道的仿真模型中所采用的仿真技术 ,并给出了自动闭塞系统可靠性和安全性自动测试与评估平台的总体设计框图 .
- 陈邦兴吴芳美
- 关键词：自动闭塞系统安全性仿真建模
- 基于CENELEC铁路标准的列车自动防护系统车载设备研究与设计被引量：16
- 2006年
- 列车自动防护系统(ATP)车载设备是保证列车行车安全的重要安全设备,必须按照相应的安全设计和评估标准进行系统的研究开发。欧洲已经制定了适用于铁路领域的安全系统设计和评估标准,简称为CEN-ELEC系列标准。文章通过国内现有信号系统的研发过程和CENELEC标准规定的研发过程的比较和分析,以列车自动防护(ATP)车载设备的安全设计为例说明我国建立轨道交通信号系统安全设计和评估体系的必要性和迫切性。
- 郜春海唐涛燕飞
- 关键词：铁路安全ATP安全设计
- 计算机联锁软件的Z规格说明被引量：11
- 2003年
- 计算机联锁软件是一种典型的安全关键软件,具有非常复杂的联锁控制逻辑和以失效安全为核心的安全需求。形式化其安全需求是一件十分必要,也是一件十分艰巨的任务。本文使用形式化规格说明语言———Z语言来描述其安全需求,生成形式化规格说明。形式化规格说明不仅有助于提高计算机联锁软件的质量,而且也有利于将来对它进行更严格的测试。
- 王铁江郦萌
- 关键词：形式化规格说明Z语言安全需求计算机联锁
- 铁路信号联锁逻辑形式化建模研究被引量：36
- 2002年
- 铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的开发 ,还是对联锁软件的测试都是非常重要的。铁路大站的联锁逻辑十分复杂 ,对其进行形式化描述是一项艰难的工作。目前 ,国内外尚无这方面详细研究的文章和报道。本文利用层次结构的概念 ,采用层次化有色 Petri网 ,以建立铁路车站信号计算机联锁软件第三方测试的现场仿真环境为目的 ,以车站联锁设备的层次化有色 Petri网模型为背景 。
- 陈邦兴吴芳美
- 关键词：形式化建模有色PETRI网联锁设备
