but.committee	doc. Mgr. Adam Rogalewicz, Ph.D. (předseda) doc. Ing. Lukáš Burget, Ph.D. (místopředseda) Ing. Michal Hradiš, Ph.D. (člen) Ing. Martin Hrubý, Ph.D. (člen) Ing. Radek Kočí, Ph.D. (člen) Ing. Jaroslav Rozman, Ph.D. (člen)	cs
but.defence	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. Otázky u obhajoby: 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?	cs
but.jazyk	čeština (Czech)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Strnadel, Josef	cs
dc.contributor.author	Mazánek, Antonín	cs
dc.contributor.referee	Mrázek, Vojtěch	cs
dc.date.created	2020	cs
dc.description.abstract	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.	cs
dc.description.abstract	The master's thesis introduces the Uppaal tool. It describes the principles and possibilities of modeling and analysis of systems using this tool. It also discusses in more detail the file formats that Uppaal tool uses. The structure of the XML file used to store created systems, the XTR format, which Uppaal uses to store simulation traces, and the IF format, which is necessary to understand the contents of the file in XTR format. The text also mentions available software support for working with these formats. Next part of this master's thesis is about designing user-friendly representation of simulations traces, along with designing application that translates simulation traces into designed representation. At the end of this thesis, the possible continuation of the project is mentioned together with the evaluation of the designed representation and the application.	en
dc.description.mark	D	cs
dc.identifier.citation	MAZÁNEK, A. Překlad XTR výstupu nástroje UPPAAL do uživatelsky přívětivé reprezentace [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2020.	cs
dc.identifier.other	129274	cs
dc.identifier.uri	http://hdl.handle.net/11012/192456
dc.language.iso	cs	cs
dc.publisher	Vysoké učení technické v Brně. Fakulta informačních technologií	cs
dc.rights	Standardní licenční smlouva - přístup k plnému textu bez omezení	cs
dc.subject	Uppaal	cs
dc.subject	XTR	cs
dc.subject	simulační běh	cs
dc.subject	IF	cs
dc.subject	Intermediate Format	cs
dc.subject	překlad	cs
dc.subject	uživatelsky přívětivá reprezentace	cs
dc.subject	JSON	cs
dc.subject	.NET Core	cs
dc.subject	Uppaal	en
dc.subject	XTR	en
dc.subject	simulation trace	en
dc.subject	IF	en
dc.subject	Intermediate Format	en
dc.subject	conversion	en
dc.subject	user-friendly representation	en
dc.subject	JSON	en
dc.subject	.NET Core	en
dc.title	Překlad XTR výstupu nástroje UPPAAL do uživatelsky přívětivé reprezentace	cs
dc.title.alternative	Conversion of XTR Output of UPPAAL Tool into User-Friendly Representation	en
dc.type	Text	cs
dc.type.driver	masterThesis	en
dc.type.evskp	diplomová práce	cs
dcterms.dateAccepted	2020-07-16	cs
dcterms.modified	2020-07-17-14:44:24	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	129274	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.26 15:31:04	en
sync.item.modts	2025.01.16 00:44:18	en
thesis.discipline	Inteligentní systémy	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů	cs
thesis.level	Inženýrský	cs
thesis.name	Ing.	cs

Překlad XTR výstupu nástroje UPPAAL do uživatelsky přívětivé reprezentace

Files

Original bundle

Collections