School of Computing

Predictive Performance Analysis for Distributed Systems - PERMABASE position

David Akehurst, Gill Waters, Peter Utton, and Gino Martin

In One Day Workshop on Software Performance Prediction extracted from Designs, pages 182-196, Heriot-Watt University, Edinburgh, November 1999.

Abstract

The PERMBASE project has provided a prototype environment that proves the feasibility of automatically generating performance models directly from system designs. The prototype uses UML as the input specification language, performs some transformations and basic model checking on the design and generates a performance model that is supported by a discrete event simulation engine. This position paper gives a brief introduction to the project, and defines the future aims and resultant research related to the project conclusions.

Download publication 76 kbytes (PDF)

Bibtex Record

@inproceedings{921,
author = {David Akehurst and Gill Waters and Peter Utton and Gino Martin},
title = {{P}redictive {P}erformance {A}nalysis for {D}istributed {S}ystems - {PERMABASE} position},
month = {November},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/921},
    address = {Heriot-Watt University, Edinburgh},
    booktitle = {One Day Workshop on Software Performance Prediction extracted from Designs},
    publication_type = {inproceedings},
    submission_id = {22104_944567094},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014