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.