Diplomová práce

OpenIMS Modelling for Performance Analysis

Bc. Michal Kohut
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 …více

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 …více

Klíčová slova
model modelling IP Multimedia Subsystem Message Sequence Chart Petri net Stochastic Coloured Petri Net IP network GSM network
Zadání práce
Diplomová práce spadá do konceptu projektu SCStudio, který se zabývá formální verifikací komunikacních protokolů s využitím formalizmu Message Sequence Chart MSC). Cílem této práce je vytvořit formální modely systému Open IMS se zaměřením na protokol SIP. Model bude dále sloužit jako podklad pro výkonnostní analýzu IMS. Úkolem studenta je zejména:
  • seznámit se se systímem Open IMS a protokolem SIP
  • vytvořit MSC diagramy jednotlivých komunikačních sekvencí v Open IMS
  • vhodným logickým propojením těchto MSC vytvořit model vyšší úkovně (High-evel MSC) popisující celé Open IMS
  • analyzovat vytvořený model s ohledem na přehlednost a úplnost popisu Open IMS
  • popsat výhody a nevýhody popisu ve formalizmu MSC
  • zhodnocení aplikace SCStudio (v níž budou MSC diagramy vytvářeny)
  • vytvořit model pro výkonnostní analýzu (například časovaná/pravděpodobnostní Petriho síť), není přeba měřit konkrétní hodnoty výkonnosti, stačí popsat, co bude potřeba změřit a kam naměřené hodnoty ve výkonnostním modelu zapsat.
Literatura:
  • M. Poikselkä, G. Maye. The IMS: IP Multimedia Concepts and Services, 3rd Edition. Willey, 2009.
  • D. Sisalem, J. Floroiu, J. Kuthan, U. Abend, H. Schulzrinne. SIP Security. Willey, 2009.
  • SIP: Session Initiation Protocol. RFC 3261. http://www.ietf.org/rfc/rfc3261.txt
Administrativní informace
Práce zkontrolována:
9. 1. 2013 07:05, doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721
Plný text práce
20 MB / soubor PDF
Přílohy (1)
Jazyk práce
angličtina angličtina
Termín obhajoby
8. 2. 2013
Práce byla úspěšně obhájena

Vedoucí

doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721
ITI FI MU

Oponenti

Lukáš Oliva
SIEMENS
Lukáš Oliva

Konzultant

Mgr. Matúš Madzin, učo 207505
abs FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Aplikovaná informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.