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
• DOI: 10.1016/s0304-3975(02)00813-7

✦ 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.