Research Projects

Selected Research Projects

These research projects are in the general domain of real-time scheduling theory. The long-term goal of this research is to obtain a better understanding of scheduling theory as it applies to resource-allocation problems in real-time computer systems, and to use this understanding to facilitate the development of tools for the automated synthesis of provably correct real-time applications systems.

Currently, my major research focus is on the two projects:

Real-time multiprocessor scheduling theory
Mixed-criticality scheduling

Additional projects, current and past, include

Multiprocessor Real-time Computing: Formal Foundations
Real-time Scheduling on Heterogeneous Multiprocessors
Real-time Scheduling on Identical Multiprocessors
Rate-Based Scheduling Technology for Latency-Sensitive Graphics Applications
Feasibility Analysis in Safety-Critical Shared Resource Systems
Overload Tolerance in Safety-Critical Systems

(My colleague Jim Anderson and I wrote a "research directions" statement in IEEE Distributed Systems Online in October 2000; you can retrieve it here.)