Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT

05/05/2020
by   Martín Barrère, et al.
0

In this paper, we present a novel MaxSAT-based technique to compute Maximum Probability Minimal Cut Sets (MPMCSs) in fault trees. We model the MPMCS problem as a Weighted Partial MaxSAT problem and solve it using a parallel SAT-solving architecture. The results obtained with our open source tool indicate that the approach is effective and efficient.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset