Original title: Překlad XTR výstupu nástroje UPPAAL do uživatelsky přívětivé reprezentace
Translated title: Conversion of XTR Output of UPPAAL Tool into User-Friendly Representation
Authors: Mazánek, Antonín ; Mrázek, Vojtěch (referee) ; Strnadel, Josef (advisor)
Document type: Master’s theses
Year: 2020
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [cze] [eng]
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: .NET Core; conversion; IF; Intermediate Format; JSON; simulation trace; Uppaal; user-friendly representation; XTR; .NET Core; IF; Intermediate Format; JSON; překlad; simulační běh; Uppaal; uživatelsky přívětivá reprezentace; XTR

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/192456

Permalink: http://www.nusl.cz/ntk/nusl-417227


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Master’s theses