Vi presenterar en ram för att utforma kör-tid feltolerans med hjälp av dynamiska program uppdateringar utlösta av fel. Detta är ett viktigt problem i utformningen av autonoma system eftersom det ofta är så att ett körprogram behöver uppgraderas till sin feltoleranta version när fel uppstår. Vi anger formellt felutlösta programuppdateringar som ett designproblem. Vi presenterar sedan en ljud och komplett algoritm som automatiserar utformningen av felaktiverade uppdateringar för att ersätta ett program som inte tolererar fel med en feltolerant version av detta vid körtid. Vi definierar också tre klasser av felaktiverade dynamiska uppdateringar som tolererar fel under uppdateringen. Vi visar vårt tillvägagångssätt i samband med en felaktiverad uppdatering för grindstyrningen på en parkeringsplats.
REF modellerar ett program som ett övergångssystem, och presentera en strategi som säkerställer att, när fel uppstår, fel-intoleranta programmet uppgraderas till sin fel-toleranta version vid körtid.
Designing Run-Time Fault-Tolerance Using Dynamic Updates
{'venue': "SEAMS '07", 'journal': None, 'mag_field_of_study': ['Engineering', 'Computer Science']}