|
Lecturer(s)
|
-
Satrapa Pavel, doc. RNDr. Ph.D.
|
|
Course content
|
1. Structure and features of communication protocols 2. Error detection and correction 3. Signalisation of important events and states security 4. Security 5. Protocol specification 6. Protocol modelling - status diagrams, Petri nets 7. Verification methods and tools 8. 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.
|