Vi ger en formell beskrivning av vad det innebär för ett system att \tolera "en klass av \fel". Deritionen består av två villkor: Ett, om ett fel uppstår när systemtillståndet är inom en uppsättning \legal" tillstånd, det resulterande tillståndet är inom någon större uppsättning och, om fel fortsätter att inträffa, systemtillståndet förblir inom den större uppsättningen (Closure). Och två, om felen upphör att inträffa, når systemet så småningom ett tillstånd inom den lagliga uppsättningen (konvergens). Vi demonstrerar tillämpligheten av vår definition för att specificera och verifiera feltoleransegenskaperna hos en mängd olika digitala och datorsystem. Vidare, med hjälp av de nitionen, får vi en enkel klassi katjon av feltoleranta system och diskuterar metoder för deras systematiska design.
Vad som är menat för ett program att tolerera en viss klass av fel är formellt definierat i REF.
Closure and Convergence: A Foundation of Fault-Tolerant Computing
{'venue': 'IEEE Transactions on Software Engineering', 'journal': None, 'mag_field_of_study': ['Computer Science']}