Vi presenterar en split-and-conquer metod, kallad DiConic, för automatisk tillägg av felsäker feltolerans till distribuerade program, där ett felsäkert program garanterar att uppfylla sina säkerhetsspecifikationer även när fel uppstår. Specifikt, istället för att lägga till feltolerans till ett program som helhet, vi separat revidera programåtgärder så att hela programmet blir felsäkra feltolerant. Vår DiConic-algoritm har potential att utnyttja bearbetningskraften hos ett stort antal maskiner som arbetar parallellt, vilket möjliggör automatiskt tillägg av felsäker feltolerans till distribuerade program med ett stort antal processer. Vi formulerar vår DiConic syntesalgoritm i termer av tillfredsställande problem och visar vår strategi för Bysantine Generals problem och en industriell tillämpning.
Ebenasir REF presenterar en splitter-och-konquer metod för att syntetisera felsäkra feltoleranta distribuerade program.
Diconic addition of failsafe fault-tolerance
{'venue': "ASE '07", 'journal': None, 'mag_field_of_study': ['Computer Science']}