We are interested in the safety of critical systems whose development is based on models. Implementing failure analyses for this kind of system requires modeling the failures and conditions of their appearances. The failure analysis approaches are mainly based on the structures of systems where boolean equations depict the propagation of faults. The objective of the analysis is to calculate Minimal Cut Sets (MCS), i.e., the smallest sets of basic faults that may cause a feared event and their probabilities. The most efficient MCS resolution method is based on Binary Decision Diagrams (BDD). In this paper, we present a model-based toolset to construct from SysML structural models of systems, the fault trees, and their BDD-representation enabling us to compute MCS. Faults in our approach are not limited to boolean variables; they can be expressed by constraints coming from an arbitrary decidable theory. We validate the toolset capabilities with an oil burner system use case.