Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2019/2020

Communication Protocols

Login to KOS for course enrollment Display time-table
Code Completion Credits Range
XP36KP ZK 4 2P
Lecturer:
Jan Janeček (guarantor)
Tutor:
Jan Janeček (guarantor)
Supervisor:
Department of Computer Science
Synopsis:

Communication protocol principles, SDL language, protocol architecture: ISO OSI, error control, data-link layer protocols: X.25, higher layer protocols (TCP, TP4), communicating finite state machines, implementation tools (FSM language ESTELLE, regular grammars), use of Petri nets, specification language LOTOS, protocol transformation, design, synthesis, validation and verification of protocols.

Requirements:
Syllabus of lectures:
Syllabus of tutorials:
Study Objective:
Study materials:

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

Note:
Further information:
http://dsn.felk.cvut.cz/education.cz/P36KP/index.html
Time-table for winter semester 2019/2020:
Time-table is not available yet
Time-table for summer semester 2019/2020:
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
Mon
Tue
roomKN:E-205

14:30–16:00
(lecture parallel1)
Karlovo nám.
Koníčkova konzultačka
Fri
Thu
Fri
The course is a part of the following study plans:
Data valid to 2020-05-28
For updated information see http://bilakniha.cvut.cz/en/predmet11846304.html