Algebraic Modeling for Dynamic Gates in Dynamic Fault Trees

摘要

This paper proposed a novel algebraic framework for modeling dynamic gates in dynamic fault trees (DFTs). The algebraic modeling of DFTs tries to avoid the ambiguities and inconsistencies of the natural languages-based original definitions. Aim to solve this issue, preliminarily a formal framework is defined, including the definitions, properties, rules and theorems. Then, under the framework, algebraic approaches and automatic conversion algorithms for any form of dynamic gates are developed. Finally, an instance verifies the validity of the approaches. Algebraic modeling helps to build the more rigorous mathematical theoretical systems of DFTs. Meanwhile, automatic conversion algorithms are conducive to effective computer-aided modeling for DFTs.