search menu icon-carat-right cmu-wordmark

ADA Validation Tests for Rate Monotonic Scheduling Algorithm

February 1992 Technical Report
Keith A. Kohout, Kent Meyer, John B. Goodenough

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.