Real-Time Scheduling Theory and ADA

April 1989 • Technical Report

Lui R. Sha, John B. Goodenough

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

Subjects

Performance and DependabilityPerformance and Dependability

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.

Download PDF

Cite This Report

SEI

Sha, Lui; & Goodenough, John. Real-Time Scheduling Theory and ADA. CMU/SEI-89-TR-014 . Software Engineering Institute, Carnegie Mellon University. 1989. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10933

IEEE

Sha. Lui, and Goodenough. John, "Real-Time Scheduling Theory and ADA," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-89-TR-014 , 1989. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10933

APA

Sha, Lui., & Goodenough, John. (1989). Real-Time Scheduling Theory and ADA (CMU/SEI-89-TR-014 ). Retrieved March 25, 2023, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10933

CHI

Lui Sha, & John Goodenough. Real-Time Scheduling Theory and ADA (CMU/SEI-89-TR-014 ). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 1989. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10933

MLA

Sha, Lui., & Goodenough, John. 1989. Real-Time Scheduling Theory and ADA (Technical Report CMU/SEI-89-TR-014 ). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10933

BibTex

@techreport{ShaRealTimeScheduling1989,
title={Real-Time Scheduling Theory and ADA},
author={Lui Sha and John Goodenough},
year={1989},
number={CMU/SEI-89-TR-014 },
institution={Software Engineering Institute, Carnegie Mellon University},
address={Pittsburgh, PA},
url={http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10933} }

Ask a question about this Technical Report

Software Engineering Institute