search menu icon-carat-right cmu-wordmark

Real-Time Scheduling Theory and ADA

Technical Report
This 1989 report reviews important results of a priority-based scheduling theory and discusses implications for the Ada tasking model.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-89-TR-014

Abstract

The ADA tasking model was intended to support the management of concurrency in a priority-driven scheduling environment. In this paper, we 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. This paper is a revision of CMU/SEI-88-TR-033. The most important revisions affect our discussion of aperiodic tasks and our analysis of how to support the priority ceiling protocol. A shortened version is also being presented at the 1989 ADA-Europe Conference.

Cite This Technical Report

Sha, L., & Goodenough, J. (1989, April 1). Real-Time Scheduling Theory and ADA. (Technical Report CMU/SEI-89-TR-014). Retrieved December 7, 2023, from https://insights.sei.cmu.edu/library/real-time-scheduling-theory-and-ada/.

@techreport{sha_1989,
author={Sha, Lui and Goodenough, John},
title={Real-Time Scheduling Theory and ADA},
month={Apr},
year={1989},
number={CMU/SEI-89-TR-014},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://insights.sei.cmu.edu/library/real-time-scheduling-theory-and-ada/},
note={Accessed: 2023-Dec-7}
}

Sha, Lui, and John Goodenough. "Real-Time Scheduling Theory and ADA." (CMU/SEI-89-TR-014). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, April 1, 1989. https://insights.sei.cmu.edu/library/real-time-scheduling-theory-and-ada/.

L. Sha, and J. Goodenough, "Real-Time Scheduling Theory and ADA," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-89-TR-014, 1-Apr-1989 [Online]. Available: https://insights.sei.cmu.edu/library/real-time-scheduling-theory-and-ada/. [Accessed: 7-Dec-2023].

Sha, Lui, and John Goodenough. "Real-Time Scheduling Theory and ADA." (Technical Report CMU/SEI-89-TR-014). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Apr. 1989. https://insights.sei.cmu.edu/library/real-time-scheduling-theory-and-ada/. Accessed 7 Dec. 2023.

Sha, Lui; & Goodenough, John. Real-Time Scheduling Theory and ADA. CMU/SEI-89-TR-014. Software Engineering Institute. 1989. https://insights.sei.cmu.edu/library/real-time-scheduling-theory-and-ada/