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

» Seznam fakult » FP » KIN
Název předmětu Návrh komunikačních protokolů
Kód předmětu KIN/KPN-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 Povinně-volitelný
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
1. Struktura a vlastnosti komunikačních protokolů. 2. Detekce a odstraňování chyb. 3. Signalizace významných událostí a stavů. 4. Bezpečnost. 5. Specifikace protokolu. 6. Modelování protokolů - stavové diagramy, Petriho sítě. 7. Metody a prostředky verifikace. 8. 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
Fakulta: Ekonomická fakulta Studijní plán (Verze): Ekonomická informatika (2014) Kategorie: Ekonomie - Doporučený ročník:-, Doporučený semestr: -