Current real-time systems have typically been designed under the assumption that characteristics of the workload and the computing environment are both well-known and well-specified at the time of system design. Future real-time systems, however, will be required to operate in a more uncertain and stochastic environment. As a result, the designers of these future systems face a much more difficult task in developing resource scheduling algorithms and formally establishing their performance, timing, and fault-tolerance properties. This project is concerned with the design and performance evaluation of scheduling algorithms for real-time systems operating in a stochastic environment. The specific focus is on developing rigorous and formal approaches towards analyzing and designing such systems in a wide range of settings including uniprocessor, multiprocessor and fault-tolerant environments.

Agency
National Science Foundation (NSF)
Institute
Division of Computer and Communication Foundations (CCF)
Application #
9119922
Program Officer
Yechezkel Zalcstein
Project Start
Project End
Budget Start
1992-08-01
Budget End
1996-07-31
Support Year
Fiscal Year
1991
Total Cost
$234,712
Indirect Cost
Name
University of Massachusetts Amherst
Department
Type
DUNS #
City
Amherst
State
MA
Country
United States
Zip Code
01003