Abstract-Systems inom många säkerhetskritiska tillämpningsområden omfattas av certifieringskrav. För ett visst system kan det dock vara så att endast en del av dess funktionalitet är säkerhetskritisk och därmed föremål för certifiering; resten av funktionaliteten är icke säkerhetskritisk och behöver inte certifieras eller certifieras till en lägre säkerhetsnivå. En algoritm som kallas EDF-VD (för Earliest Deadline First med Virtual Deadlines) beskrivs för schemaläggning av sådana blandade kritiska uppgiftssystem. Analyser av EDF-VD är betydligt bättre än tidigare kända, baserat på mätvärden som processorn speedup faktor (EDF-VD har visat sig vara optimal med avseende på denna metriska) och användningsgränser.
Earliest Deadline Först med Virtual Deadlines (EDF-VD) schemaläggningsalgoritm föreslogs i REF för schemaläggning av implicita deadline sporadiska uppgifter om förebyggande enprocessorer.
The Preemptive Uniprocessor Scheduling of Mixed-Criticality Implicit-Deadline Sporadic Task Systems
{'venue': '2012 24th Euromicro Conference on Real-Time Systems', 'journal': '2012 24th Euromicro Conference on Real-Time Systems', 'mag_field_of_study': ['Computer Science']}