• čeština
    • English
  • English 
    • čeština
    • English
  • Login
View Item 
  •   Repository Home
  • Závěrečné práce
  • diplomové práce
  • Fakulta informačních technologií
  • 2020
  • View Item
  •   Repository Home
  • Závěrečné práce
  • diplomové práce
  • Fakulta informačních technologií
  • 2020
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

Conversion of XTR Output of UPPAAL Tool into User-Friendly Representation

Thumbnail
View/Open
Posudek-Oponent prace-22400_o.pdf (89.35Kb)
Posudek-Vedouci prace-22400_v.pdf (94.07Kb)
final-thesis.pdf (1.604Mb)
review_129274.html (1.479Kb)
Author
Mazánek, Antonín
Advisor
Strnadel, Josef
Referee
Mrázek, Vojtěch
Grade
D
Alternative metrics PlumX
http://hdl.handle.net/11012/192456
Altmetrics
http://hdl.handle.net/11012/192456
http://hdl.handle.net/11012/192456
Metadata
Show full item record
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.
 
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.
 
Keywords
Uppaal, XTR, simulační běh, IF, Intermediate Format, překlad, uživatelsky přívětivá reprezentace, JSON, .NET Core, Uppaal, XTR, simulation trace, IF, Intermediate Format, conversion, user-friendly representation, JSON, .NET Core
Language
čeština (Czech)
Study brunch
Inteligentní systémy
Composition of 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)
Date of defence
2020-07-16
Process of 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?
Result of the defence
práce byla úspěšně obhájena
Persistent identifier
http://hdl.handle.net/11012/192456
Source
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.
Collections
  • 2020 [134]
Citace PRO

Portal of libraries | Central library on Facebook
DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback | Theme by @mire NV
 

 

Browse

All of repositoryCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Statistics

View Usage Statistics

Portal of libraries | Central library on Facebook
DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback | Theme by @mire NV