In-depth understanding of the principles and theoretical background of teletrafic theory, multimedia communication, telecommunication system reliability and formal methods in system design, required for solving engineering problems in the area of telecommunication and informatics. Ability to design and conduct analytic, modeling, simulation and experimental investigation. Ability to design solutions to problems that are unfamiliar, incompletely defined, and have competing specifications. Ability to formulate the problem and criticaly evaluate the solution. Practical experience with design, implementation, and deployment of information and communication systems.

1. explain multimedia service network traffic and analyze the impact of different network conditions on user perceived quality
2. analyze Internet traffic
3. set up VoIP sessions following given scenarios
4. design entity-relationship model based on problems from real world
5. construct database based on entity-relationship model for given problem
6. apply formal methods in system design
7. design solutions to problems that are unfamiliar, incompletely defined, and have competing specifications
8. calculate availability and reliability of complex telecommunication networks

Lectures for introducing the laboratory work.

Laboratory assignments (depending on the theoretical course selected).

Student advising in the course term and according to the student needs.

Individual or group project assignments (depending on the theoretical course selected).

1. Data modeling (one half of the semester) (1/3).
2. Data modeling (one half of the semester) (2/3).
3. Data modeling (one half of the semester) (3/3).
4. Teletraffic theory (one half of the semester) (1/3).
5. Teletraffic theory (one half of the semester) (2/3).
6. Teletraffic theory (one half of the semester) (3/3).
7. Telecommunication system reliability (one half of the semester)(1/3).
8. Telecommunication system reliability (one half of the semester) (2/3).
9. Telecommunication system reliability (one half of the semester) (3/3).
10. Formal methods (one half of the semester): Formal verification of hardware. Formal verification of critical operating systems synchronization and communication protocols. Formal verification of communication protocols in distributed systems (1/3).
11. Formal methods (one half of the semester): Formal verification of hardware. Formal verification of critical operating systems synchronization and communication protocols. Formal verification of communication protocols in distributed systems (2/3).
12. Formal methods (one half of the semester): Formal verification of hardware. Formal verification of critical operating systems synchronization and communication protocols. Formal verification of communication protocols in distributed systems (3/3).
13. Multimedia communication (one half of the semester): Analysis of VOIP session signaling and data traffic. Networked virtual environments: neworked games, analysis of user behavior (1/3).
14. Multimedia communication (one half of the semester): Analysis of VOIP session signaling and data traffic. Networked virtual environments: neworked games, analysis of user behavior (2/3)
15. Multimedia communication (one half of the semester): Analysis of VOIP session signaling and data traffic. Networked virtual environments: neworked games, analysis of user behavior (3/3).