In this tutorial we discuss methods for efficient system evaluation.
The tutorial is split into two parts. We first describe how the distinction of micro and macro views on CTMC models improves the efficiency of solution methods. The micro view on a CTMC considers the small CTMCs that describe the behaviour of system components, while the macro view concerns the behaviour of the system as a whole. For instance, when modelling a distributed system consisting of a large number of nodes, the micro view gives the CTMCs that describe the behaviour of individual nodes, while the macro view gives the response-time or reliability of the system.
In the second part of the tutorial we give a hands-on introduction to using phase-type distributions in modelling system behaviour. Using examples from practice, we show how phase-type distributions can be used to fit arbitrary measurement data and describe their use in efficient and accurate simulation.
The full description of the tutorial is available as a PDF file here.