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

This publication has 0 references indexed in Scilit: