Distributed systems are omnipresent nowadays and networking them is fundamental for the continuous dissemination and thus availability of data.
Provision of data in real- time is one of the most important non-functional aspects that safety-critical networks must guarantee.
Formal verification of data communication against worst-case deadline requirements is key to certification of emerging x-by-wire systems.
Verification allows aircraft to take off, cars to steer by wire, and safety-critical industrial facilities to operate.
Therefore, different methodologies for worst-case modeling and analysis of real-time systems have been established.
Among them is deterministic Network Calculus (NC), a versatile technique that is applicable across multiple domains such as packet switching, task scheduling, system on chip, software-defined networking, data center networking and network virtualization.
NC is a methodology to derive deterministic bounds on two crucial performance metrics of communication systems:
(a) the end-to-end delay data flows experience and
(b) the buffer space required by a server to queue all incoming data.
(Text source: [bib])
- Language of Instruction: English
- Lecturer: Prof. Dr.-Ing. Steffen Bondorf
- Course credits: 5 CP
- Class hours:
- Starting from April 25: Mondays 10:15am to 11:45am, in MC 1/54.
- Class / Exercise hours:
- Starting from May 17, there will be two weekly appointments with equal content (lecture or exercise, TBA in due time)
- Tuesdays, 12:15pm to 1pm, in MC 1/30+31
- Tuesdays, 2:15pm to 3pm, in MC 1/54
- Jean-Yves Le Boudec and Patrick Thiran. Network Calculus. Springer, 2001. (PDF @author)
- Cheng-Shang Chang, Performance Guarantees in Communication Networks. Springer, 2000.
- Jörg Liebeherr. Duality of the Max-Plus and Min-Plus Network Calculus. Foundation and Trends in Networking, 2017. (PDF @author)