Abstract-A hårt realtidssystem är oftast föremål för stränga tillförlitlighet och tidsbegränsningar eftersom underlåtenhet att ge korrekta resultat i rätt tid kan leda till en katastrof. Ett sätt att undvika att missa tidsfrister är att handla kvaliteten på beräkningsresultat för aktualitet och programvara feltolerans ofta uppnås med användning av överflödiga program. En deadlinemekanism som kombinerar dessa två metoder föreslås för att tillhandahålla feltolerans för programvara i system för periodiska uppgifter i hård realtid. Vi anser särskilt att problemet med att schemalägga en uppsättning periodiska realtidsuppgifter var och en har två versioner: primära och alternativa. Den primära versionen innehåller fler funktioner (alltså mer komplexa) och ger goda kvalitetsresultat, men dess korrekthet är svårare att verifiera på grund av dess höga komplexitet och resursanvändning. Däremot innehåller den alternativa versionen endast de minsta nödvändiga funktionerna (vilket är enklare) och ger mindre exakta, men godtagbara resultat och dess korrekthet är lätt att verifiera. Vi föreslår en schemaläggningsalgoritm som 1) garanterar antingen den primära eller alternativa versionen av varje kritisk uppgift som ska slutföras i tid och 2) försök att slutföra så många primaries som möjligt. Vår grundläggande algoritm använder en fast prioritetsdriven förebyggande schemaläggning för att preallokera tidsintervall till alternativ och, vid körning, försök att utföra primaries först. En alternativ kommer endast att köras 1) om dess primära misslyckas på grund av brist på tid eller manifestation av fel eller 2) när den senaste tiden för att starta utförandet av alternativet utan att missa motsvarande aktivitetsdeadline har uppnåtts. Denna algoritm visar sig vara effektiv och enkel att implementera. Denna algoritm förbättras ytterligare för att förhindra tidiga misslyckanden med att utföra primaries från att utlösa fel i efterföljande jobb utföranden, vilket förbättrar effektiviteten i processorns användning.
Han och Al. presenterade en algoritm för inställningar där varje periodisk uppgift har två versioner: primär och alternativ REF.
A fault-tolerant scheduling algorithm for real-time periodic tasks with possible software faults
{'venue': 'IEEE Trans. Computers', 'journal': None, 'mag_field_of_study': ['Computer Science']}