Exercises — Fault tree analysis (FTA) — top-down, AND - OR gates
This page is a self-test ladder. Work each problem with pen and paper FIRST, then open the collapsible solution. The difficulty climbs from recognising gates to synthesising whole trees. Every symbol used here is built in the parent FTA note; if a formula feels unfamiliar, re-read that note before continuing.
Look at the figure: the left panel (an AND gate, flat-bottomed dome, labelled "AND") multiplies small numbers so the output shrinks (redundancy = good); the right panel (an OR gate, curved shield, labelled "OR") stacks vulnerabilities so the output grows (single points of failure = bad). Read the word labels, not just the colours. Keep this mental image; every answer below is just this picture, repeated.
Level 1 — Recognition
Exercise 1.1 (L1)
A subsystem fails if either a fuse blows or a relay sticks. Which gate connects these two basic events under the subsystem-failure node — AND or OR?
Recall Solution 1.1
The word "either… or…" means any one alone is enough to cause the failure. That is the OR gate (curved-shield shape). No redundancy exists: a single fault is fatal. Answer: OR gate.
Exercise 1.2 (L1)
Two identical pumps supply coolant. The cooling system only fails if both pumps fail. Which gate?
Recall Solution 1.2
"Both must fail" = all inputs required = AND gate (flat-bottomed dome shape). This is redundancy: one working pump saves the system. Answer: AND gate.
Exercise 1.3 (L1)
A basic event has failure probability . What is its survival probability (probability it does not fail)?
Recall Solution 1.3
Survival = "the complement" = . WHY: every event either happens or does not, and those two possibilities must sum to , so "does not happen" is whatever is left after subtracting the failure chance. Answer: 0.98.
Level 2 — Application
Exercise 2.1 (L2)
An OR gate has two independent inputs with and . Compute the output probability.
Recall Solution 2.1
WHAT we do: apply the OR formula. WHY: an OR gate fires if at least one input fails, and "at least one" is easiest to count as the complement of "none fail". The chance that none fail is the product of the survival terms , so the output is . Answer: 0.28. Sanity check: bigger than either input () — correct, since an OR gate accumulates risk.
Exercise 2.2 (L2)
An AND gate has three independent inputs, each with . Compute the output.
Recall Solution 2.2
WHAT we do: apply the AND formula. WHY: an AND gate fires only when all inputs fail simultaneously. For independent events the probability of several things happening together is the product of their individual probabilities, so we multiply the three inputs. Answer: . Sanity check: far smaller than any single input — correct, AND suppresses risk.
Exercise 2.3 (L2)
An OR gate has three independent inputs: , , . Compute the output (this is the "Solar Fail" branch from the parent note).
Recall Solution 2.3
WHY the OR formula again: the solar branch dies if any one of deploy, degrade, or tracking fails — a classic "at least one" question — so we take minus the chance that all three survive, i.e. . Multiply step by step: , then Answer: .
Level 3 — Analysis
Exercise 3.1 (L3)
Communication system (from parent note): Loss of Comm occurs if (Transponder A AND Transponder B) fail, OR the high-gain antenna (HGA) fails. Given , , , compute and state which basic event dominates the risk.
Recall Solution 3.1
Step 1 — inner AND, WHY: the two transponders are redundant, so the branch fails only if both fail together → multiply. Step 2 — outer OR, WHY: the top event fires if either the transponder branch fails or the HGA fails — an "at least one" combination — so use with the branch value feeding in as one input. Answer: . Dominant event: the HGA contributes while the whole transponder branch contributes only — the HGA drives roughly of the risk. Reliability effort belongs on the antenna. See Single Point Failure Review.
Exercise 3.2 (L3)
For the same tree, suppose we could either (a) halve to , or (b) halve each transponder to . Which change reduces more?
Recall Solution 3.2
Option (a): . Option (b): inner AND ; then . Option (a) drops the top from to (a huge win); option (b) barely moves it (). Answer: Fix the HGA (option a). Improving an already-redundant branch is nearly wasted effort.
Exercise 3.3 (L3)
A tree's top event is an OR of two branches: Branch-1 and Branch-2 . A designer adds a redundant copy of Branch-1, turning that leg into an AND of two identical events. Compute the new top probability and the fractional risk reduction.
Recall Solution 3.3
New Branch-1 (AND of two ): . Old top: . New top: . Reduction: . Answer: new top ; risk cut by .
Level 4 — Synthesis
Exercise 4.1 (L4)
Build and quantify a fault tree from this description:
"Attitude control is LOST if the reaction wheels fail AND the thrusters fail. The reaction wheels fail if any of three wheels (W1, W2, W3) fails. The thrusters fail if the fuel line clogs OR both thruster valves (V1, V2) fail." Given each, , . Compute .
The tree you should draw looks like this — study it alongside the calculation:
In the figure, the top box (flat-bottomed AND dome, labelled "AND", red) means both major branches must die; each OR box (curved shield, labelled "OR", orange) means any child kills that branch; the inner AND box (labelled "AND", green) combines the two valves. Every box carries its word label, so follow the labels — the colours are only a secondary cue.
Recall Solution 4.1
Step 1 — Wheels branch (OR of 3), WHY: any single wheel failing loses the branch → "at least one" → . Step 2 — Valves branch (AND of 2), WHY: both valves must fail together → multiply. . Step 3 — Thruster branch (OR of clog and valves-branch), WHY: thrusters die if the clog or the valve pair fails → "at least one" → . Step 4 — Top (AND of wheels and thrusters), WHY: attitude is lost only if both independent branches fail together → multiply. Answer: . Note the wisdom of the design: the top AND gate ties two independent, moderately unreliable branches together, dragging the mission risk down to about one in 820. See Spacecraft Redundancy Architectures.
Exercise 4.2 (L4)
For the tree in 4.1, list the minimal cut sets — the smallest combinations of basic events that alone cause the top event. (A cut set is a set of events whose simultaneous occurrence guarantees the top event; it is minimal if removing any member breaks it.)
Recall Solution 4.2
The top is AND(Wheels, Thrusters). So every cut set must contain (a wheel-failure) and (a thruster-side failure).
- Wheels branch is OR(W1,W2,W3) → any single fails the wheels.
- Thrusters branch is OR(clog, AND(V1,V2)) → either "clog" alone, or "V1 and V2 together".
Combining, the minimal cut sets are: That is 3 two-element cut sets and 3 three-element cut sets = 6 minimal cut sets total. See Minimum Cut Sets for the formal algorithm.
Level 5 — Mastery
Exercise 5.1 (L5) — Common Cause Failure
Two transponders A and B are in AND-redundancy, each , so naively . But both draw from the same power regulator, which fails with and guarantees both transponders die. Model this correctly and compute the true branch probability. By what factor does ignoring the common cause understate the risk?
Recall Solution 5.1
WHY the naive number is wrong: assumes independence, but the shared regulator makes A and B fail together whenever it dies. That shared path is a common cause failure (CCF). Correct model, WHY OR: the transponder branch fails if (A fails AND B fails independently) OR (regulator fails) — an "at least one" combination of two independent contributors — so we OR them with : Understatement factor: . Answer: true branch probability ; the naive estimate is too optimistic. The regulator, not redundancy, now dominates — the whole point of Common Cause Failure Analysis.
Exercise 5.2 (L5) — Design to a Requirement
A single-string branch has an OR of two basic events, and . The requirement is . If you make the entire branch -fold redundant (an AND of independent identical copies of that OR-branch), what is the smallest that meets the requirement?
Recall Solution 5.2
Single branch value, WHY OR: the branch fails if either basic event fires → "at least one" → . -fold AND of identical branches, WHY multiply: with independent copies the whole thing fails only if all copies fail together → . Require . Take logarithms (log undoes exponentiation, letting us solve for ): Since must be a whole number, round up: . Verify: ✓ (while ✗). Answer: (triple redundancy).
Exercise 5.3 (L5) — Full System Roll-up
A power system: Top = AND(Solar, Battery). Solar = OR(deploy , degrade , tracking ). Battery = AND(cell1 , cell2 ). Compute , then decide: to cut the top risk in half, is it better to add a third battery cell (AND) or add a redundant solar array (turning Solar into an AND of two identical solar OR-branches)?
Recall Solution 5.3
Baseline. Solar branch, WHY OR: any of deploy/degrade/tracking loses solar → : Battery branch, WHY AND: both cells must die → multiply: Top, WHY AND: power is lost only if both solar and battery branches fail together → multiply: Option A — third battery cell (AND of three ), WHY: a third redundant cell means all three must fail → . Option B — redundant solar (AND of two identical branches), WHY: two independent solar arrays both must fail → square the branch value: Comparison. Half of the baseline is . Both options land far below that threshold: Option A gives and Option B gives — each roughly under the "half" goal, so both easily satisfy the requirement. Option B is marginally lower (), so on pure probability the redundant solar array wins. Answer: baseline ; Option A ; Option B . Both crush the "half" target by about , with the redundant solar array (B) marginally better on probability alone. In practice the final choice then comes down to mass, cost, and shared-hardware (common cause) risk rather than this tiny probability gap.
Recall One-line self-check before you leave
AND multiplies probabilities (redundancy, risk shrinks); OR uses (single points, risk grows); and any shared component must be added as its own OR'd basic event.
Test yourself in one line: