Response time prediction for distributed processes specified in CaRT-Spec

Real-time systems often consist of distributed periodic processes that have critical timing constraints and share resources. This paper presents a set of functions for predicting the timing characteristics of such systems, assuming that they are specified using CaRT-Spec, a language for describing processes and their resource requirements. The paper demonstrates the usefulness of the functions for guiding algorithms that (1) statically assign processes to the computational nodes of parallel computers or (2) adapt to changing environmental conditions by dynamic reassignment.