I takt med att inbäddade system i realtid blir mer komplexa används resursdelning allt oftare för att garantera realtidsprestanda. Nyligen har flera kompositionsramar för resurspartitionering föreslagits med hjälp av realtidsplaneringsteori med olika begrepp om realtidsuppgifter som körs under begränsade resursförsörjningsmiljöer. Dessa metoder är dock begränsade i sin uttrycksfullhet genom att de kan beskriva resursefterfrågans uppgifter, men inte resursförsörjningen. Detta dokument beskriver en processalgebraisk ram för resonemang om resursefterfrågan och tillgång inspirerad av den tidsinställda processen algebra ACSR. I ACSR specificeras uppgifter i realtid genom att ange deras behov av resurser. För att även kunna hantera resursförsörjningsprocesser definierar vi PADS där vi, förutom ACSR-liknande resursförfrågningar, kan specificera tillgängligheten av en resurs i ett givet tidssteg. Med hjälp av PADS definierar vi en leverans-efterfrågan relation där ett par (S; T) tillhör relationen om efterfrågeprocessen T kan schemaläggas under tillförsel S. Vi utvecklar en teori om kompositionell schedulability analys samt en teknik för att syntetisera en optimal leveransprocess för en uppsättning uppgifter. Vi illustrerar vår teknik genom ett antal exempel. Den åttonde sammanfattningen. I takt med att inbäddade system i realtid blir mer komplexa används resursdelning allt oftare för att garantera realtidsprestanda. Nyligen har flera kompositionsramar för resurspartitionering föreslagits med hjälp av realtidsplaneringsteori med olika begrepp om realtidsuppgifter som körs under begränsade resursförsörjningsmiljöer. Dessa realtidsbaserade schemaläggningsmetoder är dock begränsade i sin uttrycksfullhet eftersom de, även om de kan beskriva resursefterfrågans uppgifter, inte kan modellera resursförsörjningen. Detta dokument beskriver en processalgebraisk ram för resonemang om resursefterfrågan och tillgång inspirerad av den tidsinställda processen algebra ACSR. I ACSR specificeras uppgifter i realtid genom att ange deras behov av resurser. För att också rymma resursförsörjningsprocesser definierar vi PADS där, med tanke på en resurs CPU, den kompletterade resursen CP U betecknar för tillgänglighet av CPU för motsvarande efterfrågeprocess. Med hjälp av PADS definierar vi en leverans-efterfrågan relation där ett par (S, T ) tillhör relationen om efterfrågeprocessen T kan schemaläggas under tillförsel S. Vi utvecklar en teori om kompositionell schedulability analys samt en teknik för att syntetisera en optimal leveransprocess för en uppsättning uppgifter. Vi illustrerar vår teknik genom ett antal exempel.
REF [31] är inspirerat av tidsfördröjningsprocessen algebra ACSR.
A process algebraic framework for modeling resource demand and supply
{'venue': 'FORMATS', 'journal': None, 'mag_field_of_study': ['Computer Science']}