Abstrakt. Med tanke på en uppsättning n olika deterministiska ändliga tillståndsmaskiner (DFSMs), undersöker vi problemet med att tolerera k fel bland dem. Den traditionella metoden för detta problem innebär replikering, kräver n.k backup DFSMs. Till exempel, med tanke på att två statliga maskiner, till exempel A och B, tolererar två fel, behåller detta tillvägagångssätt två kopior vardera av A och B, vilket resulterar i totalt sex DFSM i systemet. I detta dokument ifrågasätter vi hur optimalt ett sådant tillvägagångssätt är och lägger fram ett annat tillvägagångssätt som bygger på "fusion" av statliga maskiner som möjliggör effektivare säkerhetskopior. Vi introducerar teorin om fusionsmaskiner och ger en algoritm som kan generera fusionsmaskiner motsvarande en given uppsättning maskiner. Vidare har vi implementerat denna algoritm och testat den för olika exempel. Det är viktigt att notera att vårt tillvägagångssätt endast kräver k backup DFSMs, i motsats till n.k backup DFSMs som krävs av replikering tillvägagångssätt.
Vårt arbete i REF introducerar begreppet fusion av DFSMs, och presenterar en algoritm för att generera en backup för att korrigera en krasch fel bland en viss uppsättning maskiner.
Fault Tolerance in Finite State Machines using Fusion
{'venue': 'ICDCN', 'journal': None, 'mag_field_of_study': ['Computer Science']}