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

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

计算机联锁软件安全性测试评估研究和实践

阐述了铁路计算机联锁软件安全性质量评价的概念．介绍了服务于安全性质量保障的联锁软件测试的原理和所开发研制的通用自动化测试评估平台。文章对8年来利用平台所进行的计算机联锁制式测试、制式复查测试和现场联锁软件抽样测试的结果进行了介绍和分析．从中可以了解软件安全性测试在我国目前计算机联锁软件安全性质量管理中的重要作用。     

计算机联锁软件的黑盒测试过程分析与实现

结合计算机联锁系统的硬件和联锁软件的特征,介绍了软件的测试目的、步骤、黑盒测试中等价类划分法以及安全测试常用的故障树分析法。基于由测试软件、联锁软件和车站信号设备仿真系统组成的测试平台的联锁软件测试,在联锁软件黑盒测试覆盖率准则的基础上,举例介绍了用等价类划分法编写测试用例和用故障树分析法编写安全性测试用例以及测试流程,并用python伪代码实现了“进路正常选出”的测试用例。通过上面的方法来体现黑盒测试在计算机联锁软件逻辑运算功能的重要性。     

车站信号计算机联锁设备仿真测试系统研究

计算机联锁系统(CIS)是安全苛求系统,针对目前计算机联锁系统的安全测试以软件测试、人工操作为主,存在测试不完备、效率低,远离实际应用等问题,提出了一种自动化联锁仿真测试方案,并结合工程以实际的计算机联锁系统为对象研制出联锁仿真测试系统,实测结果表明:该系统功能完善,达到了完备、高效安全测试的目的.     

基于VxWorks的计算机联锁控制系统软件研究

铁路车站信号计算机联锁控制系统是实时、多任务、安全苛求的计算机控制系统.分析DOS和Windows环境联锁控制软件设计存在的问题,结合VxWorks操作系统的特点,研究基于VxWorks实现联锁控制的可行性,在此基础上提出了一种VxWorks环境下设计联锁软件的方法,并进行了详细的系统设计.针对一个实际站场的编码测试结果表明,在VxWorks环境下更易于满足联锁软件对实时性、多任务调度的设计要求,并有利于提高系统的安全性.     

计算机联锁系统“故障——安全”措施可靠性探讨

信号设备在保障行车效率的同时也对保障行车安全起着关键性的作用如何来提高计算机联锁系统的故障-安全性能成为了必须要探讨的一个课题,本文从硬件、软件、编码技术三个方面论述了计算机联锁系统采用的各种故障安全措施。     

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

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

SWJTU—II型计算机联锁控制系统设计和实现

铁路信号计算机联锁系统是一个有着高可靠性、故障安全性和实时性要求的安全关键系统。本单位自行设计研制了一个满足这种高可靠性、故障安全性和实时性要求的容错计算机联锁系统SWJTUII。计算机联锁系统SWJTUII,硬件结构上,采用SIEMENS公司PLC作为主要控制部件,双机热备冗余结构,能实现无扰动的故障切换;联锁软件采用Petri网模型化,面向对象方法设计,Step7STL语言实现;通过仿真软件模拟列车运行来对系统进行仿真测试并取得良好效果。该系统已开发完成并投入应用。     

SWJTU-Ⅱ型计算机联锁控制系统设计和实现

铁路信号计算机联锁系统是一个有着高可靠性、故障-安全性和实时性要求的安全-关键系统.本单位自行设计研制了一个满足这种高可靠性、故障-安全性和实时性要求的容错计算机联锁系统SWJTU-II.计算机联锁系统SWJTU-II,硬件结构上,采用SIEMENS公司PLC作为主要控制部件,双机热备冗余结构,能实现无扰动的故障切换;联锁软件采用Petri网模型化,面向对象方法设计,Step 7 STL语言实现;通过仿真软件模拟列车运行来对系统进行仿真测试并取得良好效果.该系统已开发完成并投入应用.     

基于Event-B的联锁进路控制建模验证方法研究

计算机联锁系统具有典型的安全苛求特性.传统的联锁软件开发方法难以完整准确地定义需求,单纯依靠测试也无法发现软件中的所有错误,使软件在功能完整性和安全性方面难以得到保证.本文利用形式化Event-B方法和相关工具对联锁系统的核心功能-进路控制的相关功能需求和安全需求进行了建模、精化和验证,对开发高安全苛求和高可靠性的联锁软件提供了新的方法借鉴.     

基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

信号安全技术在DS6-60计算机联锁系统中的主要应用

计算机联锁系统因其应用领域的特殊性,在满足铁路运营需求的同时,必须保证铁路运输的安全。因此对计算机联锁系统的安全性有较严格的要求。广义的信号安全技术包含故障-安全技术、可靠性和易维护性等方面。DS6-60型计算机联锁系统是基于故障-安全技术研发的通过欧标认证的铁路信号安全控制系统。阐述了DS6-60型计算机联锁系统各个环节的主要安全技术应用。     

计算机联锁软件模拟自动测试系统的研究与实现

基于灰箱测试模型,实现非侵入式闭环联锁软件自动测试系统。系统测试分自动和手工两种方式。测试程序软件采用模块化设计。仿真程序界面采用虚拟面板技术,使操作直观、方便、简捷,增强了仿真能力。系统测试基于联锁特征数据,联锁表保证测试的连续进行。实际应用表明,本系统能够发现联锁软件故障,提高测试效率;有利于进行回归测试;可以降低人为的操作失误和对测试人员的技术要求,减少测试成本,满足联锁软件出厂测试和现场测试自动化的需要。     

基于OpenCV的计算机联锁自动测试系统研究

针对当前国内计算机联锁软件测试中存在的人工测试效率低、第三方测试难度大、严重依赖测试人员技术水平问题，基于OpenCV图像处理技术、AutoItX自动测试库，设计并实现了计算机联锁自动测试系统。系统通过计算机联锁上位机界面采用图像处理技术获取铁路站场数据；基于站场数据，采用进路搜索算法生成站场联锁表，进而基于联锁表生成相关测试用例；对测试用例编写测试脚本，实现对计算机联锁系统的自动测试。研究结果表明，该系统实现了第三方对计算机联锁系统的自动测试，能够有效地减少人工操作，在降低对测试人员技术水平的要求的同时提高了测试效率。     

基于站场图形网络的计算机联锁软件在高速铁路的应用研究

为适应高速铁路列控系统接口需求,计算机联锁系统接入信号安全数据网[1]的同时,应用软件需要新增进路模块来实现接口的应用信息交互。进路模块利用原有联锁软件网络化结构的选路原理,实现了进路信息存储;利用进路中道岔的大号码特征,实现符合黄闪黄条件信号显示自动计算。软件采用模块化设计的同时,对软件需求、设计、结构、安全性进行全面分析,确保联锁子系统软件的兼容性和可持续开发性。基于升级的计算机联锁软件不仅满足高速铁路列车控制系统的需求,也提高了原有软件的安全性和可靠性。     

基于CAN通信的计算机联锁IO仿真系统设计

以计算机联锁系统体系结构为基础,结合健全和完善联锁软件试验的设计理念,借鉴现有成熟的计算机技术及通信接口技术,研发设计了一种基于CAN通信的计算机联锁IO仿真系统.详细阐述了系统的架构、软硬件设计原理及主要功能实现.功能测试和仿真应用实践表明,系统设计满足联锁软件试验要求,能够健全联锁软件试验覆盖面和提高试验效率.     

计算机联锁安全接口防护技术的运用和研究

接口功能是计算机联锁设备安全功能的重要组成部分,通过对计算机联锁安全相关接口在运用中存在的典型风险进行分析,采取继电器双接点采集、继电器双断驱动、安全通信协议传输等技术措施,对接口存在风险进行防护,使继电器驱采接口和安全通信接口发生故障时,计算机联锁的控制输出能够导向安全侧,保障计算机联锁在普速和高速铁路的安全可靠运用...     

北京城市轨道交通计算机联锁控制系统特殊联锁功能的软件实现

北京城市轨道交通计算机联锁控制系统要求具有扣车、紧急关闭和轨道区段故障时单独操纵道岔三种特殊联锁功能。确定A,B两种类型的矩阵,建立新的模型和算法,实现扣车时单独操纵道岔这种新增加的特殊联锁功能。利用原有联锁运算模块中的某些算法,实现紧急关闭时单独操纵道岔特殊联锁功能。在原有联锁运算模块中的某些算法上稍加修改,实现轨道区段故障时单独操纵道岔特殊联锁功能。实现三种特殊联锁功能的软件满足技术条件要求和故障—安全性的设计原则。     

计算机联锁全电子三相交流转辙机控制模块

全电子计算机联锁系统已开始试点推广。本文介绍了全电子计算机联锁系统中的一个关键核心控制模块,采用模块化电子电路取代由安全型继电器构成的三相交流转辙机控制表示电路,用于驱动S700K系列、ZDJ9系列和ZYJ系列等三相交流电动或电液转辙机。详细论述全电子三相交流转辙机控制模块的"二取二"模块化硬件架构,对模块的微控制器电路、转辙机动作驱动电路、表示信号采集电路等关键的单元电路进行深入剖析。本文采用流程图对嵌入式软件的原理进行说明和描述,并按照EN50129标准,利用故障树分析法对该控制模块进行可靠性和安全性的计算和评估,结果表明模块完全满足信号系统对高安全性的要求。最后分析影响模块安全性指标的主要因素,为进一步提高模块的安全性提供参考。