Thesis Details

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

Master's Thesis Student: Mazánek Antonín Academic Year: 2019/2020 Supervisor: Strnadel Josef, Ing., Ph.D.
English title
Conversion of XTR Output of UPPAAL Tool into User-Friendly Representation
Language
Czech
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.

Keywords

Uppaal, XTR, simulation trace, IF, Intermediate Format, conversion, user-friendly representation, JSON, .NET Core

Department
Department of Computer Systems FIT BUT
Degree Programme
Information Technology, Field of Study Intelligent Systems
Files
Status
defended, grade D
Date
16 July 2020
Reviewer
Mrázek Vojtěch, Ing., Ph.D.
Committee
Rogalewicz Adam, doc. Mgr., Ph.D. (DITS FIT BUT), předseda
Burget Lukáš, doc. Ing., Ph.D. (DCGM FIT BUT), člen
Hradiš Michal, Ing., Ph.D. (DCGM FIT BUT), člen
Hrubý Martin, Ing., Ph.D. (DITS FIT BUT), člen
Kočí Radek, Ing., Ph.D. (DITS FIT BUT), člen
Rozman Jaroslav, Ing., Ph.D. (DITS FIT BUT), člen
Citation
MAZÁNEK, Antonín. Překlad XTR výstupu nástroje UPPAAL do uživatelsky přívětivé reprezentace. Brno, 2020. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2020-07-16. Supervised by Strnadel Josef. Available from: https://www.fit.vut.cz/study/thesis/22400/
BibTeX 
@mastersthesis{FITMT22400,
    author = "Anton\'{i}n Maz\'{a}nek",
    type = "Master's thesis",
    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 = "Brno University of Technology, Faculty of Information Technology",
    year = 2020,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/22400/"
}

Theses

Back to top