Graduate study programme

Back   Schedule   Hrvatski

Communication Protocols DKb3-02

ECTS 7 | P 45 | A 15 | L 15 | K 0 | ISVU 62277 149750 | Academic year: 2019./2020.

Course groups

Prikaži sve grupe na predmetu

Course lecturers



Familiarise students with methods and procedures for communication protocols design. Explain basics and applications of Petri net in communication protocol design. Explain protocol mechanisms for control and signalisation in communication networks.

Conditions for enrollment

Requirements met for enrolling in the second year of the study programme

Course description

Communication network architectures. Protocols and protocol architecture. Structural protocol design. Phases of protocol design. Formal and semi-formal methods. Protocol specification. Protocol verification. Protocol implementation. Protocol testing. Perturbation technique. Tools for communication protocols analyses and synthesis. Petri net structure and implementation. Petri nets communication protocols modelling. Petri nets modelling of services. SPIN and Promela. Protocol simulators. Layered protocol development. OSI model. Hierarchical design, DoD model. Local networks and protocols. Routing protocols. Reservation protocols, RSVP protocol for resource reservation. IP protocol and internetworking. IPv6 protocol, new perspectives and problems introducing new protocol. Control protocols. Transport protocols. Application protocols. Mobile network protocols. Signalisation protocols. Signalisation for functions of call and service processing. Conceptual model of intelligent network. CAS (R2), CCS. SS7 protocol and OSI model. H.248, BICC, SIP-T, SIP-I. Session initiation protocol. Session description protocol SDP. Network management protocols.

Student requirements

Defined by the Student evaluation criteria of the Faculty of Electrical Engineering, Computer Science and Information Technology Osijek and paragraph 1.9

Monitoring of students

Defined by the Student evaluation criteria of the Faculty of Electrical Engineering, Computer Science and Information Technology Osijek and paragraph 1.9

Obligatory literature

1. 1 Lovrek, I. Modeli telekomunikacijskih procesa - teorija i primjena Petrijeve mreže Zagreb: Školska knjiga, 1997.

2. 2 Tanenbaum, A. S; D. J. Wetherall Computer Networks-5. izdanje Prentice Hall, Boston, 2011.

Pretraži literaturu na:

Recommended additional literature

1. 1 A. Bažant, et al. Osnovne arhitekture mreža Element Zagreb, 2014.

2. 2 W. Stallings Data and Computer Communications, Tenth Edition Macmillan Publishing Company, New York, 2014

3. 3 Gerard J. Holzmann Design and Validation of Computer Protocols Prantice Hall, New Jersey, 1991.

Course assessment

Conducting university questionnaires on teachers (student-teacher relationship, transparency of assessment criteria, motivation for teaching, teaching clarity, etc.). Conducting Faculty surveys on courses (upon passing the exam, student self-assessment of the adopted learning outcomes and student workload in relation to the number of ECTS credits allocated to activities and courses as a whole).

Overview of course assesment

Learning outcomes
Upon successful completion of the course, students will be able to:

1. describe and explain protocol architecture of modern communication networks

2. estimate and compare methods and tools for formal specification, verification and validation of communication protocols

3. plan tools and methods for the analysis and synthesis of communication protocols

4. evaluate different approaches in solving communication problems on individual layers within layered protocol model

5. evaluate mechanisms and control protocols in modern communication networks as well as appropriate protocol solutions

Aktivnosti studenta: Vidi tablicu aktivnosti