故障-安全在铁路信号系统中的应用
摘要
故障-安全在信号系统中应用广泛,本文对故障-安全在信号设备上的应用情况进行了较为全面的分析和总结,对后期信号设备的发展具有一定的参考意义。
出处
《铁道勘测与设计》
2015年第4期58-60,共3页
Railway Survey and Design
二级参考文献11
-
1TB10007-2006.铁路信号设计规范[S].北京:中国铁道出版社,2006.
-
2Gnesi, S., Lenzini, G., Latella, D.,et al. An Automatic SPIN Validation of a Safety Critical Railway Control System[A]. Proceedings Dependable Systems and Networks International Conference[C],2000.6:119～124
-
3CENELEC prEN50129-1999. Railway Applications: Safety Related Electronic Systems for Signalling[S],1999
-
4Neil Storey. Safety-Critical Computer Systems[M]. Addison-Wesley, 1996
-
5IEC61508-2000. Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems[S],2000
-
6CENELEC prEN50126-1999,Railway Applications:The Specification and Demonstration of Reliability,Availability,Maintainability and Safety(RAMS)[S],1999
-
7CENELEC prEN50128-1998,Railway Applications:Software for Railway Control and Protection Systems[S],1998
-
8中华人民共和国铁道部铁路技术管理规程[S].北京:中国铁道出版社,2006.
-
9TB10071-2006/J77-2001铁路信号站内联锁设计规范[S].北京:中国铁道出版社,2001.
-
10TB/T2615铁路信号故障一安全原则[S].北京:中国铁道出版社,1994.
共引文献39
-
1郜春海,燕飞,唐涛.轨道交通信号系统安全评估方法研究[J].中国安全科学学报,2005,15(10):74-79. 被引量：22
-
2承向军,应志鹏,杜鹏.高速列车ATP控车模式的形式化模型与安全性分析[J].中国安全科学学报,2008,18(3):28-32. 被引量：1
-
3陈树泉,唐涛,马连川,王悉.2乘2取2安全计算机关键算法的设计与实现[J].计算机安全,2008(3):7-9. 被引量：12
-
4洪海珠,胡宗福,薛小平,朱翔.轨道交通信号系统的安全论证[J].城市轨道交通研究,2009,12(2):21-25. 被引量：2
-
5燕飞,沙新发,郜春海,唐涛.自主创新CBTC产品安全认证方法[J].市政技术,2010,28(S2):426-430. 被引量：1
-
6徐晓燕,陈文赛.一种用于轨道交通的安全计算机平台的设计与实现[J].信息化研究,2009,35(8):32-36. 被引量：11
-
7秦亮,朱志凌,沈强.轨道交通信号系统安全评估与认证体系研究[J].江苏科技信息,2010,27(1):19-20. 被引量：6
-
8戎珈,姜尚.共因失效在地铁联锁系统可靠性分析中的应用[J].计算机与现代化,2010(3):176-179. 被引量：1
-
9张亚东,郭进,单娜.铁路信号系统风险严重度综合评判[J].西南交通大学学报,2010,45(5):758-762. 被引量：11
-
10燕飞.列车运行控制系统安全保障与认证方法研究[J].中国安全科学学报,2010,20(12):98-104. 被引量：8
