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

Authors:

Martín Barrère
Martín Barrère
CHChris Hankin
Chris Hankin

Preprint

Publisher website

Google Scholar

5 May 2020

preprint
Published by arXiv in arXiv

DOI:10.48550/arXiv.2005.03003

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.

Keywords

FAULT TREE ANALYSIS
MINIMAL CUT SETS
MAXSAT
CYBER-PHYSICAL SYSTEMS
RISK ASSESSMENT
DEPENDABILITY EVALUATION

All Related Versions

Version 1, 2020-05-05, ArXiv

This publication has 3 references indexed in Scilit:

An overview of fault tree analysis and its application in model based dependability analysis
Expert Systems with Applications, 2017
Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools
Computer Science Review, 2015
Solving MAXSAT by Solving a Sequence of Simpler SAT Instances
2011