Popis predmeta

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.

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

Study Programmes

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

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
L3 English Level
L1 e-Learning
45 Lectures
15 Laboratory exercises

Grading System

85 Excellent
75 Very Good
65 Good
55 Acceptable

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

Study Programmes

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

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
L3 English Level
L1 e-Learning
45 Lectures
15 Laboratory exercises

Grading System

85 Excellent
75 Very Good
65 Good
55 Acceptable