AESOP home


GRAIL: Grid-Enabled Performance Analysis Using Stochastic Logics

Tamas Suto

Conference or Workshop Paper
PASTA'05, 4th Workshop on Process Algebra and Stochastically Timed Activities
August, 2005
University of Edinburgh

This paper aims at introducing our latest research e®orts in the ¯elds of performance analysis, stochastic logics and Grid technology adaptation. We are currently exploring a new approach for a human-

friendly and intelligent graphical speci¯cation of Quality of Service-related performance requirements for industrial-scale real-life systems. Such systems are modelled by stochastic Petri nets, on which the necessary analyses are performed. To ensure formality, expressiveness and to allow for a concise but yet unambiguous representation of potentially very complex and compound performance requirements, a new variant of continuous stochastic logics will be employed. Resulting logical formulae will be disseminated and analysed

for an optimal distribution on a computational Grid back-end for the purpose of model-checking previously untractable large-scale models. The research will eventually result in a new form of stochastic logic that

will feature enhanced performance requirement representation capabilities, thereby extending the depth and breadth of possible performance measurement scenarios, as well as in the development of the means to utilise for the first time the computational power of the Grid for performance analysis by distributing, parallelising and optimising required model-checking computation on a Grid cluster. In this way, available solution space will be vastly extended and truly industrial-scale systems finally become analysable.

PDF of full publication (167.3 kilobytes)
(need help viewing PDF files?)
PDF of presentation slides (421.9 kilobytes)

Information from