Discovery Projects - Grant ID: DP0345457

Funded Activity Summary

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.

Funded Activity Details

Start Date: 01-01-2003

End Date: 31-12-2008

Funding Scheme: Discovery Projects

Funding Amount: $669,040.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Mathematical Logic And Formal Languages | Logics And Meanings Of Programs | Information Systems Development Methodologies | Computation Theory and Mathematics

ANZSRC Socio-Economic Objective (SEO)

Computer software and services not elsewhere classified | Integrated systems | Mathematical sciences |

Other Keywords

Computation Theory and Mathematics | Computer software and services not elsewhere classified | Information Systems Development Methodologies | Integrated systems | Logics And Meanings Of Programs | Mathematical Logic And Formal Languages | Mathematical sciences

Related Links