Komunikační protokoly

Přednášející:

Jan Janeček (gar.)

Cvičící:

Jan Janeček (gar.)

Předmět zajišťuje:

katedra počítačů

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

Požadavky:

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

Osnova přednášek:

Osnova cvičení:

Cíle studia:

Studijní materiály:

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

Poznámka:

Rozvrh na zimní semestr 2011/2012:

Rozvrh není připraven

Rozvrh na letní semestr 2011/2012:

	06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Po
Út	místnost KN:E-205 Janeček J. 16:15–17:45 (paralelka 1) Karlovo nám. Koníčkova konzultačka
St
Čt
Pá

Předmět je součástí následujících studijních plánů:

• Doktorské studium, prezenční forma (povinně volitelný předmět)
• Doktorské studium, kombinovaná forma (povinně volitelný předmět)
• Doktorské studium, strukturované prezenční (povinně volitelný předmět)
• Doktorské studium, strukturované kombinované (povinně volitelný předmět)