Detail práce

Interaktivní simulátor pro grafy toku dat

Bakalářská práce Student: Kovařík David Akademický rok: 2014/2015 Vedoucí: Charvát Lukáš, Ing.
Název anglicky
An Interactive Simulator for Data-flow Graphs
Jazyk práce
český
Abstrakt
Grafy toku dat jsou často používány při návrhu hardware. Jsou však vhodné také pro provádění hlubších analýz návrhů (např. funkční a formální verifikace). Simulátor prezentovaný v této práci vzniká jako podpůrný nástroj pro verifikační prostředí HADES. Cílem simulátoru je snížit potřebný čas a zvýšit kvalitu procesu verifikace. Pro efektivní provádění simulace byl navržen a implementován simulační algoritmus, který díky eliminaci nadbytečných vyhodnocení šetří výpočetní čas. Simulátor je vybaven několika výstupními rozhraními, která jsou připojena k simulačnímu jádru. První rozhraní poskytuje přímý výstup simulace v textové podobě. K němu existuje také interaktivní varianta, která dovoluje uživateli řídit běh simulace a manipulovat se stavem modelu. Třetí vytváří plnohodnotné uživatelské rozhraní určené pro vizualizaci  průběhu simulace.
Klíčová slova

modelování, simulace, grafy toku dat, testování, vizualizace

Ústav
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení A
Obhajoba
15. června 2015
Oponent
Průběh obhajoby

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 výborně (A).

Otázky u obhajoby
  1. V dotazovacím jazyce (resp. interpretu) mi chybí příkaz 'until' pro zastavení simulace při splnění nějaké podmínky. Jak moc náročné by bylo rozšíření simulátoru?
  2. Jaká je výkonnost simulace (např. v počtu interpretovaných uzlů grafu za sekundu)?
Komise
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT), předseda
Burget Lukáš, doc. Ing., Ph.D. (UPGM FIT VUT), člen
Kotásek Zdeněk, doc. Ing., CSc. (UPSY FIT VUT), člen
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT), člen
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT), člen
Citace
KOVAŘÍK, David. Interaktivní simulátor pro grafy toku dat. Brno, 2015. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2015-06-15. Vedoucí práce Charvát Lukáš. Dostupné z: https://www.fit.vut.cz/study/thesis/16548/
BibTeX
@bachelorsthesis{FITBT16548,
    author = "David Kova\v{r}\'{i}k",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Interaktivn\'{i} simul\'{a}tor pro grafy toku dat",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2015,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/16548/"
}
Nahoru