Model Checking for a Class of Performance Properties of Fluid Stochastic Models


Share/Save/Bookmark

Bujorianu, L.M. and Bujorianu, M.C. (2006) Model Checking for a Class of Performance Properties of Fluid Stochastic Models. In: Third European Performance Engineering Workshop (EPEW), June 21-22, 2006, Budapest, Hungary.

[img]PDF
Restricted to UT campus only
: Request a copy
411Kb
Abstract:Recently, there is an explosive development of fluid approa- ches to computer and distributed systems. These approaches are inherently stochastic and generate continuous state space models. Usually, the performance measures for these systems are defined using probabilities of reaching certain sets of the state space. These measures are well understood in the discrete context and many efficient model checking procedures have been developed for specifications involving them. The continuous case is far more complicated and new methods are necessary. In this paper we propose a general model checking strategy founded on advanced concepts and results of stochastic analysis. Due to the problem complexity, in this paper, we achieve the first necessary step of characterizing mathematically the problem. We construct upper bounds for the performance measures using Martin capacities. We introduce a concept of bisimulation that preserves the performance measures and a metric that characterizes the bisimulation.
Item Type:Conference or Workshop Item
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/63442
Official URL:http://dx.doi.org/10.1007/11777830_7
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 238185