Keith A. Kohout
Software Engineering Institute
Publications by Keith A. Kohout
-
ADA Validation Tests for Rate Monotonic Scheduling Algorithm
February 01, 1992 • Technical Report
Keith A. KohoutKent MeyerJohn 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.
read