Formal methods in system design: Knowledge in theoretical foundations of formal design methods with practical procedures. Knowledge in tools for formal methods application to system design. Signal Processing in Communications: Skills in programming within Matlab environment. Ability to analyze, model and simulate behavior of data transmission systems. Practical knowledge about lower layers of communication systems. Estimation theory: Practical knowledge to make identification experiments on linear systems, select optimal model structure and to estimate the system model using Matlab System Identification Toolbox. Multimedia communications: Coding formats, content synchronization, quality of presentation, multiuser multimedia applications, quality of service in Internet.

1. match theoretical foundations of formal design methods with practical procedures
2. analyze and classify results obtained by the application of tools for formal system verification
3. develop various parts of communication systems, for example filters, Hilbert transformers, multipliers, decimators and interpolators, modulators and demodulators, frequency synthesizers
4. develop behavioral model of software defined radio receiver in Matlab environment
5. apply nonparametric and parametric methods for estimation of mathematical models of systems
6. apply state estimators of stochastic systems with Gaussian distribution
7. explain Voice over IP (VoIP) and network and application management protocols on
8. create VoIP sessions following the given scenarios

-

-

-

-

-

1. Introduction.
2. Formal Methods in System Design: Hardware verification (e.g. multiple request arbiter).
3. Formal Methods in System Design: Formal verification of critical operating systems synchronization and communication protocols.
4. Formal Methods in System Design: Formal verification of communication protocols in distributed systems.
5. Communication signal processing: Analysis of continuous-time signals using discrete Fourier transform. Design of filters with real and complex coefficients. Design of Hilbert transformers. Generation of complex envelope of amplitude, phase and angle modulated signals.
6. Communication signal processing: Modeling of analog transmission systems in Matlab environment. Modeling of software defined radio receivers in Matlab environment.
7. Communication signal processing: Digital communication systems. Baseband transmission of pulses. Performance measuring of transmission systems.
8. Midterm exam.
9. Estimation theory: Nonparametric identification methods.
10. Estimation theory: Parametric identification methods.
11. Estimation theory: Estimation of the satellite position in the planar orbit around Earth.
12. Multimedia communications: Analysis of VOIP session traffic.
13. Multimedia communications: Analysis of user behaviors in networked virtual environments I.
14. Multimedia communications: Analysis of user behaviors in networked virtual environments II.
15. Final exam.