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