Dynamic Distributed Systems

本计画的目标是发展动态分散式系统的阶层式设计方法，并探讨其在多个应用领域的适用性。 一个这样的应用是优雅地可降解系统的设计，保证可接受的良好性能，在故障的存在。 将研究的另一个应用程序重点关注动态图和计算几何的分布式算法设计。 该项目将展示分层设计如何帮助合成可证明正确的系统，在存在故障，重新配置以及如何在适当的层重用现有的算法。

The objective of this project is to develop a hierarchical design methodology for dynamic distributed systems, and investigate its applicability to several application areas. One such application is the design of gracefully degradable systems that guarantee acceptably good performance in the presence of failures. Another application that will be investigated focuses on the design of distributed algorithms for dynamic graphs and computational geometry. The project will demonstrate how the hierarchical design helps synthesizing provably correct systems in the presence of failures, reconfigurations and how existing algorithms can be reused at appropriate layers.