GLOBAN 2006 - The Global Computing Approach to Analysis of Systems

Stochastic modelling

Lectures by Stephen Gilmore, University of Edinburgh, Scotland

Abstract

In some circumstances it is not sufficient to know that a computer system will not exhibit unwanted behaviour: one wants to know that it will deliver the desired behaviour within a prescribed time bound, or with a specified quality of service. Quantitative methods are needed here to ensure timely responses to requests. These lectures will show how stochastic process algebras are used to quantify system performance.