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
Role:S Rozsah výuky:2P
Katedra:13136 Jazyk výuky:
Garanti:Janeček J. Zakončení:ZK
Přednášející:Janeček J. Kreditů:4
Cvičící:Janeček J. 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 5.6.2020 17:49:48, semestry: Z,L/2020-1, 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.