Toward Automatic Synthesis of Schedulable Real-Time Controllers

Abstract

This paper presents an automatic approach to synthesizing schedulable timing constraints for real-time control systems. Given the performance specifications and schedulability constraints of a real-time control system, the approach derives task-level