Software pro automatické generování modelů systémů Internet of Things (IoT)
Software For the Automated Generation of Models of Internet of Things (IoT) Systems
Typ dokumentu
diplomová prácemaster thesis
Autor
Richard Sadloň
Vedoucí práce
Klíma Matěj
Oponent práce
Šebek Jiří
Studijní obor
Softwarové inženýrstvíStudijní program
Otevřená informatikaInstituce přidělující hodnost
katedra počítačůPráva
A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.htmlVysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html
Metadata
Zobrazit celý záznamAbstrakt
Cieľom tejto práce bolo navrhnúť a imple-mentovať software pre generovanie alebo rozšírenie grafov, ktoré sú inšpirované re-álnymi IoT systémami. Hlavným využitím má byť testovanie experimentálnych algo-ritmov vyvíjaných vrámci skupiny STILL na katedre počítačov FEL ČVUT. Tieto algoritmy sa zameriavajú na testovanie v prípade výpadku alebo obmedzenia sieťo-vého pripojenia. Práca v úvode obsahuje vymedzenie zá-kladných pojmov z teórie grafov, stručný popis IoT systémov, popis problému tes-tovania v prípade výpadku alebo obme-dzeného sieťového pripojenia, rešerš IoT systémov zakončenú zhodnotením požia-davok na výslednú aplikáciu. Ďalej nasle-duje popis navrhnutého riešenia a jeho realizácie. Implementácia je v programovacom ja-zyku Java. Generované alebo rozširované grafy môžu obsahovať cykly, v prípade roz-šírenia existujúceho grafu je tento prob-lém je riešený pomocou silne súvislých komponent a ich detekciou využitím Tar-janového algoritmu. K overeniu, že vý-sledný graf obsahuje presne chcený počet cyklov bol použitý Johnsnov algoritmus na detekciu všetkých cyklov v orientova-nom grafe. The aim of this work was to design and implement software for generating or extending graphs that are inspired by real IoT systems. The use of this product can be the testing of experimental algorithms developed within the STILL group at the Department of Computers, FEE CTU. These algorithms focus on testing in the event of a network connection failure or limitation. The work in the introduction contains the definition of basic concepts of graph theory, a brief description of IoT systems, a description of the problem of testing in case of failure or limited network connection, a search of IoT systems ended by evaluating the requirements for the resulting application. Next, the description of the proposed solution and its implementation. The implementation is in the Java programming language. Generated or extended graphs can be cyclic, in case of extended graph this problem is solved using strongly connected components and their detection using the Tarjan’s algorithm. To verify that the resulting graph contains the exact desired number of cycles, a Johnson’s algorithm was used to detect all cycles in the oriented graph.
Kolekce
- Diplomové práce - 13136 [892]