but.committee	doc. Ing. Ondřej Ryšavý, Ph.D. (předseda) doc. Ing. Martin Čadík, Ph.D. (místopředseda) doc. Ing. Radek Burget, Ph.D. (člen) doc. RNDr. Milan Češka, Ph.D. (člen) doc. Ing. Tomáš Martínek, 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: Jakým způsobem je do vlákna zpracování paketů a vlákna odesílání paketů dodána informace o celkovém počtu přečtených paketů, když jsou tato vlákna spuštěna ještě před dokončením čtení paketů na vstupu (viz Obr. 3.4 na str. 37)? Bylo by možné implementovat ukončování simulačního modelu po zpracování všech paketů i bez dedikovaného monitorovacího vlákna? Pokud ano, jak by se změnil Obr. 3.4?	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	Martínek, Tomáš	cs
dc.contributor.author	Bulička, Miroslav	cs
dc.contributor.referee	Matoušek, Jiří	cs
dc.date.created	2020	cs
dc.description.abstract	Sdružení CESNET vyvíjí nástroj umožňující spouštět P4 programy na programovatelném hradlovém poli. Tento nástroj se využívá při návrhu digitálního obvodu, který prochází procesem verifikace. Pro verifikaci je prozatím využíván simulační model, který plně neodpovídá požadavkům. Bakalářská práce se zabývá seznámením s jazykem P4 a tvorbou jeho simulačních modelů. Práce má za cíl zejména vytvoření simulačního modelu, který přesněji odpovídá požadavkům sdružení CESNET tak, aby mohl být nahrazen dosavadní simulační model využívaný ve verifikačním prostředí. Tvorba modelu probíhala pomocí projektu BMv2, který umožňuje psaní simulačních modelů pro jazyk P4. Jako výchozí simulační model byl zvolen Simple switch, který je ve verifikačním prostředí prozatím využíván a který byl upravován podle požadavků. Výsledkem práce je simulační model odpovídající požadavkům sdružení CESNET.	cs
dc.description.abstract	CESNET association is developing tool that allows running P4 programs on field programmable gate array. This tool is used in design of digital circuit, which goes through verification process. The verification uses behavioral model, which does not fully meet requirements. This thesis deals with introduction to P4 language, creation of behavioral models and developing of behavioral model, which meets the requirements of CESNET association. Current behavioral model, used in verification process, will be replaced by developed model. Project Behavioral Model version 2 was used for developing of behavioral model. Behavioral model simple switch was used as default model. This model is edited based on requirements of CESNET association. Result of this thesis is behavioral model which meets the requirements.	en
dc.description.mark	B	cs
dc.identifier.citation	BULIČKA, M. Tvorba simulačních modelů jazyka P4 [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2020.	cs
dc.identifier.other	129184	cs
dc.identifier.uri	http://hdl.handle.net/11012/191539
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	jazyk P4	cs
dc.subject	simulační model	cs
dc.subject	Behaviorální model verze 2	cs
dc.subject	software-defined networking	cs
dc.subject	P4 language	en
dc.subject	behavioral model	en
dc.subject	Behavioral model version 2	en
dc.subject	software-defined networking	en
dc.title	Tvorba simulačních modelů jazyka P4	cs
dc.title.alternative	Development of Simulation Models of P4 Language	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2020-07-13	cs
dcterms.modified	2020-07-13-23:43:55	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	129184	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:30:36	en
sync.item.modts	2025.01.15 13:17:26	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

Tvorba simulačních modelů jazyka P4

Files

Original bundle

Collections