Abstrakt. Ett distribuerat system är feltolerant om det fortsätter att fungera korrekt även när en delmängd av processerna blir felaktiga. Feltolerans är mycket önskvärt men ofta svårt att genomföra. I detta dokument undersöker vi feltolerant syntes, dvs. problemet med att avgöra om en given tidsspecifikation kan genomföras som ett feltolerant distribuerat system. Som i standard distribuerad syntes antar vi att specifikationen av de korrekta beteendena ges som en tidsformel över de externt synliga variablerna. Dessutom introducerar vi feltolerans specifikationen, en CTL * formel som beskriver effekterna och varaktigheten av fel. Om, någon gång i tiden, en process blir felaktig, blir det en del av den yttre miljön och dess fortsatta beteende begränsas endast av feltolerans specifikationen. Detta gör att vi kan modellera en stor mängd olika feltyper. Vår metod förklarar effekten av fel på de värden som kommuniceras av processerna, och därmed på den information som är tillgänglig för de icke-felaktiga processerna. Vi bevisar att för fullt anslutna systemarkitekturer, d.v.s. för system där varje par av processer är anslutna med en kommunikationslänk, är feltoleranta syntesproblem från CTL * specifikationer 2EXPTIME-komplett.
När det gäller syntesen av feltoleranta distribuerade system finns det ett tillvägagångssätt för att syntetisera feltoleranta system i specialfallet av starkt anslutna systemarkitekturer REF.
Synthesis of Fault-Tolerant Distributed Systems ⋆
{'venue': 'ATVA', 'journal': None, 'mag_field_of_study': ['Computer Science']}