Technical Report Number
Classical scheduling abstractions such as deadlines and priorities do not readily capture the complex timing semantics found in many real-time cyber-physical systems. Time utility functions provide a necessarily richer description of timing semantics, but designing utility-aware scheduling policies using them is an open research problem. In particular, optimal utility accrual scheduling design is needed for real-time cyber-physical domains. In this paper we design optimal utility accrual scheduling policies for cyber-physical systems with periodic, non-preemptable tasks that run with stochastic duration. These policies are derived by solving a Markov Decision Process formulation of the scheduling problem. We use this formulation to demonstrate that our technique improves on existing heuristic utility accrual scheduling policies.
Tidwell, Terry; Glaubius, Robert; Gill, Christopher D.; and Smart, William D., "Optimal Time Utility Based Scheduling Policy Design for Cyber-Physical Systems " Report Number: WUCSE-2010-27 (2010). All Computer Science and Engineering Research.