Accession Number : ADA307957

Title :   Applications of the Theory of Distributed and Real Time Systems to the Development of Large-Scale Timing Based Systems.

Descriptive Note : Rept. for 1 Jan-31 Mar 96,

Corporate Author : ELECTRONIC SECURITY COMMAND SAN ANTONIO TX

Personal Author(s) : Lynch, Nancy

PDF Url : ADA307957

Report Date : APR 1996

Pagination or Media Count : 10

Abstract : Members of MIT's Theory of Distributed Systems group have continued their work on modelling, designing, verifying and analyzing distributed and real-time systems. The focus is on the study of 'building-blocks' for the construction of reliable and efficient systems. Our works falls into three general categories: modelling and verification tools, algorithms and impossibility results, and applications. Here, we describe the progress briefly. Sources for more details are provided in the Technical Report.

Descriptors :   *SYSTEMS ENGINEERING, *DISTRIBUTED DATA PROCESSING, *REAL TIME, ALGORITHMS, VERIFICATION, TOOLS, THEORY, EFFICIENCY, TIMING DEVICES.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE