Fault tree synthesis for an avionic network

Switched-transition method is being implemented in aero network. The commercial standard ARINC664 and the specification in aircraft implementation named Avionics Full Duplex Switched Ethernet (AFDX) have been formed to describe the topology and the use of switched ethernet in avionics application. Reliability verification of the whole architecture and work scheme should be conducted before implemented in safty-critical system. In this paper, different types of causes of frame-e2e-failure are synthesized in fault tree, in which function losses of topological nodes, such as swithes, end-systems and links, are conceptually constructed in accordance with its practice network counterpart. While the topological node is functional, frame-loss derived from specified mechanism and redundency algorithm in AFDX are also constructed in a dynamic fault tree. The synthesis fault tree are combined and computed by Galileo Tool according failure distribution information of each basic event.