Accurate Performance Estimation for Stochastic Marked Graphs by Bottleneck Regrowing

TitleAccurate Performance Estimation for Stochastic Marked Graphs by Bottleneck Regrowing
Publication TypeConference Proceedings
Year of Conference2010
AuthorsRodríguez, RJ, Julvez J
Conference NameEPEW'10: Proceedings of the 7th European Performance Engineering Workshop
Series TitleLecture Notes in Computer Science
Volume6342
Pagination175--190
PublisherSpringer
Conference LocationBertinoro, Italy
AbstractThe adequate system performance is usually a critical requirement to be checked during the verification phase of a system. Thus, accurately measuring the performance of current industrial systems, which are often modelled as a Discrete Event Systems (DES), is a need. Due to the state explosion problem, the performance evaluation of DES becomes increasingly difficult as the size of the systems increases. Some approaches, such as the computation of performance bounds, have been developed to overcome this problem. In this paper we propose a new method to produce performance bounds that are sharper than the ones that can be achieved with current methods. The core of our method is an iterative algorithm that initially considers the most constraining bottleneck cycle of the system and adds other cycles to it in each iteration. The proposed method is deeply explained and then applied to a broad set of Marked Graphs
URLhttp://webdiis.unizar.es/~ricardo/files/papers/RJ_EPEW10.pdf
Export