Economical and practical design and analysis of probabilistic distributed systems

点击翻译按钮获取中文摘要

Complex computing systems composed of communicating processes are distributed over networks, and interact with embedded hardware components. They routinely operate in probabilistic environments: hardware components fail randomly, but at known rates; and tactical randomisation resolves competition for resources. Effective specification, development and analysis methods for these systems is crucial, and probability makes that particularly difficult. The focus of this project is to develop new formal methods that are economical and practical in use. Exploiting our recent advances in probabilistic program semantics, we will add probability in a new way to proven techniques in concurrency theory, including refinement and hierarchical design.