Abstrakt. Vi presenterar en hybrid syntes metod för automatisk tillägg av feltolerans till distribuerade program. I synnerhet specificerar och lägger vi automatiskt till försyntetiserade feltoleranskomponenter till program i de fall då befintliga heuristiker misslyckas med att lägga till feltolerans. Ett sådant tillägg av försyntetiserade komponenter har fördelen av att återanvända försyntetiska feltoleranskomponenter i syntesen av olika program, och som ett resultat, återanvända den ansträngning som läggs i syntesen av ett program för syntesen av ett annat program. Vår syntesmetod är sund genom att det syntetiserade feltoleranta programmet uppfyller sin specifikation i avsaknad av fel, och ger önskad nivå av feltolerans i närvaro av fel. Vi illustrerar vår syntesmetod genom att lägga till försyntetiska komponenter med linjär topologi till ett symboliskt ringprogram som tolererar korruption i alla processer. Dessutom har vi återanvänt samma komponent i syntesen av en feltolerant alternerande bit protokoll. På andra ställen har vi tillämpat denna metod för att lägga till försyntetiserade komponenter med hierarkisk topologi.
De presenterar också en uppsättning försyntetiska feltoleranskomponenter REF som kan återanvändas under tillägg av feltolerans till olika program.
Adding fault-tolerance using pre-synthesized components
{'venue': 'FIFTH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC-5), LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}