Title :
Fault Tree Data Structure Based on XML and the Conversion Method to BDD
Author :
Yi, Ren ; Linlin, Liu ; Shengkui, Zeng
Author_Institution :
Dept. of Syst. Eng., Beijing Univ. of Aeronaut. & Astronaut., Beijing, China
fDate :
March 31 2009-April 2 2009
Abstract :
In this paper we propose an XML based approach called XFTOM (extensible fault tree object model) to describe the data structure of fault tree. The model can directly describe the data structure, and has the excellent trait to share data through network, and can satisfy the requirement of the computer aided fault tree analysis in the environment of the internet/intranet in the future. The traditional fault tree representation encodes a failure logic function which does not lend itself to the mathematical manipulation, a more convenient form for the logic function from the mathematical viewpoint is the binary decision diagram (BDD), the paper also introduces a direct solution Based on XML regularity for building binary decision diagrams (BDD) from fault trees. Sequence reading and handling a criterion fault tree in an XFTOM form is introduced here; a well-structured and well-formatted BDD XML document corresponding to the fault tree can be obtained smoothly.
Keywords :
XML; binary decision diagrams; fault trees; tree data structures; XFTOM; XML; binary decision diagram; computer aided fault tree analysis; extensible fault tree object model; fault tree data structure; logic function; mathematical manipulation; Binary decision diagrams; Boolean functions; Computer networks; Data structures; Document handling; Fault trees; IP networks; Logic functions; Tree data structures; XML; Binary Decision Diagram; Conversion; Fault Tree; Object Model; XML;
Conference_Titel :
Computer Science and Information Engineering, 2009 WRI World Congress on
Conference_Location :
Los Angeles, CA
Print_ISBN :
978-0-7695-3507-4
DOI :
10.1109/CSIE.2009.730