In this paper a method is proposed, to exploit local symmetries of systems for efficient performance evaluation. The method works on performance models described with the Stochastic Well-Formed Nets (SWN) formalism: it allows to automatically discover local symmetries in the model behavior, and directly derive a lumped Markov chain from it. With respect to previous works on automatic exploitation of symmetries in SWNs, the proposed approach allows a significantly higher reduction of the state space size in critical cases.
Exploitation of local symmetries for efficient performance analysis / L. Capra - In: Proceedings of the international conference on parallel and distributed processing techniques and applications : PDPTA ' 03 / [a cura di] H.R. Arabnia, Y. Mun. - Las Vegas : CSREA Press, 2003. - ISBN 1892512440. - pp. 1782-1788 (( convegno International Conference on Parallel and Distributed Processing Techniques and Applications tenutosi a Las Vegas, Nevada nel 2003.
Exploitation of local symmetries for efficient performance analysis
L. CapraPrimo
2003
Abstract
In this paper a method is proposed, to exploit local symmetries of systems for efficient performance evaluation. The method works on performance models described with the Stochastic Well-Formed Nets (SWN) formalism: it allows to automatically discover local symmetries in the model behavior, and directly derive a lumped Markov chain from it. With respect to previous works on automatic exploitation of symmetries in SWNs, the proposed approach allows a significantly higher reduction of the state space size in critical cases.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
