Abstract-Gived en Parametric Timed Automaton (PTA) A och en referensvärdering för timing, den Inverse Method (IM) syntetiserar en begränsning runt referensvärderingen där A beter sig på samma tid-abstrakt sätt. Detta ger oss ett kvantitativt mått på robustheten i A:s beteende kring referensvärderingen. Vi visar i detta dokument hur IM kan tillämpas på ett specifikt sätt för att behandla robustheten i schemaläggningssystem. Vi förklarar också hur man använder metoden för att syntetisera stora zoner av tidsparametern utrymme där systemet är garanterat att vara schedulable. Vi illustrerar metoden på flera exempel av litteraturen samt en fallstudie som härrör från ett industridesignprojekt.
I REF används den omvända metoden för parametrisk tidsinställd automata för att syntetisera zoner av tidsparametern utrymme där systemet är schematiskt.
Robustness Analysis for Scheduling Problems Using the Inverse Method
{'venue': '2012 19th International Symposium on Temporal Representation and Reasoning', 'journal': '2012 19th International Symposium on Temporal Representation and Reasoning', 'mag_field_of_study': ['Computer Science']}