Accession Number : ADA303752

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

Descriptive Note : Status rept. 1 Oct-31 Dec 95,

Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE

Personal Author(s) : Lynch, Nancy A.

PDF Url : ADA303752

Report Date : 26 JAN 1996

Pagination or Media Count : 9

Abstract : This report summarizes the progress of research in the theory of distributed systems group. Members of the group have been active during this period in modeling, designing, and developing applications for concurrent systems. Our main theme is to support highly effective concurrent application designs by providing specification, quantification, and verification tools that capture behavior without limiting performance. We have developed a new 'hybrid automata model' for analyzing the behaviors of systems like industrial robots or computer controlled Vehicles. We have made progress in applying our specification and automated verification methods to several complicated test problems in distributed computing. We have introduced a variety of new approaches to evaluating concurrent algorithms, among them 'eventual serializability,' 'linearizability,' and a novel local measure of linearizability for load balancing data structures. We are using our methods for specifying (and helping in redesigning) and a variety of new and old communication and coordination algorithms, among them Lamport's Paxos algorithm, TCP and T-TCP, and Randomized Agreement. Finally, we have shown the effectiveness of our methods in the emerging area of specifying and designing automated transit systems.

Descriptors :   *DISTRIBUTED DATA PROCESSING, *REAL TIME, *CONCURRENT ENGINEERING, TEST AND EVALUATION, DATA BASES, MATHEMATICAL MODELS, ALGORITHMS, MEASUREMENT, INDUSTRIES, AUTOMATION, VERIFICATION, TOOLS, THEORY, ROBOTS, LIMITATIONS, COMMUNICATION AND RADIO SYSTEMS, HYBRID SYSTEMS, BEHAVIOR, TIMING DEVICES, AUTOMATA.

Subject Categories : Computer Programming and Software
      Cybernetics

Distribution Statement : APPROVED FOR PUBLIC RELEASE