Communication Protocols

Data is displayed for academic year: 2023./2024.

Laboratory exercises

Course Description

Theoretical models of communication and coordination in a network. Communication protocols: information units exchange, communication control, flow control, error handling. Model of communication protocol, analysis and synthesis methods of protocols, application of finite state automata models. Petri nets and process algebras. Communication protocols in IP network. Communication protocols in new generation networks - protocols of access and core network, mobility and security. Measurement methods and instrumentation.

Study Programmes

University graduate
[FER3-HR] Audio Technologies and Electroacoustics - profile
Elective Courses (1. semester) (3. semester)
[FER3-HR] Communication and Space Technologies - profile
Elective Courses (1. semester) (3. semester)
[FER3-HR] Computational Modelling in Engineering - profile
Elective Courses (1. semester) (3. semester)
[FER3-HR] Computer Engineering - profile
Elective Courses (1. semester) (3. semester)
[FER3-HR] Computer Science - profile
Elective Courses (1. semester) (3. semester)
[FER3-HR] Control Systems and Robotics - profile
Elective Courses (1. semester) (3. semester)
[FER3-HR] Data Science - profile
Elective Courses (1. semester) (3. semester)
[FER3-HR] Electrical Power Engineering - profile
Elective Courses (1. semester) (3. semester)
[FER3-HR] Electric Machines, Drives and Automation - profile
Elective Courses (1. semester) (3. semester)
[FER3-HR] Electronic and Computer Engineering - profile
Elective Courses (1. semester) (3. semester)
[FER3-HR] Electronics - profile
Elective Courses (1. semester) (3. semester)
[FER3-HR] Information and Communication Engineering - profile
Elective Courses (1. semester) (3. semester)
[FER3-HR] Network Science - profile
(1. semester)
[FER3-HR] Software Engineering and Information Systems - profile
Elective Course of the profile (3. semester)
Elective Course of the Profile (1. semester)
Elective Courses (1. semester) (3. semester)
[FER2-HR] Information Processing - profile
Theoretical Course (1. semester)
[FER2-HR] Telecommunication and Informatics - profile
Theoretical Course (1. semester)

Learning Outcomes

  1. identify network communication models
  2. design communication protocols
  3. analyze communication protocols and processes in the networks
  4. synthesize communication protocols
  5. develop Internet and mobile network protocols
  6. apply different models in the modeling and analysis of protocols
  7. select appropriate method for specification and verification of protocols
  8. modify communication protocol after its validation and testing in real environment

Forms of Teaching

Lectures

Lectures

Independent assignments

Homework

Laboratory

Laboratory exercises

Grading Method

Continuous Assessment Exam
Type Threshold Percent of Grade Threshold Percent of Grade
Laboratory Exercises 50 % 20 % 50 % 20 %
Homeworks 0 % 10 % 0 % 10 %
Class participation 0 % 5 % 0 % 5 %
Mid Term Exam: Written 0 % 25 % 0 %
Final Exam: Written 0 % 25 %
Final Exam: Oral 15 %
Exam: Written 0 % 50 %
Exam: Oral 15 %

Week by Week Schedule

  1. Model of a communication protocol
  2. Theoretical models of communication and coordination in a network; Modeling communication protocols with finite state automata, Petri nets, and process algebras
  3. Theoretical models of communication and coordination in a network; Modeling communication protocols with finite state automata, Petri nets, and process algebras
  4. Communication protocol analysis methods
  5. Communication protocol synthesis methods
  6. Network and transport layer protocols: case studies focused on Internet Protocol (IP), Transmission Control Protocol (TCP); And User Datagram Protocol (UDP), IPv4 and IPv6 protocol suites; Mobile IP
  7. IPv4 and IPv6 protocol suites; Mobile IP
  8. Midterm exam
  9. IPv4 and IPv6 protocol suites; Mobile IP
  10. Routing protocols
  11. Routing protocols
  12. Protocols in mobile networks
  13. Protocols in mobile networks
  14. Project
  15. Final exam

Literature

Ignac Lovrek (1997.), Modeli telekomunikacijskih procesa - Teorija i primjena Petrijeve mreže, Školska knjiga
Gerard J. Holzmann (1991.), Design and Verification of Computer Protocols, Prentice-Hall
Yi-Bang Lin, Imrich Chlamtac (2008.), WIRELESS AND MOBILE NETWORK ARCHITECTURES, John Wiley & Sons

For students

General

ID 222626
  Winter semester
5 ECTS
L1 English Level
L1 e-Learning
45 Lectures
0 Seminar
0 Exercises
15 Laboratory exercises
0 Project laboratory
0 Physical education excercises

Grading System

85 Excellent
75 Very Good
65 Good
55 Sufficient