Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT
File(s)
Author(s)
Barrere Cambrun, Martin
Hankin, Chris
Type
Conference Paper
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.
Date Acceptance
2020-04-27
URI
Publisher
IEEE
Copyright Statement
© 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Sponsor
Horizon2020
Identifier
https://www.imperial.ac.uk/people/m.barrere
Grant Number
Project ID: 739551
Source
50th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2020)
Subjects
Fault tree analysis
Minimal cut sets
MaxSAT
Cyber-physical systems
Risk assessment
Dependability evaluation
Publication Status
Accepted
Start Date
2020-06-29
Finish Date
2020-07-02
Coverage Spatial
Valencia, Spain