Předmět: Návrh komunikačních protokolů

» Seznam fakult » EF » KIN
Název předmětu Návrh komunikačních protokolů
Kód předmětu KIN/NKP-D
Organizační forma výuky Přednáška
Úroveň předmětu Doktorský
Rok studia nespecifikován
Semestr Zimní a letní
Počet ECTS kreditů 10
Vyučovací jazyk Čeština
Statut předmětu nespecifikováno
Způsob výuky Kontaktní
Studijní praxe Nejedná se o pracovní stáž
Doporučené volitelné součásti programu Není
Vyučující
  • Satrapa Pavel, doc. RNDr. Ph.D.
Obsah předmětu
struktura a vlastnosti komunikačních protokolů detekce a odstraňování chyb signalizace významných událostí a stavů bezpečnost specifikace protokolu modelování protokolů - stavové diagramy, Petriho sítě metody a prostředky verifikace simulace protokolů, PROMELA

Studijní aktivity a metody výuky
Samostatná práce studentů (studium textů, literatury, problémové úkoly,výzkum, pisemná práce), Individuální konzultace
  • Účast na výuce - 280 hodin za semestr
Výstupy z učení
Předmět se zabývá návrhem protokolů pro počítačovou komunikaci. Věnuje se zejména analýze vlastností jednotlivých protokolů, postupům návrhu nového protokolu pro daný účel, metodám a prostředkům pro ověřování funkčnosti a chování protokolů.
Student získá znalosti potřebné pro návrh vlastního komunikačního protokolu a verifikaci jeho chování.
Předpoklady
Základní znalosti počítačových sítí.

Hodnoticí metody a kritéria
Ústní zkouška, Analýza výkonů studenta

Zpracování projektu - návrh jednoduchého protokolu a jeho verifikace
Doporučená literatura
  • specifikace významných protokolů, zejména RFC 793, RFC 2616.
  • Holzmann G. J. Design and Validation of Computer Protocols. Prentice Hall, 1990.
  • Reisig W. A Primer in Pertri Net Design.. Springer, 2012.
  • Sharp R. Principles of Protocol Design.. Springer, 2010.


Studijní plány, ve kterých se předmět nachází
Fakulta Studijní plán (Verze) Kategorie studijního oboru/specializace Doporučený ročník Doporučený semestr