Course: Design of Communication Protocols

» List of faculties » EF » KIN
Course title Design of Communication Protocols
Course code KIN/NKP-D
Organizational form of instruction Lecture
Level of course Doctoral
Year of study not specified
Semester Winter and summer
Number of ECTS credits 10
Language of instruction Czech
Status of course unspecified
Form of instruction Face-to-face
Work placements Course does not contain work placement
Recommended optional programme components None
  • Satrapa Pavel, doc. RNDr. Ph.D.
Course content
structure and features of communication protocols error detection and correction signalisation of important events and states security protocol specification protocol modelling - status diagrams, Petri nets verification methods and tools protocol simulation, PROMELA

Learning activities and teaching methods
Self-study (text study, reading, problematic tasks, practical tasks, experiments, research, written assignments), Individual consultation
  • Class attendance - 280 hours per semester
Learning outcomes
This topic covers the design of protocols for computer communication. It is focused mainly on features of protocols, principles of problem-specific protocol design, methods and tools to verify the functionality and behaviour of protocols.
Student gains skills required to design specific communication protocol and verify its behavior.
Basic knowledge of computer networks.

Assessment methods and criteria
Oral exam, Student's performance analysis

Project completion - design of simple protocol and its verification.
Recommended literature
  • specifikace významných protokolů, zejména RFC 793, RFC 2616.
  • Holzmann G. J. Design and Validation of Computer Protocols. Prentice Hall, 1990.
  • Reisig W. A Primer in Pertri Net Design.. Springer, 2012.
  • Sharp R. Principles of Protocol Design.. Springer, 2010.

Study plans that include the course
Faculty Study plan (Version) Category of Branch/Specialization Recommended year of study Recommended semester