Common use of Spare Clause in Contracts

Spare. Node types in ((a)–(c)) static and (all) dynamic fault trees. SFTs lack an internal state—the failure condition is independent of the his- tory. Therefore, SFTs lack expressiveness [2, 4]. Several extensions commonly referred to as Dynamic Fault Trees (DFTs) have been introduced to increase the expressiveness. The extensions introduce new node types, shown in Fig. 3(d)–(h); we categorise them as priority gates, dependencies, restrictors, and spare gates.

Appears in 3 contracts

Sources: End User Agreement, End User Agreement, End User Agreement