Popis předmětu - XP36KP

Přehled studia | Přehled oborů | Všechny skupiny předmětů | Všechny předměty | Seznam rolí | Vysvětlivky               Návod
XP36KP Komunikační protokoly Rozsah výuky:2P
Garanti:Janeček J. Role:S Jazyk výuky:
Vyučující:Janeček J. Zakončení:ZK
Zodpovědná katedra:13136 Kreditů:4 Semestr:L

Anotace:

Principy komunikačních protokolů, protokoly X.25, ISO, XTP. Automatový popis protokolu, systém RTAG. Prototypový systém ESTELLE. Specifikační jazyk LOTOS. Protokolové transformace. Validace a verifikace protokolů.

Výsledek studentské ankety předmětu je zde: XP36KP

Osnovy přednášek:

Osnovy cvičení:

Literatura:

Holzmann G.J.: Design and Validation of Computer Protocols. Prentice Hall 19

Požadavky:

http://dsn.felk.cvut.cz/education.cz/P36KP/index.html

Webová stránka:

http://dsn.felk.cvut.cz/education.cz/P36KP/index.html

Klíčová slova:

komunikační protokoly, automatový popis protokolu, SDL, Estelle, Lotos

Předmět je zahrnut do těchto studijních plánů:

Plán Obor Role Dop. semestr
DOKP Před zařazením do oboru S
DOKK Před zařazením do oboru S


Stránka vytvořena 12.11.2019 17:50:40, semestry: Z,L/2020-1, L/2018-9, Z,L/2019-20, připomínky k informační náplni zasílejte správci studijních plánů Návrh a realizace: I. Halaška (K336), J. Novák (K336)
Za obsah odpovídá: doc. Ing. Ivan Jelínek, CSc.