Abstract-Exact schemaläggning analys av begränsad förebyggande (eller icke förebyggande) realtid arbetsbelastning med varierande genomförandekostnader och release jitter är en notoriskt svår utmaning på grund av schemaläggning avvikelser inneboende i icke förebyggande utförande. Dessutom är förekomsten av självsuspenderande uppgifter välförståeligt att lägga till enorma komplikationer till ett redan svårt problem. Genom att kartlägga schedulability-problemet till tillgänglighetsproblem i tidsinställd automata (TA) ger detta papper det första exakta schedulability testet för denna utmanande modell. Särskilt, med hjälp av tekniska tillägg som finns i UPAAL, detta dokument presenterar en exakt schemaläggning test för uppsättningar periodiska och sporadiska självsuspenderande uppgifter med fasta preemption punkter som är schemalagda på en multiprocessor enligt en global fastprioriterad schemaläggning politik. Såvitt vi vet är detta det första exakta schemaläggningstestet för icke-och begränsad förebyggande självsuspenderande uppgifter (för både enprocessor- och flerprocessorsystem), och därmed också det första exakta schemaläggningstestet för det speciella fallet med globalt icke-förebyggande schemaläggning med fast prioritet (för antingen periodiska eller sporadiska uppgifter). Dessutom belyser papperet några subtila fallgropar och begränsningar i befintliga TA-baserade schemaläggningstester för icke förebyggande arbetsbelastningar.
Jalcinkaya m.fl. REF presenterar en modellkontroll baserad på exakt schemaläggningstest för uppsättningar av periodiska och sporadiska självsuspenderande uppgifter med fast företräde.
An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks
{'venue': '2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)', 'journal': '2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)', 'mag_field_of_study': ['Computer Science']}