search menu icon-carat-right cmu-wordmark

ADA Validation Tests for Rate Monotonic Scheduling Algorithm

Technical Report
This report presents a set of tests for checking whether an ADA runtime system properly supports certain rate monotonic scheduling algorithms, specifically, the basic inheritance and priority ceiling protocols.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-92-TR-001

Abstract

This report presents a set of tests for checking whether an ADA runtime system properly supports certain rate monotonic scheduling algorithms, specifically, the basic inheritance and priority ceiling protocols. These tests are intended to be used by vendors and by users to validate implementations of these protocols. The report describes the tests and how they are to be used. The source code is available electronically.

Cite This Technical Report

Kohout, K., Meyer, K., & Goodenough, J. (1992, February 1). ADA Validation Tests for Rate Monotonic Scheduling Algorithm. (Technical Report CMU/SEI-92-TR-001). Retrieved June 24, 2024, from https://insights.sei.cmu.edu/library/ada-validation-tests-for-rate-monotonic-scheduling-algorithm/.

@techreport{kohout_1992,
author={Kohout, Keith and Meyer, Kent and Goodenough, John},
title={ADA Validation Tests for Rate Monotonic Scheduling Algorithm},
month={Feb},
year={1992},
number={CMU/SEI-92-TR-001},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://insights.sei.cmu.edu/library/ada-validation-tests-for-rate-monotonic-scheduling-algorithm/},
note={Accessed: 2024-Jun-24}
}

Kohout, Keith, Kent Meyer, and John Goodenough. "ADA Validation Tests for Rate Monotonic Scheduling Algorithm." (CMU/SEI-92-TR-001). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, February 1, 1992. https://insights.sei.cmu.edu/library/ada-validation-tests-for-rate-monotonic-scheduling-algorithm/.

K. Kohout, K. Meyer, and J. Goodenough, "ADA Validation Tests for Rate Monotonic Scheduling Algorithm," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-92-TR-001, 1-Feb-1992 [Online]. Available: https://insights.sei.cmu.edu/library/ada-validation-tests-for-rate-monotonic-scheduling-algorithm/. [Accessed: 24-Jun-2024].

Kohout, Keith, Kent Meyer, and John Goodenough. "ADA Validation Tests for Rate Monotonic Scheduling Algorithm." (Technical Report CMU/SEI-92-TR-001). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Feb. 1992. https://insights.sei.cmu.edu/library/ada-validation-tests-for-rate-monotonic-scheduling-algorithm/. Accessed 24 Jun. 2024.

Kohout, Keith; Meyer, Kent; & Goodenough, John. ADA Validation Tests for Rate Monotonic Scheduling Algorithm. CMU/SEI-92-TR-001. Software Engineering Institute. 1992. https://insights.sei.cmu.edu/library/ada-validation-tests-for-rate-monotonic-scheduling-algorithm/