7th International Conference on Performance Evaluation Methodologies and Tools

December 10–12, 2013 | Torino, Italy

Davide Cerotti, Marco Gribaudo, Pietro Piazzolla and Giuseppe Serazzi, Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano, Italy

Performance optimization with JMT: Java Modelling Tools

This tutorial introduces the main features of the Java Modelling Tool(JMT). In particular it presents its standard features to analyze queueing systems with both analytical, simulative and asymptotic techniques. It also proposes a new approach, based on command line interface and a scripting language, that increases the batch-analysis features of the tools. Several applications, in particular in the field of cloud environments, are presented to show how the JMT tool suite can be used in practice.

Armin Zimmermann, Ilmenau University of Technology, Germany

Reliability Modelling and Evaluation of Dynamic Systems With Stochastic Petri Nets

This tutorial covers motivation, use, and advantages of stochastic Petri nets as a tool for reliability evaluation of complex systems. Rare-event simulation techniques are demonstrated, which are applicable to a wide class of reliability problems. While this approach is known in the academic world, is has not yet been adopted much in industrial applications despite its apparent benefits. Additional triggers for this tutorial are advances in rare-event simulation for this model class as well as the recent standard IEC62551 for dependability evaluation with Petri nets. Example case studies and tool support is demonstrated.