FIL3013 Network Calculus 7.5 credits

Nätverkskalkyl

Offering and execution

Course offering missing for current semester as well as for previous and coming semesters

Course information

Content and learning outcomes

Course contents *

The course presents network calculus, which is a fundamental theory for quality-of-service provision and guarantees in communication networks such as ATM and Internet, and its latest application to emerging on-chip communication networks in advanced computing devices and systems.

The course is given in the form of lectures and seminars. It consists of three modules as follows:

Module I: Network Calculus basics and its application to macro-networks (6 Lectures/seminars)

This module introduces the quality-of-service problem and the basic network calculus concepts and results. Then its application to macro-networks such as ATM and Internet is presented.

Module II: Network Calculus applied to micro-networks (4 lectures/seminars)

This module applies the knowledge in Module I, shifting the focus from macro-networks to micro-networks, i.e. networks on chip. At first, on-chip router will be introduced together with xMAS (eXecutable Micro-Architecture Specification), a latest formal communication fabric modeling framework proposed by Intel researchers. Then the NoC quality-of-service analysis methodology will be presented with case studies.

Module III: Advanced topics (2 lectures/seminars)

This module is optional. It presents advanced topics in deterministic network calculus, looking into stochastic network calculus and energy calculus.

The course content is subject to improvement reflecting latest research developments in the area. 

Intended learning outcomes *

After studying the course, the students shall achieve the following learning outcomes:

- Understand the fundamental network calculus concepts and master the main results of network calculus;

- Be able to apply the theory to solve defined analytic problems in finding delay, backlog, and throughput bounds in macro- and micro- networks;

- Be able to apply the concepts and methods to build proper analytical models to analyze the QoS guarantees in communication networks;

- Beyond hand derivation of closed-form formulas, be able to build simulation models in VHDL/Verilog or C++/SystemC to validate the correctness and tightness of the analytic results.

Course Disposition

The course is offered depending on demand, once a year or every other year.

Literature and preparations

Specific prerequisites *

- IL2217 Digital Design using HDL or IL2452 System Design Languages (SystemC/C++)

- IL2226 Embedded Systems Design, or IL2207 SoC Architectures is preferable but not required.

Recommended prerequisites

- IL2217 Digital Design using HDL or IL2452 System Design Languages (SystemC/C++) or a programming course

- IL2226 Embedded Systems Design, or IL2207 SoC Architectures is preferable but not required.

Equipment

No information inserted

Literature

- Jean-Yves Le Boudec, Patrick Thiran, "Network Calculus: A Theory of Deterministic Queuing Systems for the Internet". Lecture Notes in Computer Science, Springer, 2004.

- Rekommenderade forskningsrapporter

Examination and completion

Grading scale *

P, F

Examination *

    Based on recommendation from KTH’s coordinator for disabilities, the examiner will decide how to adapt an examination for students with documented disability.

    The examiner may apply another examination format when re-examining individual students.

    Written examination or project-based/report-based examination.

    Grading scale: Pass/Fail

    Opportunity to complete the requirements via supplementary examination

    No information inserted

    Opportunity to raise an approved grade via renewed examination

    No information inserted

    Examiner

    Zhonghai Lu

    Further information

    Course web

    Further information about the course can be found on the Course web at the link below. Information on the Course web will later be moved to this site.

    Course web FIL3013

    Offered by

    EECS/Electronics and Embedded Systems

    Main field of study *

    No information inserted

    Education cycle *

    Third cycle

    Add-on studies

    No information inserted

    Contact

    Zhonghai Lu

    Ethical approach *

    • All members of a group are responsible for the group's work.
    • In any assessment, every student shall honestly disclose any help received and sources used.
    • In an oral assessment, every student shall be able to present and answer questions about the entire assignment and solution.

    Supplementary information

    A. Course literature

    - Jean-Yves Le Boudec, Patrick Thiran, "Network Calculus: A Theory of Deterministic Queuing Systems for the Internet". Lecture Notes in Computer Science, Springer, 2004.

    - Recommended research  papers

    B. Examination

    Written examination or project-based/report-based examination

    Postgraduate course

    Postgraduate courses at EECS/Electronics and Embedded Systems