'Periodica Polytechnica Budapest University of Technology and Economics'
Abstract
In this paper, a new method is proposed as an extension of the classic fault-tree analysis
for the treatment of functionally re-configurable logic. Such logic may change its operation
if a failure has occurred and been detected. Since this logic can distinguish between the
detected failure and the undetected failure, these must be considered in the fault-tree
structure. Closed formulas are applied to ensure efficient algorithm for the analysis. The
paper summarizes that way which enables the treatment of re-configuration, and analyzes
the limitations of the described methods