Advanced Search

Content Type

Topics

Publication Date

ADA Validation Tests for Rate Monotonic Scheduling Algorithm

  • Author(s): , ,
  • Publish Date:
  • Publisher: Software Engineering Institute
  • SEI Identifier: CMU/SEI-92-TR-001
  • Type: Technical Report
  • Topics: Performance and Dependability
  • Description: 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.

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 Report

Show Citation Formats

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 April 23, 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