基于改进DFTA的安全苛求系统可靠性分析 

针对传统可靠性分析方法容易忽视冗余多态性、可修复性等安全苛求系统特性问题,在形式化的系统可靠性建模中引入可修复因子,提出一种模块化动态故障树分析方法。在动态和静态相结合的模块化定量分析过程中,利用马尔可夫模型和顶事件发生概率逼近算法,有效避免动态故障树分析过程中的状态组合爆炸问题,提高`#~安全...
《计算机工程》  2009年 第15期 下载次数(163)| 被引次数(10)

基于VxWorks的开放式安全通信协议的研究与实现 

我国的铁路事业发展迅速,列车的运行速度和行车密度不断提高。行车安全必须要综合车、地多个系统来保障,系统之间的通信由封闭式网络转向开放式网络,通信安全性也就变的尤为重要。CTCS-3作为目前我国客运专线技术等级最高的列控系统,其各子系统间的信息交互过...
兰州交通大学  硕士论文  2014年 下载次数(167)| 被引次数(1)

RSSP-2协议安全性建模及铁路信号系统网络安全性分析 

在铁路运输系统中,铁路信号系统是整个铁路系统运行的中枢神经,是确保列车运行安全及效率的核心因素,因其安全苛求特性,在研究、应用及发展中受到了国内外的广泛关注。随着我国高速铁路技术的快速发展,对铁路信号系统安全性提出了更高的要求。近年来...
北京交通大学  硕士论文  2016年 下载次数(235)| 被引次数(4)

面向安全需求的安全通信协议测试序列生成算法 

安全苛求系统仿真测试中,安全通信协议测试是重要的组成部分,而完备有效的测试序列生成是安全通信协议测试中的关键。面向安全需求,提出安全因子的定义,通过建立带安全因子的安全EFSM模型,设计了一种新的基于最小安全因子的协议`#~...
《计算机应用》  2009年 第07期 下载次数(146)| 被引次数(3)

基于LACP的安全数据网可靠性研究 

由于安全数据网对实时性和安全苛求的特点,因此将安全数据网应用于列车控制系统之前,必须对具体网络协议和网络故障进行安全数据网可靠性评估——研究LACP协议的安全数据网可靠性。首先分析安全数据网实现高可靠性的思想方法,简要介绍...
《计算机仿真》  2016年 第01期 下载次数(59)| 被引次数(2)

分布式计算机联锁系统安全信息传输网络研究 

以分布式车站信号计算机联锁控制系统为研究背景,根据分布式计算机联锁控制系统苛求相关数据安全、可靠传输的技术需求,设计了一种基于光纤的安全信息传输局域网,并给出了光纤局域网各节点的硬件及软件的设计方案。最后,以单模光纤为传输介质采用CAN通信构建了分布式双环冗余控制网络。
《中国科技信息》  2006年 第16期 下载次数(81)| 被引次数(5)