Detta dokument innehåller två bidrag: 1) En utvecklingsmetod som omfattar två tekniker för att förbättra resursutnyttjandet och 2) en ny generisk flerkärnig resursmodell för hierarkiska schemaläggningssystem. Som det första bidraget föreslår vi en tvåstegsutvecklingsmetod baserad på justering av tidsattribut i de detaljerade modellerna under utformningsfasen. Vi använder en lättviktsmetod (statistisk modellkontroll) för designprospektering, vilket ger ett stort förtroende för att modellerna är korrekta. $ Den forskning som presenteras i detta dokument har delvis fått stöd av EU Artemis Projects CRAFTERS och MBAT. När en tillfredsställande konstruktion har hittats kan det bevisas att den går att schemalägga 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 från varje komponent till dess barnkomponenter i hierarkin. 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. I motsats till analysmetoder visar vi på icke-planerbara fall via konkreta motexempel. Genom att ha rikare och mer detaljerade schemaläggningsmodeller denna ram, har potential att bevisa att fler system kan schemaläggas. Som det andra bidraget introducerar vi en generisk resursmodell för flerkärniga hierarkiska schemaläggningssystem, och visar hur den kan bli omedelbar för klassiska resursmodeller: Periodiska resursmodeller (PRM) och Explicit Deadline Periodic (EDP) resursmodeller. Den generiska flerkärniga resursmodellen presenteras inom ramen för ett kompositionsbaserat modellbaserat tillvägagångssätt för schemaläggningsanalys av hierarkiska schemaläggningssystem. Det flerkärniga ramverk som presenteras i detta dokument är en förlängning av det enkärniga ramverk som används för analysen i resten av dokumentet.
Vi generaliserar vårt tidigare arbete i REF så att olika uppgifter modeller av hierarkiska schemaläggningssystem kan analyseras på ett kompositionellt sätt.
Statistical and exact schedulability analysis of hierarchical scheduling systems
{'venue': 'Sci. Comput. Program.', 'journal': 'Sci. Comput. Program.', 'mag_field_of_study': ['Computer Science']}