Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Technical Report

ADA Validation Tests for Rate Monotonic Scheduling Algorithm

  • 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.

  • Download

Cite This Report

SEI

Kohout, Keith; Meyer, Kent; & Goodenough, John. ADA Validation Tests for Rate Monotonic Scheduling Algorithm (CMU/SEI-92-TR-001). Software Engineering Institute, Carnegie Mellon University, 1992. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11565

IEEE

Kohout. Keith, Meyer. Kent, and Goodenough. John, "ADA Validation Tests for Rate Monotonic Scheduling Algorithm," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-92-TR-001, 1992. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11565

APA

Kohout, Keith., Meyer, Kent., & Goodenough, John. (1992). ADA Validation Tests for Rate Monotonic Scheduling Algorithm (CMU/SEI-92-TR-001). Retrieved December 26, 2014, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11565

CHI

Keith Kohout, Kent Meyer, & John Goodenough. ADA Validation Tests for Rate Monotonic Scheduling Algorithm (CMU/SEI-92-TR-001). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 1992. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11565

MLA

Kohout, Keith., Meyer, Kent., & Goodenough, John. 1992. ADA Validation Tests for Rate Monotonic Scheduling Algorithm (Technical Report CMU/SEI-92-TR-001). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11565