Säkerhetskritiska inbyggda system fungerar ofta under hårda miljöförhållanden som kräver feltoleranta datortekniker. Dessutom utför många säkerhetskritiska system realtidstillämpningar som kräver strikt efterlevnad av uppgiftsfrister. Dessa inbyggda system är också energibelastade, eftersom systemets livslängd till stor del bestäms av batteriets livslängd. I detta dokument undersöker vi dynamiska anpassningsmetoder baserade på kontrollmärkning och dynamisk spänningsskalning (DVS) för feltolerans och effekthantering. Vi presenterar först schedulability tester som ger de kriterier enligt vilka kontrollpointing kan ge feltolerans och realtidsgarantier. Vi presenterar sedan en adaptive checkpointing schema där checkpointing intervallet för en uppgift är dynamiskt justerat under utförandet, och kontrollpunkter infogas inte bara baserat på tillgängliga slack, men också på förekomsten av fel. Därefter kombinerar vi adaptiv kontroll med DVS för att uppnå effektminskning. Slutligen utvecklar vi ett anpassningsbart kontrollsystem för flera uppgifter i realtidssystem. En förbehandling offline baserad på linjär programmering används för att bestämma de parametrar som tillhandahålls som indata till det adaptiva kontrollbesöksförfarandet online. Simuleringsresultat visar att jämfört med tidigare metoder ökar den föreslagna adaptiva verifieringsmetoden sannolikheten för att uppgiften slutförs i rätt tid i närvaro av fel. I kombination med DVS leder adaptiv kontroll också till betydande energibesparingar.
Den teknik som föreslås i REF använder ett adaptivt kontrollsystem för att uppnå feltolerans och energibesparing på ett enhetligt sätt.
Dynamic adaptation for fault tolerance and power management in embedded real-time systems
{'venue': 'TECS', 'journal': None, 'mag_field_of_study': ['Computer Science']}