OBDD-based reliability analysis for avionics networks

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.