Abstract
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.
Author supplied keywords
Cite
CITATION STYLE
Barrere, M., & Hankin, C. (2020). Fault tree analysis: Identifying maximum probability minimal cut sets with MaxSAT. In Proceedings - 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks: Supplemental Volume, DSN-S 2020 (pp. 53–54). Institute of Electrical and Electronics Engineers Inc. https://doi.org/10.1109/DSN-S50200.2020.00029
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
