地铁车站计算机联锁系统的测试

安全是交通运输的生命。联锁系统是保障轨道交通系统中车站列调车作业安全的关键设备。文章介绍了采用黑箱测试方法对某地铁计算机联锁系统进行的测试工作，分析了测试及回归测试中发现的问题，说明独立于开发商和用户的第三方测试在计算机联锁系统的应用中所起的重要作用。     

基于智能控制的铁路交通网仿真系统研究

系统仿真技术对交通系统智能控制的研究与发展有着重要意义.交通网仿真是复现交通流的时间空间变化的技术,交通网仿真模型的建立和仿真实验系统的开发是交通网仿真研究的两个核心内容.铁路交通网仿真是一个涉及连续和离散仿真行为的混合仿真系统,具有动态及并发特征.本文讨论了用面向对象思想进行铁路交通网仿真的过程与方法.作者认为选用Petri网建立仿真模型可以很好地描述铁路交通网的静态属性、动态行为和环境模拟.文中给出了用Petri网建模的实例.最后介绍了铁路交通网仿真系统的框架结构和关键技术.     

计算机联锁软件测试评估

作者阐述了软件安全性及软件安全性完善度等级的基本概念。     

铁路机车信号分析系统的数据库设计策略

分析了铁路机车信号分析系统的内部数据交换方式和数据结构特征.重点讨论了客户/服务器系统和关系数据库结合的框架结构,提出分析系统平台专用的数据库设计策略,并论述了关系型数据库的数据安全性和完整性等技术.结合具体分析系统的需求,详细说明了分析系统数据预处理与查询过程中的数据处理方式.     

计算机联锁软件现场测试方法及实现

概述了计算机联锁软件现场测试的必要性和可行性，介绍了便携式测试仪系统结构框图，阐述了测试仪各软件模块功能、使用及其运行。     

铁路信号联锁逻辑形式化建模研究

铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的开发，还是对联锁软件的测试都是非常重要的。 铁路大站的联锁逻辑十分复杂，对其进行形式化描述是一项艰难的工作。目前，国内外尚无这方面详细研究的文章和报道。本文利用层次结构的概念，采用层次化有色Petri网，以建立铁路车站信号计算机联锁软件第三方测试的现场仿真环境为目的，以车站联锁设备的层次化有色Petri网模型为背景，介绍了铁路车站信号联锁逻辑的形式化描述的基本方法。     

一种搜索与交互相结合的联锁表自动生成算法

讨论了一种搜索与交互相结合的联锁表自动生成算法,即用改进的图上站场拓扑图,自动生成车站信号联锁是路的类型、方向、进路按钮、道岔、轨道区段的信号机等。在搜索过程中,对具体站场的特殊信息通过人机交互方式获取。最后将结果数据存入数据库,或根据联锁表的准格式打印输出。     

铁路车站通用信号仿真系统的研究与实现

介绍了铁路车站信号仿真系统的设计、实现和使用情况。重点描述其对不同站场的通用必和在不同场合下的适应性。该系统目前已成功地应用于检测部门的微机联锁系统安全软件测试评估平台中。通过推广应用，它也有助于改变目前铁路信号领域在系统调试、现场测试和人员培训中存在的技术落后状况。     

微机控制信号设备安全软件的工程化开发及测试评估

介绍微机控制信号设备涉及的软件工程化开发的方法以及一种软件可靠性，安全性的定性和定量测评方案；阐明了在计算机控制中安全软件工程化开发和管理的意义；提出我国开发此软件时应遵循的三类以及我国铁路信号安全软件按失效后果应划分的四个安全性等级。应用软件测试评估的基本方法，提出一种基于黑箱和灰箱测试评估的平台方案。     

计算机联锁软件基于测试的安全性评价基准研究

计算机联锁是一个典型的安全性苛求系统,它必须考虑许多防范致险因素造成影响的技术需求。同时,对可能引起不安全的各种软件缺陷应有效发现,并对软件的安全性给出公正准确和不引起争议的评价。系统的安全性测试是考察联锁软件安全性功能最周密的技术手段。在前期测试研究工作的基础上,本文系统地论述了基于测试的安全性评价基准问题。文章定义了某些新的概念,如不安全事项、防范致险元集合、扩充防范能力等。对安全性问题的不同分类基准作了形式化的描述。这些论述为进一步发展计算机联锁软件安全性测试及评价,改善计算机联锁质量管理提供了有用的理论依据。文章还对一些联锁软件测试实例进行了分析。