På senare tid har betydande framsteg gjorts i utvecklingen av tidsinställda processalgebror för specificering och analys av realtidssystem. Detta dokument beskriver en tidsinställd process algebra som kallas ACSR, som stöder synkrona tidsinställda åtgärder och asynkrona ögonblickliga händelser. Tidsbestämda åtgärder används för att representera användningen av resurser och för att modellera tidens gång. Händelser används för att fånga synkronisering mellan processer. För att kunna ange verkliga system korrekt stöder ACSR ett begrepp om prioritet som kan användas för att godtyckligt bland tidsinställda åtgärder som konkurrerar om användningen av resurser och bland händelser som är redo för synkronisering. Dokumentet innehåller också en kort översikt över andra tidsinställda processalgebror och diskuterar likheter och skillnader mellan dem och ACSR.
ACSR, en processalgebraisk metod för specifikation och analys av resursbundna realtidssystem införs i REF.
A Process Algebraic Approach to the Specification and Analysis of Resource-Bound Real-Time Systems
{'venue': 'PROCEEDINGS OF THE IEEE', 'journal': None, 'mag_field_of_study': ['Computer Science']}