Safety analysis of cross-redundant architecture

doi:10.3778/j.issn.1002-8331.2010.12.059

Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (12): 198-200.DOI: 10.3778/j.issn.1002-8331.2010.12.059

• 工程与应用 • Previous Articles Next Articles

Safety analysis of cross-redundant architecture

LI Yi-qiang¹，XU Zhong-wei¹，YU Gang^1，2

1.School of Electronics and Information，Tongji University，Shanghai 201804，China
2.School of Sydney Business，Shanghai University，Shanghai 201800，China

Received:2008-11-20 Revised:2009-02-02 Online:2010-04-21 Published:2010-04-21
Contact: LI Yi-qiang

交叉冗余体系结构的安全性分析

李弋强¹，徐中伟¹，喻钢^1，2

1.同济大学电子与信息工程学院，上海 201804
2.上海大学悉尼工商学院，上海 201800

通讯作者: 李弋强

Abstract

Abstract: It’s an urgent demand of equipping advanced，safe and reliable train control system because of demand on railway signaling system in safety and transportation efficiency.Now a method for analyzing the safety of railway signaling system by Markov model is provided.Based on the feature and the independent of sub-system of signaling system，the failure rates of sub-system are divided into several different parts.The safety can be analyzed according to the effects of each part of the failure rate；system decomposition and model compression are used to solve the problem of state proliferation.Finally，using the method to realize the quantity analysis and simulation about signaling system safety，which architecture is cross-redundant.

摘要： 为确保列车运行安全和提高运输效率，迫切需要装备性能先进、安全可靠的信号系统。给出一种利用马尔可夫模型分析信号系统安全性的方法，根据系统特性及系统各部分间的独立性，将系统各部分的失效率划分为几个独立不相关的分量，充分考虑到各部分失效率对系统安全性的影响，利用系统分解和模型压缩的方法解决状态空间的激增问题，并对铁路信号系统中使用的交叉冗余体系结构进行了安全性定量分析和仿真。

CLC Number:

TP391

LI Yi-qiang¹，XU Zhong-wei¹，YU Gang^1，2. Safety analysis of cross-redundant architecture[J]. Computer Engineering and Applications, 2010, 46(12): 198-200.

李弋强¹，徐中伟¹，喻钢^1，2. 交叉冗余体系结构的安全性分析[J]. 计算机工程与应用, 2010, 46(12): 198-200.

[1]	CHEN Wang¹，LI Bo1，SHI Yanjun²，TENG Hongfei². Differential evolution algorithm with estimation of distribution for solving RCPSP problem [J]. Computer Engineering and Applications, 2011, 47(4): 1-4.
[2]	SHA Quanyou¹，SHI Jinfa¹，QIN Xiansheng². Research on dynamical decomposition and optimization configuration in aeronautic manufacturing field [J]. Computer Engineering and Applications, 2011, 47(4): 9-12.
[3]	DAI Qin，LIU Jianbo，LIU Shibin. Analysis of remote sensing information extraction using swarm intelligence method [J]. Computer Engineering and Applications, 2011, 47(4): 13-16.
[4]	LIU Guangshuai，LI Bailin，HE Chaoming. Patch-graph sparse optimization methods based on piecewise smooth surfaces reconstruction [J]. Computer Engineering and Applications, 2011, 47(4): 22-25.
[5]	LONG Yinfang，SHANG Junna. Frequency offset estimation for MC-CDMA systems [J]. Computer Engineering and Applications, 2011, 47(4): 102-104.
[6]	YU Jiangde¹，WANG Xijie¹，FAN Xiaozhong². Comparing of importance of above-context versus below-context for Chinese word segmentation [J]. Computer Engineering and Applications, 2011, 47(4): 117-120.
[7]	PEI Yingbo¹，LIU Xiaoxia². Study on improved CHI for feature selection in Chinese text categorization [J]. Computer Engineering and Applications, 2011, 47(4): 128-130.
[8]	ZHANG Yu，LUO Ke. OC-SVM-based classification for large-scale data sets [J]. Computer Engineering and Applications, 2011, 47(4): 131-133.
[9]	LIU Ronghui^1，2，ZHENG Jianguo¹. Clustering algorithm in Deep Web based on Chinese word segmentation [J]. Computer Engineering and Applications, 2011, 47(4): 138-140.
[10]	CAI Rangjia. Tibetan studies of corpus description method [J]. Computer Engineering and Applications, 2011, 47(4): 146-148.
[11]	LIU Xiuling，LIU Jing，WANG Hongrui，GUO Lei. Fast collision detection based on improved honeycomb-shape spatial decomposition [J]. Computer Engineering and Applications, 2011, 47(4): 149-153.
[12]	ZHANG Cong，GUI Zhiguo. Non-linear image sharpening approach based on noise estimation [J]. Computer Engineering and Applications, 2011, 47(4): 154-156.
[13]	FU Xiaojun¹，GUO Pengjiang¹，GUO Jing²，FENG Jun². 3D model classification based on statistical features and Markov models [J]. Computer Engineering and Applications, 2011, 47(4): 157-159.
[14]	CHEN Huijie，LAI Huicheng，JIA Zhiqiang. Double color image information hiding based on image mix and wavelet transform [J]. Computer Engineering and Applications, 2011, 47(4): 171-173.
[15]	YANG Xiaoqin，JI Xiaoyong. Fast motion estimation algorithm based on H.264 [J]. Computer Engineering and Applications, 2011, 47(4): 174-175.

Safety analysis of cross-redundant architecture

交叉冗余体系结构的安全性分析

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics