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

Design Specifications for ADAptive Real-Time Systems

  • Abstract

    The design specification method described in this report treats a software architecture as a set of run-time entities, including tasks and external input/output elements, which interact either via messages or shared data structures. Tasks have a single thread of execution and represent program units that may be executed concurrently. External input elements produce input requests which in turn trigger a set of low level activities to be executed by tasks. External output elements consume results which are produced by tasks. The specification method discussed here facilitates the description of the dynamic structure of run-time entities, the synchronization and communication between these entities, and their resource consumption and production properties (which include timing and sizing).

  • Download

Cite This Report

SEI

Lichota, Randall. Design Specifications for ADAptive Real-Time Systems (CMU/SEI-91-TR-020 ). Software Engineering Institute, Carnegie Mellon University, 1991. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11427

IEEE

Lichota. Randall, "Design Specifications for ADAptive Real-Time Systems," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-91-TR-020 , 1991. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11427

APA

Lichota, Randall. (1991). Design Specifications for ADAptive Real-Time Systems (CMU/SEI-91-TR-020 ). Retrieved December 19, 2014, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11427

CHI

Randall Lichota. Design Specifications for ADAptive Real-Time Systems (CMU/SEI-91-TR-020 ). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 1991. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11427

MLA

Lichota, Randall. 1991. Design Specifications for ADAptive Real-Time Systems (Technical Report CMU/SEI-91-TR-020 ). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11427