联锁软件相关论文
该文详细介绍了控制台和站场操作命令处理模块的设计方法和思路;采用循环控制等方法解决信息的实时处理和实时通信问题,同时说明了......
随着科学技术的不断进步和电子与计算机技术的迅速发展,铁路信号联锁软件也由继电器联锁向计算机联锁过渡,并逐步走向成熟。在计算......
在铁路信号计算机联锁系统中,联锁软件是实现联锁运算的核心部分。联锁软件的失效将有可能导致列车相撞或颠覆等重大事故的出现。......
安全是铁路运输生产永恒的主题。联锁软件是保障铁路车站列车或机车作业安全的关键软件,而高效、充分的测试对于保证其安全性具有......
该文分析了铁路信号安全软件测试评估平台的结构，测试案例的生成，运行集的生成以及回归测试。运用测试平台能实现对微机联锁软件的功......
计算机联锁是实现进路控制,保证行车安全,提高运输效率的重要技术手段。联锁软件作为计算机联锁系统的关键软件,研究联锁软件的测......
该文根据软件安全性理论及技术的发展,以独立性评估组织为背景,结合铁路信号安全控制及防护系统对软件安全评估理论及方法的实际需......
车站信号计算机联锁软件是一种保证站内行车安全，实现进路控制的安全性苛求软件。为了提高联锁软件的安全性和可靠性，分析了通用计算......
近年来，计算机联锁系统以其占地面积小、易于改造、智能化等优势，被广泛应用于各大车站。安全是铁路运输和运营永恒不变的主题。在计......
计算机联锁系统是铁路信号系统的重要组成部分,其可靠性是保障列车安全高效运行的重要前提。随着联锁系统的硬件结构日趋完善,系统......
文章从分析嵌入式实时Linux入手,阐述了铁路车站微机联锁自动控制系统的技术先进性及联锁软件的设计.......
【摘 要】针对计算机联锁系统在全路已大面积推广使用，怎样保证联锁软件的绝对准确就成了电务信号考虑的首要问题，目前各个铁路局基......
在研究联锁逻辑关系的基础上,采用UML语言及建模工具实现对联锁软件系统的建模研究,分析了信号设备的基本状态变化及在进路处理中......
首先定义了联锁软件的风险度量和安全性,然后提出了最不利环境下的联锁软件分级风险度量以及相应的安全性投放准则等概念.在考虑有......
通过对既有站场股道有效长1 050 m改造的实例分析,以3种站场改造为例,由简至难对站改中的信号联锁软件启用时机进行剖析,充分考虑......
计算机联锁系统是由计算机技术构成的具有“故障—安全”特征的铁路信号自动实时控制系统,它与传统的继电联锁相比具有很多优点:安......
根据计算机联锁软件失效危险严重性等级的不同，科学地建立了安全性评估指标，介绍了重要抽样的基本原理．以及利用层次分析法确定抽样概......
基于需求的测试是软件测试的本质。通过采用线性关系抽取技术的需求建模方法，设计出一种以需求驱动生成测试用例，并结合相应的软件测......
为确保高压氨泵稳定、长周期运行,对其联锁软件进行一次成功的修改....
在分析用于铁路信号控制的微机联锁软件系统的一般测试过程及其局限性的基础上,研制并开发了一种面向微机联锁软件再确认的实时自......
介绍了佛山高明区现代有轨电车示范线首期工程车辆段联锁软件总体结构及应用层软件设计方案;详细介绍了各模块的设计实现方法,出入......
文章从分析嵌入式实时Linux入手，阐述了铁路车站微机联锁自动控制系统的技术先进性及联锁软件的设计。......
斯德哥尔摩交通管理局（SL）,已经批准使用本土公司Prover科技公司的i Lock软件生成联锁需求。i Lock在采用拖放编辑器或者使用导入文......
可靠性是开发联锁软件的重要依据之一,为了提高系统的性能,选择合理的可靠性分析模型很重要。本文在联锁软件的时间Petri模型基础......
联锁软件是在计算机联锁系统中负责执行联锁运算的核心,如果联锁系统发生故障或失效,可能会导致列车在行进过程中发生相撞或者颠覆......
结合计算机联锁系统的硬件和联锁软件的特征,介绍了软件的测试目的、步骤、黑盒测试中等价类划分法以及安全测试常用的故障树分析......
铁路车站信号计算机联锁控制系统是实时、多任务、安全苛求的计算机控制系统。分析DOS和Windows环境联锁控制软件设计存在的问题，结......
计算机联锁软件是计算机联锁系统的重要组成部分之一,其性能稳定与否直接关系整个系统的运行安全性和稳定性。因此,在应用计算机联......
通过对联锁软件需求规格的分级划分,提出了一种联锁软件分级测试策略.在此基础上,给出了基于规则的联锁软件测试集自动生成系统框......
计算机联锁系统是铁路运输中安全性、可靠性要求极高的关键系统。在硬件实现安全可靠的前提下,提高软件质量是至关重要的一项任务......
安全是铁路运输生产永恒的主题。联锁软件是保障铁路车站列车或机车(以下简称列机车)作业安全的关键软件,充分的测试对于保证其安......
使用统一建模语言(unified modeling language,UML)为联锁软件建立平台无关的模型(platform independent model,PIM),可以实现在异......
随着近十年来无线通信技术的日趋成熟,在城市轨道交通中发挥重要作用的列车控制系统已经从基于轨道电路的列车控制系统发展为基于......
本文好一种用于铁路信号控制微机联锁软件系统再确认测试的黑箱测试平台，并重点讨论了该平台中的对比环境的系统设计，实现技术等有关......
阐述了铁路计算机联锁软件安全性质量评价的概念,介绍了服务于安全性质量保障的联锁软件测试的原理和所开发研制的通用自动化测试......
用Petri网对联锁系统中的核心部分--联锁机中的联锁软件进行形式化定义和分析,以减少联锁系统中的不确定性因素,降低联锁软件的复......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
介绍了将铁路计算机联锁软件测试技术应用于地铁的计算机集中运输控制系统第三方测试中所使用的方法和技术.根据被测系统的特点,合......
计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全......
高速铁路信号机的显示采用了新的技术标准,信号机的常态为灭灯,其联锁逻辑与普速铁路有较大不同。尤其在衔接站,逻辑更为复杂。基......
随着科学技术的进步，电气联锁系统正被计算机联锁系统所取代。本文讨论了在计算机联锁系统中联锁功能的某些改善和联锁软件的设计思......
联锁软件作为保证车站内行调车作业安全的计算机联锁系统中的安全关键软件对整个车站联锁系统的安全性和可靠性有重大影响。测试是......
摘要：联锁系统是铁路信号系统的重要组成部分,直接关系到车站行车和作业的安全与效率。计算机联锁系统由于具有高效、智能化、易于......
铁路计算机联锁系统是以计算机技术为核心,通过采用通信、可靠性和容错以及“故障—安全”技术,实现联锁要求的实时控制系统。车站......
计算机联锁系统是铁路信号保证行车安全、提高行车效率的关键基础设备,联锁软件是系统安全的核心。近年来,城市轨道交通迅速发展,......
计算机联锁在现场模拟试验之前及软件修改后,电务段应进行全面的联锁仿真试验,并认真做好记录,仿真试验的内容按要求表格化,为此需......
有效地测试、分析和验证计算机联锁软件是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的......
CBTC系统的联锁软件为SIL4级的高安全、高可靠软件，目前广泛使用的软件测试和仿真验证的结果严重依赖选取的测试向量，要保证高覆盖率......
