OpenIMS Modelling for Performance Analysis

Bc. Michal Kohut

Diplomová práce

Anotace:

Cílem této diplomové práce je vytvořit formální modely systému Open IMS se zaměřením na SIP protokol, které budou dále sloužit jako podklad pro výkonnostní analýzu. Práce se zabývá modelováním ve formalismu MSC. Cílem práce je vytvořit MSC diagramy popisující jednotlivé komunikační sekvence Open IMS a vhodným logickým propojením těchto MSC vytvořit logický model vyšší úrovně High-level MSC. Dále porovnat tento model s Open IMS, popsat výhody a nevýhody modelu vytvořeného ve formalismu MSC a zhodnotit aplikaci SCStudio, ve které budou MSC diagramy modelovány. MSC formalismus vykazoval několik problémů a nakonec byl shledán jako nedostatečný pro modelování a analýzu tak rozsáhlého systému, jako je Open IMS. Dále byly vytvořeny modely Open IMS architektury v Stochastic Coloured Petri Net, které byly vhodné pro výkonnostní analýzy. Aplikace SCStudio se ukázala jako vhodný nástroj pro modelování v MSC.

Abstract:

The main goal of the thesis is to create formal models of Open IP Multimedia Subsystem (IMS) system based on SIP protocol for possible use in performance analysis. In the thesis, modelling will be done in Message Sequence Chart (MSC) formalism to create MSC diagrams that would describe particular communication sequences in Open IMS. Then, logical connection of these MSCs will be formalized in high-level MSC. Next, comparison of model created by MSC with Open IMS will be done and its advantages and disadvantages will be identified. SCStudio application will be used for modelling of MSC diagrams and therefore it will be also evaluated. MSC formalism has exhibited several problems and at last was found insufficient for modelling and analysing of such a complex system as IMS. Therefore modelling in Petri net and Stochastic Coloured Petri Net have been performed. Created models were suitable for performance analysis. SCStudio has proven itself to be a useful tool for MSC modelling.

Keywords

model, modelling, IP Multimedia Subsystem, Message Sequence Chart, Petri net, Stochastic Coloured Petri Net, IP network, GSM network

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 8. 1. 2013

Obhajoba závěrečné práce

• Obhajoba proběhla 8. 2. 2013
• Vedoucí: RNDr. Vojtěch Řehák, Ph.D.
• Oponent: Lukáš Oliva

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika