Worked examples — Fault tree analysis (FTA) — top-down, AND - OR gates
3.6.30 · D3· Physics › Spacecraft Structures & Systems Engineering › Fault tree analysis (FTA) — top-down, AND - OR gates
Kuch bhi shuru karne se pehle, ek reminder ki symbols ka MATLAB kya hai, taaki hum unhe kabhi bina samjhe use na karein.
Number baar baar aata rehta hai — yeh event ki survival probability hai (woh chance ki yeh NAHI hoti). Yeh phrase apne dimaag mein rakho; yeh OR gate ka hero hai.
Scenario matrix
Har FTA calculation jo tumhe kabhi milegi woh in cells mein se ek hai. Neeche ke examples us cell ke saath label kiye gaye hain jo unhe hit karti hai, aur milke yeh poora grid cover karte hain.
| Cell | Case class | Kya mushkil banata hai |
|---|---|---|
| A | Single OR gate, chhote | approximation vs exact |
| B | Single AND gate, chhote | product kitna jaldi shrink karta hai |
| C | Degenerate input | tree mein ek perfect part |
| D | Degenerate input | tree mein ek guaranteed failure |
| E | Mixed tree (AND under OR) | order of operations, dominant term |
| F | Limiting behaviour: bahut saare identical OR inputs | |
| G | Common cause failure (dependent) | independence assumption toot jaati hai |
| H | Real-world word problem | English ko gates mein translate karo |
| I | Exam twist: "kaun sa improvement zyada help karta hai?" | sensitivity, dominant path |
| J | Badi probabilities ( near 1) | sum-approximation blow up ho jaata hai |
Cell A — Single OR gate, chhoti probabilities
Forecast: Teen chhoti failures mein se koi bhi ek solar ko khatam kar sakti hai. Toh answer kisi bhi single input se bada hona chahiye lekin phir bhi chhota — guess karo "roughly sum, about ."
-
Har survival probability likho. Kyun yeh step? OR formula "kya yeh survive kiya?" se bana hai, toh pehle har failure ko uske opposite mein convert karo.
-
Survivals multiply karo — woh chance ki TEENO healthy rahein. Kyun? Independent parts ka sab milke survive karna ek joint event hai, aur joint = product.
-
1 se subtract karo. Kyun? "Kam se kam ek fail hua" "koi fail nahi hua" ka complement hai.
Verify: Lazy sum se compare karo. Exact answer sum se thoda neeche hai — woh chhota gap woh double-counting hai jo sum ignore karta hai. Kyunki chhote hain, sum ≈ exact. Sanity: answer aur ke beech hai. ✓
Recall Exact OR answer hamesha inputs ke sum se ≤ kyun hota hai?
Sum "do ek saath fail" ke overlaps ko double-count karta hai ::: exact OR unhe subtract karta hai, toh exact ≤ sum, equality sirf tiny probabilities ke limit mein hoti hai.
Cell B — Single AND gate, chhoti probabilities
Forecast: Dono tootne chahiye — ek se kahin zyada rare. Guess karo " se kaafi chhota."
- Dono failure probabilities multiply karo. Kyun? AND = sab inputs ek saath fail = joint probability = product (independent banks ke liye).
Verify: , kisi bhi input () se chhota hai. Yahi redundancy ka kaam hai — AND gate ne risk ko crush kar diya. Units: abhi bhi ek bare probability, dimensionless. ✓

Figure dekho: beech wali bar (teen inputs ka OR gate) yellow reference line se oopar hai jo ek single input (risk badh jaati hai) mark karti hai; daayein bar (do inputs ka AND gate) us line se kaafi neeche hai (risk collapse ho jaati hai). Same class ke chhote inputs, opposite behaviour — yahi is page ka poora point hai.
Cell C — Degenerate input: ek perfect part ()
Forecast: Zero-probability input OR mein kuch contribute nahi karta. Guess karo "answer sirf baaki doono ke OR tak gir jaata hai."
- Perfect part ki survival hai. Kyun yeh step? Ek part jo kabhi fail nahi hota, hamesha survive karta hai.
- Survivals multiply karo: Kyun? times kuch bhi use unchanged chhodta hai.
- Subtract karo: .
Verify: Cell A () se compare karo. Deployment risk hatane se total gira — essentially woh deployment probability. OR gate mein ek perfect input invisible hota hai — bilkul wahi jo hum expect karte hain. ✓
Cell D — Degenerate input: ek guaranteed failure ()
Forecast: OR gate par ek guaranteed input OR ko guaranteed fire karta hai. Guess karo "."
- AND branch: (Kyun? dono transponders ko marna chahiye.)
- HGA ki survival: . Kyun yeh step? Ek part jo hamesha fail hota hai kabhi survive nahi karta.
- OR formula: .
Verify: matlab certain failure — correct, kyunki HGA akela (ek OR input) ek single point of failure hai jo pehle se hi broken hai. input ek OR gate ko saturate karta hai. (AND gate mein yeh invisible hota: — phir se bilkul Cell C ke opposite.) ✓
Cell E — Mixed tree (AND nested under OR)
Forecast: Do redundant transponders AND branch ko tiny banate hain; akela HGA exposed hai. Guess karo "HGA dominate karta hai, answer ≈ ."
- Pehle sabse deep gate solve karo (AND). Kyun? Tum ek gate evaluate nahi kar sakte jab tak uske inputs numbers na hon; andar se bahar kaam karo.
- Usse OR gate mein HGA ke saath feed karo. Kyun? AND result ab OR ka sirf ek input hai.
- Survivals compute karo aur multiply karo: .
- Subtract karo: .
Verify: HGA contribute karta hai; poora answer hai. Toh redundant transponders sirf add karte hain — HGA ≈ risk drive karta hai (). Forecast se match karta hai. Yahi FTA ka payoff hai: yeh single point of failure par ek ungli point karta hai. ✓

Figure top-down padho: pink Loss of Comm box ek yellow OR junction ke upar hai jiske do branches hain. Baayein blue branch do transponders ka AND hai (); daayein pink branch akela HGA hai (). Yellow arrow HGA branch ki taraf point karta hai — woh dominant OR input hai jahan almost saara risk rehta hai, aur yeh woh box hai jise ek designer pehle attack karna chahiye.
Cell F — Limiting behaviour: bahut saare identical OR inputs
Is example se pehle humhe ek aur tool chahiye, aur hum use zero se build karte hain.
Forecast: Chhote risks bhi, OR gate mein baar baar pile hote hain, upar creep karne chahiye. Guess karo "107 of them kuch percent dete hain; infinitely many → certain failure."
- General formula: sab identical hain, toh . Kyun? OR formula survival factors multiply karta hai; jab har factor same number ho, use baar multiply karna hi use th power tak raise karna hai.
- : . (Ek mechanism = uska apna risk.)
- : .
- : , toh .
Verify: logarithm trick se check karo jo abhi define ki. Logs kyun? ko by hand 107 baar multiply karna brutal hai, lekin power-slides-out rule use ek multiplication mein badal deta hai: . Kyunki (1 se thoda neeche wale number ka log ek chhota negative hota hai), exponent hai, aur antilog hai, jo deta hai. ✓ Lesson: bahut saare parts par ek OR gate ek slow poison hai — isliye JWST ne per-mechanism reliability ki maang ki; each se, , ek coin-flip mission. Reliability Block Diagrams mein compare karo — failures ka OR gate survivals ki ek series chain hai.

Figure mein curve hai jo OR inputs ki number ke saath climb karti hai. Yellow dot mark karta hai (risk , floor se barely upar); pink dot mark karta hai (risk tak jump kar gaya); aur upar dotted line ceiling dikhati hai jiske taraf curve jaane par creep karti hai. Dekho kaise ek "negligible" per-part risk ek real threat ban jaata hai jab tum unhe kaafi saare OR ke neeche stack karo.
Cell G — Common cause failure (dependence formula tod deti hai)
Forecast: Naive AND ne kaha tha. Lekin ek shared cause ek "dono ek saath fail" shortcut banata hai. Guess karo " se kaafi bada — regulator dominate karta hai."
- Naive product kyun galat hai. Formula independence assume karta hai. Common cause use violate karta hai: ek event dono ko ek saath flip karta hai. Multiply karna pretend karta hai ki yeh kabhi nahi hota.
- Har transponder ka total risk shared + independent mein split karo. Har transponder ki total shared regulator () PLUS uske apne independent modes se bani hai. Toh independent-only part hai . Subtract kyun? pehle se shared term mein counted hai; agar hum use mein bhi rakhen toh double-count ho jaayega.
- Dono apne khud ke independent causes se fail hote hain: .
- Shared cause ko independent double-failure ke saath OR karo. Kyun OR? Dono transponders ko dead karne ke liye koi bhi route kaam karta hai: regulator ka marna, OR dono independently marna.
- Compute karo: , toh .
Verify: Sahi answer vs naive — shared regulator "redundant" pair ke dono fail hone ki likelihood ko 80× zyada banata hai (). Independent double-failure () shared ke samne bilkul negligible hai; regulator HI risk hai. Redundancy ek illusion hai jab tak tum do transponders ko alag power nahi dete. Boolean Algebra and Logic Design dekho ki hum regulator ko apne basic event ke roop mein kyun add karte hain bajaye usse hide karne ke. ✓
Cell H — Real-world word problem (English → gates translate karo)
Forecast: Teen redundant wheels → tiny AND. Akela star tracker → exposed OR input. Guess karo "≈ , tracker-dominated."
- English translate karo. "Kam se kam ek wheel chahiye" = "sirf tabhi lost hoti hai jab sab fail ho jaayein" = teen wheels ka AND. "Star tracker mein backup nahi" = top par OR input. Kyun yeh step? Gates redundancy words se aate hain: all/both → AND, any/either → OR.
- Wheel AND gate: . Kyun cube? Teen independent wheels ka sab fail hona product hai.
- Top OR gate: . Kyun? Wheel-AND result ab star tracker ke saath ek OR input hai.
- Survivals compute karo aur multiply karo: , toh .
Verify: Answer vs star-tracker akela — teen wheels sirf add karte hain. Agar ek designer paise kharcha karna chahta ho, ek doosra star tracker add karna (usse AND branch banana, ) top risk ko kaafi zyada slash karega banisbat ek chauthe wheel ke. Spacecraft Redundancy Architectures intuition se match karta hai. ✓
Cell I — Exam twist: "kaun sa ek improvement sabse zyada help karta hai?"
Forecast: HGA dominant term hai, toh use fix karna bahut bada farak karna chahiye. Guess karo "(a)."
- Option (a): HGA do ka AND ban jaata hai. Naya HGA branch . Kyun? Do identical antennas ka dono fail hona zaroori hai.
- Option (b): transponders improve ho jaate hain. AND branch .
- Compare karo. (a) risk ko se tak girata hai ( improvement). (b) barely move karta hai — .
Verify: Option (a) overwhelmingly jeetta hai, forecast confirm hota hai. Exam lesson: hamesha sabse pehle dominant OR input attack karo — kisi aisi term ko improve karna jo pehle se negligible hai (transponders) budget waste karta hai. Minimum Cut Sets ke saath dominant paths dhundo pehle ek bhi rupaya kharcha karne se. ✓
Cell J — Badi probabilities ( near 1)
Forecast: Itne bade numbers ke saath, Cell A se "sum ≈ OR" trick toot jaani chahiye — sum already 1 se upar hai, jo probability ke liye impossible hai. Guess karo "sahi OR high hai lekin 1 se neeche rahega; AND ek modest fraction hoga."
- Survival probabilities. Kyun? OR formula abhi bhi "kya yeh survive kiya?" par chalta hai, chahe failure risks kitne bhi bade hon.
- Survivals multiply karo — chance ki teeno survive karein. Kyun? All-survive abhi bhi ek joint event = product hai.
- OR result: .
- AND result: failure probabilities directly multiply karo. Kyun? AND = sab ek saath fail = ka product.
Verify: Lazy sum deta hai — ek bakwaas "probability" jo 1 se upar hai, toh chhote-number shortcut yahan completely fail ho gaya hai; sirf exact formula trustworthy hai. Sanity: , mein hai. ✓ Gaur karo OR () AND () se kaafi bada hai — Cell B se wahi gap-between-gates, lekin ab dramatic kyunki inputs huge hain. Lesson: "OR ≈ sum" rule sirf tab safe hai jab har chhota ho; ke paas tum ZAROORI HO ki survival-product form use karo.
Spacecraft Design se Connections
In cells ke aage, FTA directly Monte Carlo Reliability Simulation (jab probabilities khud uncertain hoon), Failure Modes and Effects Analysis (FMEA) (bottom-up complement), aur Single Point Failure Review (jo exactly woh OR inputs dhundta hai jo Cells E, I, aur J mein dominate kiye) mein feed karta hai.
Active recall
Recall OR gate mein,
input kya karta hai, aur ke baare mein? invisible hai (survival , kuch nahi badalta). gate ko tak saturate karta hai (certain failure) ::: AND gate ke opposite, jahan gate की failure ko tak force karta hai (us branch ke liye guaranteed success) aur invisible hota hai.
Recall Do "redundant" units ek power supply share karte hain.
kyun galat hai? Woh formula independence assume karta hai; shared supply ek common cause hai jo dono ko ek saath fail karta hai ::: use ek alag basic event ke roop mein model karo jo independent double-failure ke saath OR-ed ho — aur yaad raho ki square karne se pehle shared risk ko har unit ke total se subtract karo.
Recall Mixed tree diya ho toh, kaun sa gate pehle evaluate karte ho?
Sabse deep gate (inputs ke numbers hone zaroori hain pehle gate compute ho sake) ::: andar se bahar, bottom-up kaam karo.
Recall "OR ≈ inputs ka sum" shortcut kab safe hai?
Sirf jab har chhota ho ::: ke paas sum 1 se upar ja sakta hai (impossible), toh tumhe exact survival-product form use karni padegi.