Lecturer(s)
|
-
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.
|
Prerequisites
|
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.
|