but.committee	doc. Dr. Ing. Petr Hanáček (předseda) doc. Ing. Lukáš Burget, Ph.D. (místopředseda) doc. Ing. Petr Matoušek, Ph.D., M.A. (člen) Dr. Ing. Petr Peringer (člen) doc. Ing. Zdeněk Vašíček, Ph.D. (člen)	cs
but.defence	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?	cs
but.jazyk	čeština (Czech)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Strnadel, Josef	cs
dc.contributor.author	Palúch, Filip	cs
dc.contributor.referee	Podivínský, Jakub	cs
dc.date.created	2016	cs
dc.description.abstract	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.	cs
dc.description.abstract	The effort of this thesis is the review of mechanisms of tasks planning in singlecore environment. Each models are designed and implemented in tool UPPAAL using these mechanisms. The main focus in this thesis is the tool UPPAAL. Result of this thesis is verification of each mechanisms properties received from implementation of models in UPPAAL. TimesTool and Cheddar are the tools which are used for comparing our results from UPPAAL.	en
dc.description.mark	B	cs
dc.identifier.citation	PALÚCH, F. Model úloh s omezeními a mechanismů jejich plánování v UPPAAL SMC [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2016.	cs
dc.identifier.other	96295	cs
dc.identifier.uri	http://hdl.handle.net/11012/61982
dc.language.iso	cs	cs
dc.publisher	Vysoké učení technické v Brně. Fakulta informačních technologií	cs
dc.rights	Standardní licenční smlouva - přístup k plnému textu bez omezení	cs
dc.subject	Model	cs
dc.subject	Úloha	cs
dc.subject	Plánovanie	cs
dc.subject	UPPAAL	cs
dc.subject	Časovaný automat	cs
dc.subject	Analýza	cs
dc.subject	Verifikácia	cs
dc.subject	Štatistické overovanie modelov	cs
dc.subject	Model	en
dc.subject	Task	en
dc.subject	Planning	en
dc.subject	UPPAAL	en
dc.subject	Timed Automaton	en
dc.subject	Analysis	en
dc.subject	Verification	en
dc.subject	Statistical model checking	en
dc.title	Model úloh s omezeními a mechanismů jejich plánování v UPPAAL SMC	cs
dc.title.alternative	Model of Tasks with Constrains and Mechanisms of Their Scheduling in UPPAAL SMC	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2016-06-16	cs
dcterms.modified	2020-05-10-16:12:21	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	96295	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 18:54:07	en
sync.item.modts	2025.01.15 14:52:28	en
thesis.discipline	Informační technologie	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů	cs
thesis.level	Bakalářský	cs
thesis.name	Bc.	cs

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

Files

Original bundle

Collections