search menu icon-carat-right cmu-wordmark

Design Specifications for ADAptive Real-Time Systems

December 1991 Technical Report
Randall W. Lichota

This 1991 report presents a design specification method that treats a software architecture as a set of runtime entities.


Software Engineering Institute

CMU/SEI Report Number



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