Communication Protocols

Lecturer:

Jan Janeček (gar.)

Tutor:

Jan Janeček (gar.)

Supervisor:

Department of Computer Science and Engineering

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:

Time-table for winter semester 2011/2012:

Time-table is not available yet

Time-table for summer semester 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
Mon
Tue	roomKN:E-205 Janeček J. 16:15–17:45 (parallel nr.1) Karlovo nám. Koníčkova konzultačka
Fri
Thu
Fri

The course is a part of the following study plans:

• Doctoral studies, daily studies (compulsory elective course)
• Doctoral studies, combined studies (compulsory elective course)
• Doctoral studies, structured daily studies (compulsory elective course)
• Doctoral studies, structured combined studies (compulsory elective course)