Document Type

Technical Report

Department

Computer Science and Engineering

Publication Date

2010

Filename

WUCSE-2010-27.pdf

DOI:

10.7936/K757198W

Technical Report Number

WUCSE-2010-27

Abstract

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.

Comments

Permanent URL: http://dx.doi.org/10.7936/K757198W

Share

COinS