Accession Number : ADA245051


Title :   Design Specifications for Adaptive Real-Time Systems


Descriptive Note : Final rept.,


Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST


Personal Author(s) : Lichota, Randall W


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a245051.pdf


Report Date : Dec 1991


Pagination or Media Count : 40


Abstract : The design specification method described in this report treats a software architecture as a set of runtime 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 that in turn trigger a set of low-level activities to be executed by tasks. External output elements consume results that are produced by tasks. The specification method discussed here facilitates the description of the dynamic structure of runtime entities, the synchronization and communication between these entities, and their resource consumption and production properties (which include timing and sizing).


Descriptors :   *DATA BASES , OUTPUT , PRODUCTION , REAL TIME , SPECIFICATIONS , DYNAMICS , COMPUTER ARCHITECTURE , SHARING , LOW LEVEL , ADAPTIVE SYSTEMS , RESOURCES , INPUT OUTPUT DEVICES , CONSUMPTION , EXTERNAL , INPUT


Subject Categories : Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE