Fluid flow analysis of a model of a secure key distribution centre

  1. Lookup NU author(s)
  2. Dr Nigel Thomas
  3. Yishi Zhao
Author(s)Thomas N, Zhao Y
Editor(s)Argent-Katwala, A., Dingle, N., Harder, U.
Publication type Conference Proceedings (inc. Abstract)
Conference Name24th UK Performance Engineering Workshop
Conference LocationLondon, UK
Year of Conference2008
Source Publication Date3-4 July 2008
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
In this paper we consider the use of a fluid flow approximation based on ordinary differential equations (ODEs) derived from a model of a key distribution centre. The model is specified using the Markovian process algebra PEPA. The basic model suffers from the commonly encountered state space explosion problem when tackled using Markov chain analysis. Fluid flow analysis is therefore one possible mechanism for deriving approximate solutions for systems with large populations. The system is analysed numerically and results derived from solving the ODEs are compared with a queueing network approximation.
NotesProceedings of UKPEW 2008 published in Imperial College London, Department of Computing, Technical Report Series, no, DTR08-9.