Abstrakt. Körtidskontroll är en kraftfull teknik för att säkerställa att ett körsystem respekterar vissa önskade egenskaper. Med hjälp av en övervakare ändras en (otillförlitlig) inmatningsutförande (i form av en sekvens av händelser) till en utdatasekvens som överensstämmer med en egenskap. Verkställigheten av Runtime har studerats ingående under det senaste årtiondet i samband med otidsenliga egenskaper. Genom detta dokument införs kontroll av att tidsenliga egenskaper efterlevs. Vi ser över grunderna för regelefterlevnad när tiden mellan händelserna är inne. Vi visar hur runtime enforcers kan syntetiseras för alla säkerhet eller co-safety timed egendom. Föreslagna körtidsindrivare är tidsdämpande: för att producera en utdatasekvens införs ytterligare fördröjningar mellan händelserna i indatasekvensen för att korrigera den. Körtidsindrivare har prototyperats och våra simuleringsexperiment validerar deras effektivitet.
I tidigare arbete i REF introducerade vi problemet med runtime exekutionstitel för tidsinställda fastigheter.
Runtime Enforcement of Timed Properties
{'venue': 'RV', 'journal': None, 'mag_field_of_study': ['Computer Science']}