𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Automatic Synthesis of Schedulers in Timed Systems

✍ Scribed by Padmanabhan Krishnan

Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
760 KB
Volume
31
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Automatic synthesis of a subclass of sch
Automatic synthesis of a subclass of schedulers in timed systems
✍ Padmanabhan Krishnan πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 219 KB

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 ti