System Performance Analysis Extension of DiVinE – Bc. Petr Bauch, Ph.D.
Bc. Petr Bauch, Ph.D.
Diplomová práce
System Performance Analysis Extension of DiVinE
System Performance Analysis Extension of DiVinE
Anotace:
Tato práce se zabývá kompozicionálním modelováním a analýzou výkonnosti distribuovaných systémů typu klient/server. V této práci zhodnotíme existující formalismy dovolující analýzu výkonnosti a navrhneme rozšíření enumerativního nástroje pro kontrolu modelů DiVinE, které umožní tomuto nástroji měřit spotřebu výpočetních zdrojů vstupních modelů distribuovaných systémů. Rozšíření je navrženo jak teoreticky …víceAbstract:
This work is concerned with compositional modelling and performance analysis of distributed client/server systems. We review the existing formalisms allowing performance analysis and propose an extension to the enumerative model checker DiVinE which would enable the tool to measure computational resource consumption of the input models of distributed systems. The extension is proposed both in theory …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 30. 5. 2011
Identifikátor:
https://is.muni.cz/th/wt8bv/
Obhajoba závěrečné práce
- Obhajoba proběhla 28. 6. 2011
- Vedoucí: prof. RNDr. Luboš Brim, CSc.
- Oponent: RNDr. Milan Češka, Ph.D.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Informatika / Paralelní a distribuované systémy