A Newly Developed Safety-Critical Computer System for China Metro

被引:10
作者
Chen, Xiangxian [1 ]
Zhou, Gongshuang [2 ]
Yang, Yi [1 ]
Huang, Hai [1 ]
机构
[1] Zhejiang Univ, Dept Instrumentat Sci & Engn, Hangzhou 310027, Peoples R China
[2] Zhejiang United Elect Ind Co Ltd, Dept Res & Dev, Hangzhou 310012, Peoples R China
关键词
Fail-safe; Markov; reconfigure; reliability; safety; safety-critical computer system;
D O I
10.1109/TITS.2012.2230258
中图分类号
TU [建筑科学];
学科分类号
0813 ;
摘要
Applications of advanced electronic technologies have greatly increased the efficiency and performance of safety-critical computer systems. In addition, the architectural flexibility of these systems reduces the types of printed circuit boards they can use, thereby reducing difficulties with maintenance. A newly developed safety-critical computer system is presented in this paper. The system uses some advanced electronic technologies and can be reconfigured to be a triple-modular-redundant system or a dual-modular-duplex-redundant system for different applications. The system's architecture and fail-safe technologies are discussed, and its reliability, availability, maintainability, and safety (RAMS) are evaluated based on the Markov method. Based on these evaluations, the safety-critical computer system developed herein demonstrates great potential for rail use.
引用
收藏
页码:709 / 719
页数:11
相关论文
共 12 条
[1]  
Alagoz B.B., 2008, OncuBilim Algorithm And Systems Labs, V8, P1
[2]   Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting [J].
Angeletti, Damiano ;
Giunchiglia, Enrico ;
Narizzano, Massimo ;
Puddu, Alessandra ;
Sabina, Salvatore .
JOURNAL OF AUTOMATED REASONING, 2010, 45 (04) :397-414
[3]  
[Anonymous], 2010, 5905 RFC
[4]  
[Anonymous], 2010, 50159 EN
[5]  
[Anonymous], 2003, 501292003 CENELEC EN
[6]   Automated system testing of an automatic train protection system [J].
Friman, B. ;
Andreiouk, T. .
COMPUTERS IN RAILWAYS XII: COMPUTER SYSTEM DESIGN AND OPERATION IN RAILWAYS AND OTHER TRANSIT SYSTEMS, 2010, 114 :71-80
[7]  
IEEE, IEEE 1474.1-2004
[8]   A fault-tolerant architecture for computer-based railway vehicle brake systems [J].
Johansson, R .
PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART F-JOURNAL OF RAIL AND RAPID TRANSIT, 2004, 218 (03) :189-201
[9]   The design and analysis of AVTMR (all voting triple modular redundancy) and dual-duplex system [J].
Kim, H ;
Lee, H ;
Lee, K .
RELIABILITY ENGINEERING & SYSTEM SAFETY, 2005, 88 (03) :291-300
[10]  
Kopetz H., 2003, Annual Reviews in Control, V27, P3, DOI 10.1016/S1367-5788(03)00002-6