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