基于SCADE和梯形图的可视化联锁逻辑实现方法

建立一套基于高安全性应用开发环境(SCADE)的梯形图模型库,并基于该模型库提出一种基于SCADE和梯形图的可视化联锁逻辑实现方法。该方法一方面可以使软件开发人员在开发联锁逻辑功能时,以绘制梯形图的方式代替既有的编写代码的方式进行图形化开发。工程技术人员和业主可以直接通过梯形图了解软件实现的联锁逻辑功能,减少人为转换的环节。另一方面在程序开发过程中,还可以直接利用成熟的继电电路设计经验指导程序开发,进一步提高系统功能的正确性和安全性。     

基于SCADE的计算机联锁软件开发研究

计算机联锁软件安全性要求高，功能不断扩展，其开发与维护面临的压力日益增大。文章研究高安全性应用程序开发环境（SCADE）及其支持的软件开发过程，依据计算机联锁系统相关技术规范定义的需求规约，尝试利用SCADE进行计算机联锁软件开发。研究实践表明，SCADE是一套较为实用的基于模型的软件工程开发工具，可支持V模型软件开发流程，能够帮助开发人员有效管控软件开发风险，为联锁软件的进一步开发提供参考。     

面向安全的计算机联锁系统联锁逻辑测试实施规范

PMI(计算机联锁)是CBTC(基于通信的列车控制)系统中实现联锁计算的子系统。分析了由城市轨道交通信号固有的逻辑耦合以及自仪泰雷兹面向客户功能需求的系统开发模式造成的PMI联锁逻辑的复杂性;概述了城市轨道交通系统所承担的巨大公共安全责任和实时高强度运营负荷,对PMI联锁逻辑的安全性和可靠性提出的要求;介绍了面向安全的PMI联锁逻辑测试实施规范;介绍了基于规范的PMI联锁逻辑测试实施工具的开发,并提出了进一步开发的几点构想。     

提高EI32-JD驱动采集可靠性的探讨

E132-JD型计算机联锁是采用日本信号株式会社研制的EI-32型计算机联锁主机，搭载北京交大微联科技有限公司编制的联锁软件开发研制而成的符合故障．安全原则的高可靠性、高安全性的计算机联锁系统。[第一段]     

基于自动Petri网的联锁逻辑设计

联锁软件的逻辑严密性和安全性对于行车有很大的影响。利用自动化Petri网,根据轨道电路、信号机和道岔之间相互制约的关系以及状态的转换,分别建立了信号机、道岔和进路模型,并根据列车的运行状态细化模型从列车压入进路到出清进路的过程,建立进路解锁的模型。基于上述分析,设计了一种基于可编程逻辑控制器的联锁软件设计方案,实现对联锁的逻辑控制。     

英标联锁系统关键技术研究与实现

基于英国铁路RGS联锁技术标准开发的低成本、高安全性和高可靠性的英标联锁系统,主要实现车站、区间联锁控制,保证行车安全,提高运输效率。阐述英标联锁中部分关键技术的研究:接近控制、显示序列、带表示器的信号机以及全电子目标控制器适配等,为英标联锁系统的实现奠定了基础。     

计算机联锁软件制式的安全性评价

计算机联锁软件是铁路信号计算机控制系统中复杂性最大、安全性要求最高的软件。根据制式测试结果颁发计算机联锁的生产许可证 ,是铁道部有关部门加强计算机联锁质量管理的重要措施。以制式测试为依据对联锁软件的安全性进行的评价 ,能够比较准确地获得软件开发方对于联锁安全性问题的理解和处理能力的完整信息 ,以补充“合格”或“不合格”两个评价结论过于粗略的不足。本文首先根据严重性和诱发可能性为每个安全性问题 (即软件缺陷 )定义了一个安全性指数 ,然后提出针对制式测试的安全性评价指标———联锁软件安全性问题处理完善性 ,用以反映联锁软件的开发水平。这部分包括评价模型和方法 ,特别是对安全性经验关系系统到数值关系系统的映射 ,进行了一致性的证明。文章最后介绍了对某些已经完成制式测试的软件进行安全性问题处理完善性的评价实例 ,并列表给出了结果     

基于Event-B的计算机联锁安全规范描述与验证

本文结合具体的站场实例,基于Event-B方法对信号开放、道岔控制、进路解锁等联锁系统关键安全规范进行了形式化模型描述和验证分析,给出了严格的分析结果.工作表明,铁路信号联锁系统是具有复杂时序逻辑的控制系统,Event-B方法适合于该类系统的描述与验证.通过形式化的联锁安全规范描述与验证,可以在系统开发的早期及时发现设计错误或漏洞,有助于提高计算机联锁系统的软件开发质量.     

高速铁路信号系统安全软件质量控制自动化技术研究

基于现代软件工程的理论,研究铁路信号产品高安全性软件开发过程中软件质量控制的信息化、自动化与电子化技术。同时,在当前比较流行的软件辅助开发和管理工具的基础上进行重新设计、集成与开发,探索性的实现高安全软件研发过程质量卡控与基线管理信息化、自动化、电子化的目标。     

计算机联锁数据自动生成软件的设计与实现

针对计算机联锁系统数据编写任务量大、正确性和安全性要求高等情况,通过分析联锁系统数据的结构特点,结合可视化编程方法,开发一种自动化软件,实现铁路车站图形绘制和联锁数据生成与校验功能.测试与应用表明,该软件可有效避免联锁数据编制中的人为错误,提高联锁软件安全可靠度,同时降低了联锁软件编制人员的专业水平门槛,可缩短软件编制...     

基于SCADE的城轨联锁软件开发方法的研究

CBTC的计算机联锁(CBI)系统是一个复杂且安全性要求非常高的系统,若按照传统的方法进行开发,很难达到其所需要的安全性和可靠性.本文提出基于高安全性应用程序开发环境(SCADE)开发城轨联锁系统软件的方法,能有效解决上述问题.文章主要介绍基于SCADE开发CBI软件的流程,建模方法,形式化验证和代码自动生成的方法.     

区域集中计算机联锁系统(上)——日本井原线信号设备新方式

介绍了区域集中计算机联锁系统的特点，主要阐述了列车位置跟踪逻辑与区域集中运行方向逻辑的运用，及在实现安全性方面所起的作用。     

计算机联锁增加关键继电器后接点采集接口电路设计

针对集宁至包头段增建第二双线工程,完成了在计算机联锁系统中对涉及安全输入信息的关键继电器增加后接点采集的接口电路设计,实现了闭环逻辑安全运算检查,进一步提高了计算机联锁系统的可靠性及安全性。     

城轨CBTC系统联锁表数据安全逻辑验证方法研究

联锁表是联锁安全逻辑的体现,本文针对联锁表数据的安全逻辑验证问题,提出一种基于CSP的验证方法。首先对联锁表数据进行建模,将联锁表数据抽象为调度员、道岔、信号机、区段和联锁控制器5个进程的并发组合模型,并对各进程进行建模。依据联锁系统安全约束条件,从功能性和安全性两个方面,通过对模型正确性的验证来说明数据的安全逻辑正确性。最后以北京地铁亦庄站联锁表数据的安全逻辑验证为例,说明该方法的可行性。     

自动闭塞区间继电式逻辑检查电路优化探究

全路范围内普速铁路自动闭塞区间要求增加继电式逻辑检查功能。在试验和使用过程中发现存在IBG失去分路,造成联锁系统错误解锁的安全隐患,急需解决。在分析现有解决方案基础上,提出计算机联锁软件修改和继电式逻辑检查电路改进两种优化方案,总结各自特点,通过在区间不同运营场景下继电器电路工况的逻辑分析,证实继电式逻辑检查优化电路的合理性和安全性。     

基于面向对象技术的CBTC系统联锁监控机软件模块设计

随着铁路的高速发展以及计算机联锁系统在城市轨道交通中的应用,计算机联锁系统在铁路运输中发挥的作用日益增加.本文结合面向对象软件开发的特点,简述面向对象技术在计算机联锁监控机软件开发中的应用.     

客运专线SEI系统联锁逻辑实现方式的研究

通过对我国秦沈客运专线引进的欧洲高速铁路SEI系统联锁逻辑实现方式的研究探索,并配以联锁流程图予以说明,介绍SEI系统特有的联锁逻辑方式。     

联锁试验仪的设计与应用

计算机联锁系统的联锁逻辑由计算机软件来实现,其逻辑流程不象继电联锁那样直观和透明.新开通车站时,应保证有充分的时间和条件,对系统联锁关系进行全面检查和验收.     

重庆轨道交通2号线计算机联锁系统的发码设计

以重庆轨道交通2号线延伸段工程采用的TYJLIII型计算机联锁系统为研究对象,对该计算机联锁系统的联锁逻辑软件和操作显示软件进行发码特殊功能研究。提出了在不影响既有软件结构基础上新增发码模块的设计实现方法。测试验证结果表明,新增发码模块不影响既有计算机联锁系统软件结构,并满足设计需求。车站现场使用情况表明,采用这种发码设计方法的TYJL-III型计算机联锁系统能在保障既有计算机联锁系统可靠性和安全性前提下,更好地满足重庆轨道交通的工程设计和运营要求。     

计算机联锁软件设计及进路搜索算法的研究与应用

本文根据联锁软件所要实现的功能,对联锁程序进行模块划分,采用模块化的设计方法编写联锁软件,并对进路搜索模块中不同算法进行分析比较,提炼出一种高效率的搜索算法,结合站场型数据结构将此算法应用到联锁软件的设计开发中.最后对联锁软件的安全性进行简要分析.