Předmět Návrh komunikačních protokolů (KIN / KPN-D)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KIN / KPN-D - Návrh komunikačních protokolů, Ekonomická fakulta, Technická univerzita v Liberci (TUL).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Obsah
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.
Získané způsobilosti
Student získá znalosti potřebné pro návrh vlastního komunikačního protokolu a verifikaci jeho chování.
Literatura
Holzmann G. J. Design and Validation of Computer Protocols. Prentice Hall, 1990. Sharp R. Principles of Protocol Design. Springer, 2010. Reisig W. A Primer in Pertri Net Design. Springer, 2012. specifikace významných protokolů, zejména RFC 793, RFC 2616.
Požadavky
Zpracování projektu - návrh jednoduchého protokolu a jeho verifikace
Garant
doc. RNDr. Pavel Satrapa, Ph.D.
Vyučující
doc. RNDr. Pavel Satrapa, Ph.D.