© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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}, }