Abstract-Modeller för realtidssystem måste balansera de inneboende motsägande målen expressivitet och analyseffektivitet. Nuvarande arbetsmodeller med praktiska genomförbarhetstester har begränsad expressivitet, vilket begränsar deras förmåga att modellera många system på ett korrekt sätt. I synnerhet är de alla återkommande, förhindrar modellering av strukturer som mode switchar, lokala slingor, etc. I detta dokument går vi vidare med den senaste tekniken med en modell som är fri från dessa begränsningar. Vår föreslagna uppgiftsmodell är baserad på godtyckliga riktade grafer (digrafer) för jobbutgåvor. Vi visar att genomförbarhetsproblemet med preventiva enprocessorer för vår modell fortfarande är hanterbart. Detta gäller till och med för uppgiftssystem med godtyckliga tidsfrister.
Den DRT-modell REF som behandlas i detta dokument är en generalisering av ovanstående modeller.
The Digraph Real-Time Task Model
{'venue': '2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium', 'journal': '2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium', 'mag_field_of_study': ['Computer Science']}