基于动态故障树的计算机联锁系统安全性及性能分析研究

针对2种常用冗余结构计算机联锁系统中的联锁机子系统,在考虑单元模块、比较模块和系统间切换模块全故障模式的情况下,建立双机热备和2×2取2计算机联锁系统的危险失效概率PFD和安全失效概率PFS的动态故障树模型。由于故障树概率近似法和Markov方法计算结果非常近似且概率近似法的求解过程简单和存储要求低等特点,采用概率近似法求解对应的PFD和PFS,实例对比分析2种冗余结构计算机联锁系统的安全性。研究结果表明:在全故障模式下,2×2取2计算机联锁系统的安全性高于双机热备。     

云联锁系统冗余结构研究

为保障联锁系统在云平台中的运行安全，文章通过对既有计算机联锁系统冗余结构进行分析，结合云平台特征，提出了基于虚拟机容错技术的云联锁系统冗余结构。首先，阐述了云联锁冗余结构的特点和优势。其次，通过对云联锁冗余结构的工作模式和服务器失效因素进行分析，建立服务器故障树模型、云联锁系统冗余结构关于危险失效概率PFD和安全失效概率PFS的动态故障树模型。最后，对云联锁冗余结构的可靠性进行研究，对动态故障树模型进行仿真分析。研究结果表明：云平台更适合部署形如Moo N结构的多重冗余结构联锁系统，开展云联锁冗余结构研究对云联锁的发展具有一定的借鉴意义。     

基于动态故障树的计算机联锁系统可靠性及性能分析研究

国内外关于动态冗余结构系统可靠性分析问题的主要方法是马尔科夫模型,然而,对于二乘二取二的相对复杂的冗余系统,使用马尔科夫模型进行分析时,其状态空间的规模与双机热备系统相比具有较大增长,致使其建模过程及求解过程十分繁琐.本文旨在使用动态故障树方法对二乘二取二系统的可靠性分析进行建模与求解,同时通过可靠性和安全性曲线,与双...     

基于现场数据统计的计算机联锁设备寿命分析

计算机联锁系统是铁路信号的核心技术装备,满足其系统可靠性要求的设备寿命一直是人们关注的焦点。为计算设备寿命,针对某型计算机联锁设备的故障数据及站场维护数据进行筛选、匹配和分析,并根据各部件的有效故障数据预测失效分布函数;采用故障树分析方法,对涉及联锁设备可靠性的安全部件构建故障树,分析系统子事件的失效组合,找到最小割集;根据有效故障数据确定各硬件设备进入损耗故障期的时间,并采用相关系数优化法计算各威布尔分布的系数,进而对该型机算计联锁系统的可靠性及预期寿命进行计算和分析。     

基于动态故障树的异构安全计算机系统共模故障分析研究

共模故障是一种存在于冗余结构系统中的特殊故障,给系统带来巨大的安全隐患。为保证列车运行控制系统的高安全性和高稳定性,安全计算机系统采取异构冗余结构。为了讨论共模故障对冗余系统的影响,文章对异构、同构两组安全计算机系统分别建立了动态故障树,并且采用马尔可夫链分析方法进行故障率和可靠度计算,对计算结果进行分析对比。结果表明,改进后的异构安全计算机可以减小共模故障给冗余结构系统带来的负面影响。     

集中控制形式的计算机联锁系统冗余和切换技术研究

冗余和切换技术是计算机系统可靠性设计中常采用的一种技术。在区域集中控制方面,计算机联锁系统的典型应用包括区域联锁和远程控显。在基本计算机联锁系统的基础上,开发这两种典型的应用,重点是要设计好新增部分的冗余和切换。以采用高安全性和高可靠性的二乘二取二安全冗余结构的TYJL-ADX型计算机联锁为例,分析了2种应用的系统架构、硬件冗余设计,以及新增子系统的切换方式、故障情况下的切换设计和系统处理。     

计算机联锁系统故障预测模型及应用

计算机联锁系统在铁路系统中起着重要作用,目前其故障后维修的管理模式无法适应铁路快速发展的要求。以CBTC系统中应用的计算机联锁系统为例,提出基于部件故障数学模型和整体系统故障树分析构建的预测模型,得到系统失效概率趋势。系统失效趋势图表明计算机系统运行状态分为3个阶段,各阶段的维修策略与故障事件关键重要度概率大小特点相关。该方法为系统故障状态预测、维修决策提供了理论依据。     

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

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

基于时间自动机的CBI道岔转换时间建模与验证

针对CBTC计算机联锁安全性十分重要的问题，介绍时间自动机理论，分析CBTC计算机联锁系统的结构和与传统联锁系统的区别，以CBTC联锁系统的道岔转换功能为例，采用UPPAAL建立了道岔转换模型，分析模型的安全需求。表明了在联锁系统开发过程中采用基于时间自动机建模与验证的方法的可行性和有效性。     

基于动态故障树的中低速磁悬浮列车供电系统可靠性分析

为了提高供电系统的安全性和可靠性,CMS-03A新型中低速磁浮列车采用了一定量的冗余设计.考虑到动态故障树方法特别适合于冗余系统的故障建模,采用动态故障树方法对CMS-03A供电系统进行了故障分析.首先给出CMS-03A供电系统冗余设计方案,之后介绍动态故障树(DFTA)原理,然后用DFTA建立供电系统的故障模型,详细分析了该模型;文章的最后给出冗余设计方案与非冗余设计方案的对比分析,讨论了冗余设计方案的优劣.