|title:||Software fault trees|
Fault trees are an imporant formalism to assess the reliability of systems. Typically, they model how failures propagate from component failiures to system level failures, via gates like AND and OR.
Fault trees have been very successfully applied to complex hardware systems, like railroads, chemical plants. Recently, however, software is getting more and more important. Hence, software fault trees have been developped.
Key idea is to find out how Software fault trees work, and how they perform