Software Engineering Institute Carnegie Mellon

Ada Validation Tests for Rate Monotonic Scheduling Algorithm

K. Kohout
K. Meyer
J. Goodenough

Technical Report
CMU/SEI-92-TR-001

PDF File
PostScript File

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.