Applications of the Theory of Distributed and Real Time Systems to the Development of Large-Scale Timing Based Systems.
Status rept. 1 Oct-31 Dec 95,
MASSACHUSETTS INST OF TECH CAMBRIDGE
Pagination or Media Count:
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 Lamports 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.
- Computer Programming and Software