Předmět Návrh komunikačních protokolů (KIN / NKP-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 / NKP-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
struktura a vlastnosti komunikačních protokolůdetekce a odstraňování chybsignalizace významných událostí a stavůbezpečnostspecifikace protokolumodelování protokolů - stavové diagramy, Petriho sítěmetody a prostředky verifikacesimulace 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.