Return to search

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

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.

Identiferoai:union.ndltd.org:nusl.cz/oai:invenio.nusl.cz:417227
Date January 2020
CreatorsMazánek, Antonín
ContributorsMrázek, Vojtěch, Strnadel, Josef
PublisherVysoké učení technické v Brně. Fakulta informačních technologií
Source SetsCzech ETDs
LanguageCzech
Detected LanguageEnglish
Typeinfo:eu-repo/semantics/masterThesis
Rightsinfo:eu-repo/semantics/restrictedAccess

Page generated in 0.0016 seconds