Real-Time Scheduling Theory and ADA (1988)

SEI Report
This report examines priority-based scheduling theory, its applications, implications for the Ada tasking model, and practical workarounds.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-88-TR-033

Abstract

The ADA tasking model was intended to facilitate the management of concurrency in a priority-driven scheduling environment. In this paper, we will review some important results of a priority-based scheduling theory, illustrate its applications with examples, discuss its implications for the ADA tasking model, and suggest workarounds that permit us to implement analytical scheduling algorithms within the existing framework of ADA.

Cite This SEI Report

Sha, L., & Goodenough, J. (1988, November 1). Real-Time Scheduling Theory and ADA (1988). (SEI Report CMU/SEI-88-TR-033). Retrieved September 4, 2026, from https://www.sei.cmu.edu/library/real-time-scheduling-theory-and-ada-1988/.

@techreport{sha_1988,
author={Sha, Lui and Goodenough, John},
title={Real-Time Scheduling Theory and ADA (1988)},
month={Nov},
year={1988},
number={{CMU/SEI-88-TR-033},
institution={Software Engineering Institute, Carnegie Mellon University},
url={https://www.sei.cmu.edu/library/real-time-scheduling-theory-and-ada-1988/},
note={Accessed: 2026-Sep-4}
}

Sha, Lui, and John Goodenough. "Real-Time Scheduling Theory and ADA (1988)." (CMU/SEI-88-TR-033). Software Engineering Institute, Carnegie Mellon University. Software Engineering Institute, November 1, 1988. https://www.sei.cmu.edu/library/real-time-scheduling-theory-and-ada-1988/.

L. Sha, and J. Goodenough, "Real-Time Scheduling Theory and ADA (1988)," Software Engineering Institute, Carnegie Mellon University. Software Engineering Institute, SEI Report CMU/SEI-88-TR-033, 1-Nov-1988 [Online]. Available: https://www.sei.cmu.edu/library/real-time-scheduling-theory-and-ada-1988/. [Accessed: 4-Sep-2026].

Sha, Lui, and John Goodenough. "Real-Time Scheduling Theory and ADA (1988)." (SEI Report CMU/SEI-88-TR-033). Software Engineering Institute, Carnegie Mellon University, Software Engineering Institute, 1 Nov. 1988. https://www.sei.cmu.edu/library/real-time-scheduling-theory-and-ada-1988/. Accessed 4 Sep. 2026.

Sha, Lui; & Goodenough, John. Real-Time Scheduling Theory and ADA (1988). CMU/SEI-88-TR-033. Software Engineering Institute. 1988. https://www.sei.cmu.edu/library/real-time-scheduling-theory-and-ada-1988/