Sammanfattning - Tillförlitlighetsanalys av feltoleranta datorsystem för kritiska applikationer kompliceras av flera faktorer. System som är utformade för att uppnå hög tillförlitlighet använder ofta höga nivåer av redundans, dynamisk redundanshantering och komplexa fel- och felåterställningstekniker. Detta papper beskriver dynamiska felträd modellering tekniker för att hantera dessa svårigheter. Tre avancerade feltoleranta datorsystem beskrivs, viz, en feltolerant parallellprocessor, ett uppdrag avioniksystem och en feltolerant hyperkub. Fault-tree modeller för deras analys presenteras. HARP (Hybrid Automatiserad Tillförlitlighet Förutsägare) är ett programvarupaket utvecklat vid Duke University och NASA Langley Research Center som kan lösa dessa felträd modeller.
Dynamiska felträd (DFT) utöka felträd för att integrera systemdynamik REF.
Dynamic fault-tree models for fault-tolerant computer systems
{'venue': None, 'journal': 'IEEE Transactions on Reliability', 'mag_field_of_study': ['Computer Science']}