Detail práce
Překlad XTR výstupu nástroje UPPAAL do uživatelsky přívětivé reprezentace
Diplomová práce seznamuje s nástrojem Uppaal. Popisuje principy a možnosti modelování a analýzy systémů pomocí tohoto nástroje. Dále se blíže zabývá formáty souborů, které nástroj Uppaal používá. Strukturou souboru XML, sloužící pro uložení vytvořených systémů, formátem XTR, který nástroj používá k ukládání simulačních běhů, a formátem IF, který je nutný k porozumění obsahu souboru ve formátu XTR. V textu je zmíněna i dostupná programová podpora pro práci s těmito formáty. Další částí, kterou se tato diplomová práce zabývá, já návrh uživatelsky přívětivé reprezentace simulačních běhů spolu s návrhem a implementací aplikace, která provádí překlad simulačních běhů nástroje Uppaal do navržené reprezentace. Na konci práce je zmíněno možné pokračování v projektu spolu s hodnocením navržené reprezentace a aplikace pro překlad.
Uppaal, XTR, simulační běh, IF, Intermediate Format, překlad, uživatelsky přívětivá reprezentace, JSON, .NET Core
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm D.
- Jakým způsobem mění navržený nástroj práci s programem UPPAAL?
- Co myslíte tím, že se JSON dá dále zpracovávat optimalizovanými algoritmy?
- Proč považujete JSON za uživatelsky přívětivou reprezentaci?
- Zdokumentoval jste formát XTR?
- Existují jiné nástroje, které převádí XTR do jiných formátů?
- Obsahuje výsledný JSON více informací než zdrojový XTR?
Burget Lukáš, doc. Ing., Ph.D. (UPGM FIT VUT), člen
Hradiš Michal, Ing., Ph.D. (UPGM FIT VUT), člen
Hrubý Martin, Ing., Ph.D. (UITS FIT VUT), člen
Kočí Radek, Ing., Ph.D. (UITS FIT VUT), člen
Rozman Jaroslav, Ing., Ph.D. (UITS FIT VUT), člen
@mastersthesis{FITMT22400,
author = "Anton\'{i}n Maz\'{a}nek",
type = "Diplomov\'{a} pr\'{a}ce",
title = "P\v{r}eklad XTR v\'{y}stupu n\'{a}stroje UPPAAL do u\v{z}ivatelsky p\v{r}\'{i}v\v{e}tiv\'{e} reprezentace",
school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
year = 2020,
location = "Brno, CZ",
language = "czech",
url = "https://www.fit.vut.cz/study/thesis/22400/"
}