I detta dokument presenteras en kompositionsstrategi för schemaläggningsanalys av hierarkiska system, som gör det möjligt att bevisa fler system som går att schemalägga genom att ha rikare och mer detaljerade schemaläggningsmodeller. Vi använder en lättviktsmetod (statistisk modellkontroll) för designprospektering, vilket ger ett stort förtroende för modellens korrekthet. En tillfredsställande konstruktion kan visa sig vara vedertagen med hjälp av den kostnadskrävande beräkningsmetoden (symbolisk modellkontroll). För att analysera ett hierarkiskt schemaläggningssystems sammansättning introducerar vi idén om en stokastisk leverantör som modellerar tillgången på resurser i varje komponent. Vi undersöker specifikt två olika tekniker för att bredda uppsättningen av bevisligen Schedulerbara system: 1) en ny leverantörsmodell; 2) begränsning av den potentiella uppgiften offset. Vi erbjuder också ett sätt att uppskatta den minsta resurstillgång (budget) som en komponent krävs för att tillhandahålla. Den forskning som presenteras i detta dokument har delvis fått stöd av EU Artemis Projects CRAFTERS och MBAT.
I REF introducerar författarna en ny resursleverantörsmodell, synkron periodisk resursmodell, för att öka resursutnyttjandet och göra fler system Schedulable.
Widening the Schedulability of Hierarchical Scheduling Systems
{'venue': 'FACS', 'journal': None, 'mag_field_of_study': ['Computer Science']}