OBDD-based reliability analysis for avionics networks

被引：0

作者：

Chen, Yao ^{[1
]}

Li, Qiao ^{[1
]}

Zhao, Chang-Xiao ^{[1
]}

Xiong, Ying ^{[1
]}

机构：

[1] School of Electronics and Information Engineering, Beihang University

来源：

Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics | 2013年 / 35卷 / 01期

关键词：

Avionics network; Common-cause failure (CCF); Ordered binary decision diagram (OBDD); Real-time; Reliability;

D O I：

10.3969/j.issn.1001-506X.2013.01.39

中图分类号：

学科分类号：

摘要：

Avionics networks work in a real-time manner where the intended functions should be performed before time deadline. To assess the reliability of an avionic network comprehensively, the metric delay as well as the common-cause failures are taken into consideration and a task-based model with delay constraints is built. Moreover, an efficient ordered binary decision diagram (OBDD) based approach, named time-constraint edge expansion, is proposed which incorporates delay constraints into the edge expansion diagram to construct OBDD and analyzes network reliability with common-cause failures on the basis of the original OBDD. A sample network is shown to illustrate the evaluation procedure using the proposed approach. The experiment results verify the correctness and efficiency of the approach in reliability analysis for avionics networks.

引用

页码：230 / 236

页数：6

共 21 条

[1]

Xiong H.G., Wang Z.H., Advanced Avionics Integration Techniques, (2009)

[2]

Yeh W.C., An improved sum-of-disjoint-products technique for the symbolic network reliability analysis with known minimal paths, Reliability Engineering and System Safety, 92, 2, pp. 260-268, (2007)

[3]

Mishra R., Chaturvedi S.K., A cutsets-based unified framework to evaluate network reliability measures, IEEE Trans. on Reliability, 58, 4, pp. 658-666, (2009)

[4]

Rebaiaia M.L., Daoud A.K., Merlano A., A practical algorithm for network reliability evaluation based on the factoring theorema case study of a generic radiocommunication system, Journal of Quality, 16, 5, pp. 323-336, (2009)

[5]

Ball M.O., Computational complexity of network reliability analysis: An overview, IEEE Trans. on Reliability, 35, 3, pp. 230-239, (1986)

[6]

Singh H., Vaithilingam S., Anne R.K., Terminal reliability using binary decision diagrams, Microelectronics Reliability, 36, 3, pp. 363-365, (1996)

[7]

Kuo S.Y., Lu S.K., Yeh F.M., Determining terminal pair reliability based on edge expansion diagrams using OBDD, IEEE Trans. on Reliability, 48, 3, pp. 234-246, (1999)

[8]

Kuo S.Y., Yeh F., Lin H., Efficient and exact reliability evaluation for networks with imperfect vertices, IEEE Trans. on Reliability, 56, 2, pp. 288-300, (2007)

[9]

Hardy G., Lucet C., Limnios N., K-terminal network reliability measures with binary decision diagrams, IEEE Trans. on Reliability, 56, 3, pp. 506-515, (2007)

[10]

Zhao B., Xiao Y.F., Liu Y., Importance evaluation of communication network links based on OBDD, Systems Engineering and Electronics, 33, 10, pp. 2348-2352, (2011)

← 1 2 3 →