Abstract:In reliability engineering, we need to understand system dependencies, cause-effect relations, identify critical components, and analyze how they trigger failures. Three prominent graph models commonly used for these purposes are fault trees (FTs), decision trees (DTs), and binary decision diagrams (BDDs). These models are popular because they are easy to interpret, serve as a communication tool between stakeholders of various backgrounds, and support decision-making processes. Moreover, these models help to understand real-world problems by computing reliability metrics, minimum cut sets, logic rules, and displaying dependencies. Nevertheless, it is unclear how these graph models compare. Thus, the goal of this paper is to understand the similarities and differences through a systematic comparison based on their (i) purpose and application, (ii) structural representation, (iii) analysis methods, (iv) construction, and (v) benefits & limitations. Furthermore, we use a running example based on a Container Seal Design to showcase the models in practice. Our results show that, given that FTs, DTs and BDDs have different purposes and application domains, they adopt different structural representations and analysis methodologies that entail a variety of benefits and limitations, the latter can be addressed via conversion methods or extensions. Specific remarks are that BDDs can be considered as a compact representation of binary DTs, since the former allows sub-node sharing, which makes BDDs more efficient at representing logical rules than binary DTs. It is possible to obtain cut sets from BDDs and DTs and construct a FT using the (con/dis)junctive normal form, although this may result in a sub-optimal FT structure.

gLTSdiff: a generalized framework for structural comparison of software behavior

Using Finite-State Models for Log Differencing

A Differential Testing Approach for Evaluating Abstract Syntax Tree Mapping Algorithms

Implementations for checking bisimulation of LTS

Simulation for Lattice-Valued Doubly Labeled Transition Systems

SAT-DIFF: A Tree Diffing Framework Using SAT Solving

DiffGen: Automated Unit Test Generation for Regression Testing

Identifying change patterns in software history

DiffGen: Automated Regression Unit-Test Generation

Fault Trees, Decision Trees, And Binary Decision Diagrams: A Systematic Comparison

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm

DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts

DesignDiff: Continuously Modeling Software Design Difference from Code Revisions.

Towards the Practical Adoption of LIDL: A Toolchain for Modeling Human-Machine Interface Software Interactions

LTL model checking for statecharts

SimCT: A Simple Consistency Test Protocol in LLMs Development Lifecycle

On-the-fly Unfolding with Optimal Exploration for Linear Temporal Logic Model Checking of Concurrent Software and Systems

A bidirectional graph transformation approach to analysis of concurrent software models

LLMTemporalComparator: A Tool for Analysing Differences in Temporal Adaptations of Large Language Models

HAT: Analyzing Linear Hybrid Automata As Labelled Transition System