School of Computing

Projects

AMPS - Analysis of Massively Parallel Stochastic Systems

The key technical aim of AMPS is to be able to perform quantitative response-time analysis of massively parallel real world systems, through a combination of compositional analysis and fluid approximation. The main focus of AMPS case studies will be on two classes of computer-communication system where, in both cases, massive parallelism is an inherent feature: software architectures (publish/subscribe architectures for distributed and mobile applications; file sharing applications over peer-to-peer networks; large-scale Internet caching infrastructures) and network and computer security-related models (Internet worm models; distributed voting models; performance of trust establishment in Web of Trust; trust economics decisions in large enterprises).