engleski

Reordering build phase in ROBDD construction to reduce memory requirements

It is well known that the size of the final ROBDD representing some fault tree depends on the chosen variable order. But the total memory required to build this ROBDD can be even larger than the size of the final ROBDD, because in the build process many intermediate generated nodes need to be stored in memory. We will show that it is possible to reduce memory requirements significantly simply by reordering the calculations in the build phase. By using this technique with appropriate variable order we were able to reduce memory overhead and even speeds up the build phase. This approach can be applied to the ROBDD construction in the Fault tree analysis as well as in other fields where the ROBDD approach is applicable.

fault tree; ROBDD

nije evidentirano