fault-tree-builder

Build a compliant fault tree for ISO 26262 ASIL D safety validation by constructing top-down deductive trees from undesired top events using AND, OR, voting, and inhibit gates per IEC 61025. You then extract minimal cut sets and roll up basic event probabilities to validate against tolerable hazard rate thresholds.

Minimal cut set extraction in fault tree analysis is the automated identification of single points of failure and high-risk failure combinations. It prioritizes redundancy and mitigation efforts by isolating the specific basic event groupings that can independently trigger the top undesired event.

Yes, you can reuse failure-in-time values from linked FMEDA artifacts during fault tree construction. Cross-artifact consistency checks automatically align basic events with FMEDA data and threat model findings to prevent conflicting safety data across your safety-critical system documentation.

Yes, this fault tree analysis approach supports IEC 61508 SIL 3 and RTCA DO-178C Level A certifications. It generates compliant, traceable top-down deductive analysis with documented independence arguments and common-cause failure mitigation required for regulatory approval.

Document independence arguments for AND gates in safety-critical fault trees by applying traceable top-down deductive analysis per IEC 61025. The process requires explicit independence documentation for all AND gates to validate redundancy claims and satisfy regulatory certification requirements.

Calculate top event probability for an automotive brake control system by rolling up basic event probabilities through the fault tree structure. Validate the resulting top event probability against the safety goal's tolerable hazard rate threshold, such as a 1e-8 per hour rate for uncontrolled brake release.