Course detail

Data Communications, Computer Networks and Protocols

FIT-PDSAcad. year: 2017/2018

Coding for error detection and correction, error control. Packet synchronization. Switch architecture. Label switching technique. Packet-error control. Architecture of routers, queuing theory. Multicast addressing and routing. Exterior routing using BGP. Routing in IPv6 and their alternatives. Routing in wireless and sensor networks. Resource reservation and QoS. Protocol engineering. Formal specifications and verification of network communication.

Language of instruction

Czech

Number of ECTS credits

5

Mode of study

Not applicable.

Learning outcomes of the course unit

Understanding communication functions and their implementations in computer networks; being informed about related formal tools.

Understanding communication principles in current computer networks.

Prerequisites

The sets, relations and mappings. The elementary notions of the graph theory. The elementary notions of communication protocols. Principles of Internet.

Co-requisites

Not applicable.

Planned learning activities and teaching methods

Not applicable.

Assesment methods and criteria linked to learning outcomes

Study evaluation is based on marks obtained for specified items. Minimimum number of marks to pass is 50.

Requirements for class accreditation are not defined.

Course curriculum

    Syllabus of lectures:
    1. Coding for error detection and correction, error control.
    2. Bit and packet synchronization.
    3. Switching techniques.
    4. Label switching.
    5. Packet-error control.
    6. Router architecture.
    7. Queue theory, network of queues.
    8. Multicast addressing and routing.
    9. BGP routing. Routing in IPv6.
    10. WLAN routing, routing in sensors networks.
    11. Resource reservation and QoS.
    12. Protocol engineering.
    13. Formal specification and verification.

    Syllabus of laboratory exercises:
    • BGP routing.

    Syllabus of computer exercises:
    1. Coding.
    2. Programming in Libnet. Modeling and simulation in Omnet++.

    Syllabus - others, projects and individual work of students:
    • Design, modeling and implementation of a simple switch.

Work placements

Not applicable.

Aims

Understand communication functions and their implementations in computer networks; understand archicture of basic network devices. Be aware of related formal tools for modelling, simulation and verification of network communication.

Specification of controlled education, way of implementation and compensation for absences

Mid-term exam, laboratory practice and/or homework supported by project completion, and final exam are the monitored, and points earning education. Mid-term exam and laboratory practice are without correction eventuality. Final exam has two additional correction eventualities. The minimal number of points that can be obtained from the final exam is 25. Otherwise, no points will be assigned to a student.

Recommended optional programme components

Not applicable.

Prerequisites and corequisites

Not applicable.

Basic literature

Not applicable.

Recommended reading

Not applicable.

Classification of course in study plans

  • Programme IT-MSC-2 Master's

    branch MMI , 0 year of study, summer semester, elective
    branch MBI , 0 year of study, summer semester, compulsory-optional
    branch MSK , 1 year of study, summer semester, compulsory
    branch MMM , 0 year of study, summer semester, elective
    branch MBS , 1 year of study, summer semester, compulsory
    branch MPV , 1 year of study, summer semester, compulsory
    branch MIS , 1 year of study, summer semester, compulsory
    branch MIN , 0 year of study, summer semester, compulsory-optional
    branch MGM , 1 year of study, summer semester, compulsory

Type of course unit

 

Lecture

39 hod., optionally

Teacher / Lecturer

Syllabus

  1. Coding for error detection and correction, error control.
  2. Bit and packet synchronization.
  3. Switching techniques.
  4. Label switching.
  5. Packet-error control.
  6. Router architecture.
  7. Queue theory, network of queues.
  8. Multicast addressing and routing.
  9. BGP routing. Routing in IPv6.
  10. WLAN routing, routing in sensors networks.
  11. Resource reservation and QoS.
  12. Protocol engineering.
  13. Formal specification and verification.

Fundamentals seminar

4 hod., optionally

Teacher / Lecturer

Laboratory exercise

2 hod., optionally

Teacher / Lecturer

Syllabus

  • BGP routing.

Project

7 hod., optionally

Teacher / Lecturer