๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Automatic synthesis of a subclass of schedulers in timed systems

โœ Scribed by Padmanabhan Krishnan


Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
219 KB
Volume
298
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

โœฆ Synopsis


In this article we present a synthesis technique for generating schedulers for real-time systems. The aim of the scheduler is to ensure (via restricting the general behaviour) that the real-time system satisรฟes the speciรฟcation. The real-time system and the speciรฟcation are described as Alur-Dill timed automata while the synthesised scheduler is a type of timed trajectory automaton. This allows us to perform the synthesis without incurring the cost of constructing timed regions. We also note a simple constraint that the speciรฟcation has to satisfy for this technique to be useful.


๐Ÿ“œ SIMILAR VOLUMES