ADA Validation Tests for Rate Monotonic Scheduling Algorithm
• Technical Report
Publisher
Software Engineering Institute
CMU/SEI Report Number
CMU/SEI-92-TR-001Subjects
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 April 16, 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-Apr-16}
}
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: 16-Apr-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 16 Apr. 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/