原文传递
Applications of the Theory of Distributed and Real Time Systems to the Development of Large-Scale Timing Based Systems.
| 题名： | Applications of the Theory of Distributed and Real Time Systems to the Development of Large-Scale Timing Based Systems. |
| 作者： | Lynch, Nancy A.; |
| 关键词： | 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. |
| 摘要： | 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. |
| 总页数： | 9 |
| 报告类型： | 科技报告 |
相关文献
- SIMULATION FRAMEWORK FOR INTELLIGENT TRANSPORTATION SYSTEMS.
- Simulation framework for intelligent transportation systems
- Large-scale Intelligent Transporation Systems simulation
- The Formation of International Fisheries City Mainly on Construction of a Large-scale Fishing Port – An Example of Nagasaki Fishing Port –
- Traffic Signal Systems 2015: Volume 1. Transportation Research Record: Journal of the Transportation Research Board, No. 2487.
- Scalable Gas Sensing, Mapping, and Path Planningvia Decentralized Hilbert Maps.
检索历史
应用推荐
