Communication Protocols

Semestr: Summer

Range: 2+0s

Completion:

Credits: 4

Programme type:

Study form:

Course language:

Summary:

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.

Keywords:

communication protocol, state machine model of the protocol, SDL, Estelle, Lotos

Course syllabus:

Seminar syllabus:

Literature:

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

Examiners:

Lecturers:

Instructors: