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.
|