Detail práce
Koordinace internetu věcí pomocí Petriho sítí
Tato práce se zabývá tvorbou systému umožňujícího dynamické nahrávání a běh aplikací s použitím interpretovaného jazyka Python. Vytvářený systém je založen na MPOS. Do systému lze nahrávat aplikace ve formě zdrojového kódu v jazyce Python nebo vysokoúrovňové Petriho sítě popisující komponenty systému posílané ve formátu PNML RefNet. Pro vytvoření Petriho sítě se používá vizuální editor Renew, který umožňuje export do PNML RefNet. Přijatá Petriho síť je převedena na aplikaci systému v jazyce Python, která umožňuje interpretaci dané Petriho sítě s využitím rozšířené knihovny SNAKES. Pro komunikaci mezi aplikacemi běžícími na libovolném uzlu ve stejné síti se používá protokol kompatibilní s protokolem použitým v MPOS, komunikující prostřednictvím MQTT. Výsledný software může být použit k řízení vytápění v budově a jeho funkcionalita lze dále rozšiřovat použitím nových aplikací. K provádění kontroly, ovládání a ukládání dat do databáze slouží systém pro automatizaci domácnosti Domoticz.
Internet věcí, IoT, Vysokoúrovňové Petriho sítě, SNAKES, Renew, ESP32, Raspberry Pi, MQTT, PNML RefNet, Domoticz
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 E.
- Je možné získat stav prováděné aplikace na uzlu a mapovat jej zpět do modelu Petriho sítí? Případně jak náročné by bylo toto zajistit?
- Stačí otestování pouze se dvěma zařízeními?
Bidlo Michal, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Burget Lukáš, doc. Ing., Ph.D. (UPGM FIT VUT), člen
Grézl František, Ing., Ph.D. (UPGM FIT VUT), člen
Lucká Mária, prof. RNDr., Ph.D. (FIIT STU), člen
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT), člen
@mastersthesis{FITMT21601, author = "Patrik Unzeitig", type = "Diplomov\'{a} pr\'{a}ce", title = "Koordinace internetu v\v{e}c\'{i} pomoc\'{i} Petriho s\'{i}t\'{i}", school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}", year = 2019, location = "Brno, CZ", language = "czech", url = "https://www.fit.vut.cz/study/thesis/21601/" }