Abstract-En ökande trend inom inbäddad systemdesign är att integrera komponenter med olika kritiska nivåer i en delad maskinvaruplattform för bättre kostnads- och effekteffektivitet. Sådana blandade kritiska system är föremål för certifieringar på olika nivåer av stränghet, för att validera korrektheten hos olika delsystem på olika konfidensnivåer. Den realtid schemaläggning av certifikatifierbara blandade-kritiska system har erkänts som ett utmanande problem, där användning av traditionella schemaläggning tekniker kan resultera i oacceptabelt resursslöseri. I detta papper presenterar vi en algoritm som kallas PLRS för att schemalägga certifierbar blandad kritiskitet sporadiska uppgifter system. PLRS använder fast arbetsprioritering och tilldelar arbetsprioriteringar genom att undersöka och balansera de asymmetriska effekterna mellan arbetsbelastningen på olika kritiska nivåer. Jämföra med den toppmoderna algoritmen av Li och Baruah för sådana system, som vi kallar LB, PLRS är både effektivare och effektivare: (i) Schepulability test av PLRS inte bara teoretiskt dominerar, men också i genomsnitt betydligt överträffar LB: s. (ii) Den run-time komplexiteten i PLRS är polynom (kvadratisk i antalet uppgifter), vilket är mycket mer effektivt än pseudo-polynomial run-time komplexiteten i LB.
PLRS, en schemaläggningsalgoritm för certifierbara sporadiska aktivitetssystem för blandad kritiskhet presenteras i REF och en offline-beräkningsmetod har tillhandahållits för att kontrollera att uppgiftsuppsättningen är schedulerbar.
Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems
{'venue': '2011 IEEE 32nd Real-Time Systems Symposium', 'journal': '2011 IEEE 32nd Real-Time Systems Symposium', 'mag_field_of_study': ['Computer Science']}