LibFAUDES -- knižnica pre prácu s disktrétnymi systémami udalostí

Marián Pochyba

Bachelor's thesis

LibFAUDES -- a library for discrete event systems

Abstract:

This thesis describes libFAUDES -- a C++ software library for representing and working with discrete event systems. It clarifies the manipulation with the library itself and its basic elements. It also introduces libFAUDES-based applications (the luafaudes scripting tool, GUI DESTool) and options how to extend the library. The aim of this thesis is to provide this information to the reader and to demonstrate the library extension with plug-in. The extension implements algorithms for verification of observability and relative observability of systems (languages) represented by finite automata.

Abstract:

Práca popisuje libFAUDES, C++ softvérovú knižnicu pre reprezentáciu systémov s diskrétnymi udalosťami a pre prácu s nimi. Objasňuje prácu so samotnou knižnicou a jej základnými prvkami. Takisto predstavuje aplikácie založené na libFAUDES (skriptovací nástroj luafaudes, GUI DESTool) a možnosti rozšírenia tejto knižnice. Cieľom práce je tieto informácie sprostredkovať čitateľovi a predviesť rozšírenie knižnice o zásuvný modul. Ukázané rozšírenie implementuje algoritmy pre overenie vlastností pozorovateľnosti a relatívnej pozorovateľnosti systémov (jazykov) reprezentovaných pomocou konečných automatov.

Kľúčové slová

libFAUDES, DES, observability, pozorovateľnosť, DESTool, luafaudes, discrete, event, systems

Jazyk práce: Slovak

Datum vytvoření / odevzdání či podání práce: 13. 12. 2018

Obhajoba závěrečné práce

• Obhajoba proběhla 12. 2. 2019
• Vedúci: prof. RNDr. Ivana Černá, CSc.
• Oponent: RNDr. Petr Ročkai, Ph.D.

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Applied Informatics / Applied Informatics