Detail práce

Model úloh s omezeními a mechanismů jejich plánování v UPPAAL SMC

Bakalářská práce Student: Palúch Filip Akademický rok: 2015/2016 Vedoucí: Strnadel Josef, Ing., Ph.D.
Název anglicky
Model of Tasks with Constrains and Mechanisms of Their Scheduling in UPPAAL SMC
Jazyk práce
český
Abstrakt
Cieľom je vytvorenie prehľadu mechanizmov plánovania úloh v jednoprocesorovom prostredí. Použitím týchto mechanizmov sú navrhnuté a implementované jednotlivé modely v nástroji UPPAAL,na ktorý sa táto práca orientuje. Výsledkom práce je overenie validity a vlastností mechanizmov získaných na základe implementovania modelov. Na porovnávanie výsledkov z nástroja UPPAAL sú využíté nástroje TimesTool a Cheddar.
Klíčová slova

Model, Úloha, Plánovanie, UPPAAL, Časovaný automat, Analýza, Verifikácia, Štatistické overovanie modelov

Ústav
Ústav počítačových systémů FIT VUT v Brně
Studijní program
Informační technologie
Soubory
Stav
obhájeno, hodnocení B
Obhajoba
16. června 2016
Oponent
Podivínský Jakub, Ing., Ph.D.
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 B.

Otázky u obhajoby

V závěru práce zmiňujete možnost přidání přerušovacího systému, přemýšlel jste nad tím, jak náročné a rozsáhlé úpravy by bylo potřeba provést v implementovaných modelech?

Komise
Hanáček Petr, doc. Dr. Ing. (UITS FIT VUT), předseda
Burget Lukáš, doc. Ing., Ph.D. (UPGM FIT VUT), člen
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT), člen
Peringer Petr, Dr. Ing. (UITS FIT VUT), člen
Vašíček Zdeněk, doc. Ing., Ph.D. (UPSY FIT VUT), člen
Citace
PALÚCH, Filip. Model úloh s omezeními a mechanismů jejich plánování v UPPAAL SMC. Brno, 2016. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2016-06-16. Vedoucí práce Strnadel Josef. Dostupné z: https://www.fit.vut.cz/study/thesis/18086/
BibTeX 
@bachelorsthesis{FITBT18086,
    author = "Filip Pal\'{u}ch",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Model \'{u}loh s omezen\'{i}mi a mechanism\r{u} jejich pl\'{a}nov\'{a}n\'{i} v UPPAAL SMC",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2016,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/18086/"
}

Závěrečné práce

Nahoru