Lookup NU author(s): Dr Nigel Thomas,
Professor Michael Harrison,
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
In this paper we consider two very different case studies explored using scalable analysis techniques and stochastic process algebra. The first case study is a classical computer science problem: determining the efficiency of two non-repudiation protocols. We use PEPA to specify the model derived from the protocol specification and mean value analysis and fluid approximation to derive the desired metrics. In the second case study we model a human-centric system, concerning patient flow through a hospital clinic. The model is derived from the clinic practice and observed takt times are used to populate the model. We use PEPA and fluid approximations to derive measures. The two case studies demonstrate the power and versatility of the modelling and analysis approaches used.
Author(s): Thomas N, Harrison M, Zhao Y, Chen X
Editor(s): Tribastone, M., Gilmore, S.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Computer Performance Engineering: EPEW/UKPEW 2012
Year of Conference: 2012
Notes: E-ISBN: 9783642367816
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science