distributed computer systems

Uncategorised

Name Place Date
WoNeCa 2020

Cyberspace
Saarbrücken, Germany
October 09, 2020
March 18, 2020
OpenSky Workshop 2019 Zurich, Switzerland November 21/22, 2019
Aircraft Localization Competition Montreal, Canada April 15, 2019
OpenSky Workshop 2018 Frankfurt, Germany November 15/16, 2018
WoNeCa 2018 Erlangen, Germany February 28, 2018
OpenSky Workshop 2017 Kaiserslautern, Germany November 23/24, 2017
OpenSky Workshop 2016 Oxford, United Kingdom November 24/25, 2016
WoNeCa 2016 Münster, Germany April 6, 2016
OpenSky Workshop 2015 Oxford, United Kingdom November 26/27, 2015
WoNeCa 2014 Bamberg, Germany March 19, 2014
WoNeCa 2012 Kaiserslautern, Germany March 21, 2012

 

 

NEWS

Best Presentation Awardee Paul Nikolaus
  • Slides of all presentations are available online (see program for download links)

The network calculus has established as a versatile methodology for the queueing analysis of resource sharing based systems. Its prospect is that it can deal with problems that are fundamentally hard for alternative methodologies, based on the fact that it works with bounds rather than striving for exact solutions. The high modeling power of the network calculus has been transposed into several important applications for network engineering problems, traditionally in the Internet’s Quality of Service proposals IntServ and DiffServ, and more recently in diverse environments such as wireless sensor networks, switched Ethernets, or Systems-on-Chip.

The goal of this workshop is to bring together researchers with an interest in the theory of network calculus as well as those who want to apply existing results in new applications. The workshop will serve to promote the network calculus theory to researchers with an interest in applied queueing models for data communication.

Workshop Organizers

Amr Rizk, TU Darmstadt, GER

Steffen Bondorf, National University of Singapore, SG

Kai-Steffen Jens Hielscher, FAU Erlangen, GER

Markus Fidler, Leibniz University Hannover, GER

Jens Schmitt, TU Kaiserslautern, GER

Workshop Program

09:00 - 09:10 Opening [slides] - Chair: Steffen
09:10 - 11:00  Session 1: "Outside the Box" - Chair: Amr
  Jörg Liebeherr: Applications of the duality of min-plus and max-plus network calculus [slides]
  Sami Akin: A Method for Cross-layer Analysis of Transmit Buffer Delays in Message Index Domain [slides]
  Henrik Schiøler: An example based course curriculum for Performance Evaluation in Distributed Real Time Systems [slides]
  Fabien Geyer: Deterministic Network Calculus Analysis of Multicast Flows [slides]
11:00 - 11:20 Coffee Break
11:20 - 12:35 Session 2: "Wireless Networks" - Chair: Markus
  Fengyou Sun: A Statistical Property of Wireless Channel Capacity [slides]
  Jaya Prakash Champati: Transient Analysis for Wireless Networks [slides]
  Neda Petreska: Algorithms for Optimal Power Allocation of Wireless Multi-Hop Heterogeneous Networks under Statistical Delay Constraints [slides]
12:35 - 13:30 Lunch Break
13:30 - 15:05 Session 3: "Output Bounds and Shaping" - Chair: Steffen
  (MMB Paper Presentation) Steffen Bondorf, Paul Nikolaus, Jens Schmitt: Catching Corner Cases in Network Calculus – Flow Segregation Can Improve Accuracy [slides]
  Paul Nikolaus: Improving Output Bounds in the Stochastic Network Calculus Using Lyapunov’s Inequality [Best Presentation; slides]
  Jean-Yves Le Boudec: FIFO systems with interleaved regulators [slides]
15:05 - 15:30 Coffee Break
15:30 - 16:45 Session 4: "DNC Applications" - Chair: Kai-Steffen
  Marc Boyer: Computing Routes and Delay Bounds for the Network-on-Chip of the Kalray MPPA2 Processor [slides]
  Ahlem Mifdaoui: Buffer-Aware Worst-Case Timing Analysis of Wormhole NoCs Using Network Calculus [slides]
  Amaury Van Bemten: DetServ: Network Models for Real-Time QoS Provisioning in SDN-based Industrial Environments [slides]
16:45 - 17:00 Best Presentation Award and Closing - Chair: Amr

Call for Presentations

The idea is to have an informal meeting with presentations of recent work in the context of network calculus (theory, applications, tool support) and gather as many network calculus experts as possible to discuss about the future development of the theory and its application opportunities. Hence, there are no written papers and everyone can present his/her "hottest" recent research on network calculus.

If you like to present then please send an email to This email address is being protected from spambots. You need JavaScript enabled to view it. and This email address is being protected from spambots. You need JavaScript enabled to view it. and This email address is being protected from spambots. You need JavaScript enabled to view it. with the following content

  • the title of your presentation,
  • a short abstract (max 200 words), and
  • the name of the presenter.

In case of contention, presentations will be selected based on novelty and topical coherence.

Best Presentation Award

As in the previous edition, participants democratically elected the best presentation.

This year's award goes to Paul Nikolaus [talkslides]. Congratulations!

Amr Rizk presenting the award to Paul Nikolaus

Important Dates

Submission of presentation title and abstract: January 11, 2018 (passed)

Notification of invitation for presentation: January 18, 2018 (passed)

Workshop date: February 28, 2018 (passed) 

Workshop Registration (passed)

The workshop is integrated into the MMB 2018 conference and we suggest to also take registering to this event into consideration, but a WoNeCa-only registration is also possible here.

Topics of Interest

The topics of this workshop are related to fundamental aspects as well as applications of network calculus. The following list of topics is non-exclusive:

Deterministic and stochastic network calculus, e.g.

  • traffic and service models
  • general topologies
  • numerical tightness

Relation to other theories, e.g.,

  • queueing theory
  • discrete event dynamic systems
  • optimization

Feedback systems, e.g.,

  • TCP network calculus
  • window flow control
  • retransmission-based systems

Loss systems, e.g.,

  • bounded queues
  • wireless links

Aggregate multiplexing, e.g.,

  • optimization-based approaches
  • efficient algorithms
  • stochastic case

Tool support, e.g.,

  • numerical problems
  • numerical approximations
  • implementation experience

Data transformation, e.g.,

  • end-to-end analysis
  • in-network processing
  • network coding

 

New applications, e.g.,

  • 5G
  • mobile edge cloud
  • tactile internet
  • cache networks
  • real-time calculus

 

  • avionic networks
  • mission-critical networks
  • the power grid
  • wireless sensor networks
  • cyber-physical systems

[WoNeCa-5] Virtual Event on 09 October 2020

News

Best Presentation Awardee Paul Nikolaus
  • Slides of all presentations are starting to become available online

The Workshop

The network calculus has established as a versatile methodology for the queueing analysis of resource sharing based systems. Its prospect is that it can deal with problems that are fundamentally hard for alternative methodologies, based on the fact that it works with bounds rather than striving for exact solutions. The high modeling power of the network calculus has been transposed into several important applications for network engineering problems, traditionally in the Internet’s Quality of Service proposals IntServ and DiffServ, and more recently in diverse environments such as wireless sensor networks, switched Ethernets, or Systems-on-Chip.

The goal of this workshop is to bring together researchers with an interest in the theory of network calculus as well as those who want to apply existing results in new applications. The workshop will serve to promote the network calculus theory to researchers with an interest in applied queueing models for data communication.

Schedule (all times given in Central European Summer Time, UTC+02:00)

08:35-08:45 Opening
08:45-10:25 Session 1: TSN
  Luxi Zhao (TUM): Using Network Calculus to Improve End-to-End Latency Upper Bound of Multiple Classes of AVB Traffic in TSN Networks
  Lisa Maile (FAU): An Introduction to Network Calculus Results for Time-Sensitive Networks [slides] [video]
  Ludovic Thomas (EPFL): On Time Synchronization Issues in Time-Sensitive Networks with Regulators and Nonideal Clocks [slides]
  Jonathan Falk (U Stuttgart): Network Calculus for systems with time-triggered service intermittence
10:25-10:40 Coffee Break
10:40-11:55 Session 2: Bounds and Networks I
  Jiayi Zhang (Huawei): Using Network Calculus in High Quality IP Network [slides]
  Hao Wang (Dalian UT): Data Center Network Calculus
  Anne Bouillard (Huawei): Trade-off between accuracy and tractability of network calculus in FIFO networks [slides]
11:55-13:00 Lunch Break
13:00-14:15 Session 3: Bounds and Networks II
  Ehsan Mohammadpour (EPFL): Improved Delay Bound for a Service Curve Element with Known Transmission Rate
  Raffaele Zippo (uniPi): Algebraic transformations for network paths with hop-by-hop flow control [slides] [video]
  Isaac Howenstine (Lehigh U): Converting Non-feedforward Networks to Feedforward for Network Calculus
14:15-14:25 Coffee Break
14:25-15:15 Session 4: Deterministic Modeling and Analysis
  Georg Carle (TUM): Measurement-based Network Calculus Modelling of Programmable Network Components implemented in P4
  Marc Boyer (ONERA): Formalization of relations between cumulative curves and event streams: from network calculus to CPA, and back [slides] [video, zip download]
15:15-15:20 Short Break
15:20-16:35 Session 5: Schedulers & SNC
  Jörg Liebeherr (U of T): Hierarchical Fair Scheduling: A Reality Check [slides] [video]
  Seyed Mohammadhossein Tabatabaee (EPFL): Interleaved Weighted Round Robin: a tight, strict residual service curve [slides] [video]
  Paul Nikolaus (TUK): Dealing with Dependence in Stochastic Network Calculus -- Using Independence as a Bound [slides]
16:35-16:45 Coffee Break
16:45-18:25 Session 6: SNC & Wireless
  Jaya Prakash Varma Champati (KTH): Statistical Guarantee Optimization for AoI in Single-Hop and Two-Hop Systems with Periodic Arrivals [slides] [video]
  Sami Akin (U Hannover): On the energy and data storage management in energy harvesting wireless communications
  Orangel Azuaje Contreras (U Porto): Delay Guarantees of a Realistic WiFi-based First Responder Ad-Hoc Network
  Florin Ciucu (U Warwick): Two Extensions of Kingman's GI/G/1 Bound [slides]
18:25-18:35 Closing & Best presentation Award

Virtual Event Instructions

We will conduct the virtual event via Zoom. The meeting invitation been sent on October 07. If you have not received the link, please contact Amr (This email address is being protected from spambots. You need JavaScript enabled to view it.).

While we plan to have live presentations using Zoom's screen sharing feature, we also ask presenters to provide a recording to be played in case of technical problems. All presenters should have received an email by Amr with instructions and the upload link. If you have not received an email, please contact Amr (This email address is being protected from spambots. You need JavaScript enabled to view it.).

The best presentation will be awarded with a price! Voting will be anonymous and will take place during the closing session.

Workshop Organizers

Steffen Bondorf, Ruhr University Bochum, GER

Amr Rizk, Ulm University, GER

Markus Fidler, Leibniz University Hannover, GER

Jens Schmitt, TU Kaiserslautern, GER

Call for Presentations

The idea is to have an informal meeting with presentations of recent work in the context of network calculus (theory, applications, tool support) and gather as many network calculus experts as possible to discuss about the future development of the theory and its application opportunities. Hence, there are no written papers and everyone can present his/her "hottest" recent research on network calculus.

If you like to present then please send the title of your presentation and
the name of the presenter in an email to

This email address is being protected from spambots. You need JavaScript enabled to view it. AND
This email address is being protected from spambots. You need JavaScript enabled to view it.

In case of contention, presentations will be selected based on topical coherence.

Important Dates

Submission of presentation title and abstract: December 18, 2019 January 14, 2020 (extended, passed)

Notification of invitation for presentation: January 17, 2020 January 19, 2020 (extended, passed)

Workshop date: March 18, 2020 March 18 and 19, 2020 (extended)

 

Topics of Interest

The topics of this workshop are related to fundamental aspects as well as applications of network calculus. The following list of topics is non-exclusive:

Deterministic and stochastic network calculus, e.g.

  • traffic and service models
  • general topologies
  • numerical tightness

Relation to other theories, e.g.,

  • queueing theory
  • discrete event dynamic systems
  • optimization

Feedback systems, e.g.,

  • TCP network calculus
  • window flow control
  • retransmission-based systems

Loss systems, e.g.,

  • bounded queues
  • wireless links

Aggregate multiplexing, e.g.,

  • optimization-based approaches
  • efficient algorithms
  • stochastic case

Tool support, e.g.,

  • numerical problems
  • numerical approximations
  • implementation experience

Data transformation, e.g.,

  • end-to-end analysis
  • in-network processing
  • network coding

 

New applications, e.g.,

  • TSN, DetNet and 5G
  • energy storage
  • tactile internet
  • cache networks
  • real-time calculus

 

  • avionic networks
  • mission-critical networks
  • the power grid
  • wireless sensor networks
  • cyber-physical systems

 

[WoNeCa-5] Cancelled physical event in Saarbrücken (collocated with MMB 2020)

Dear network calculus community,

In face of the outbreak of the coronavirus in Europe, we will have to cancel the current WoNeCa workshop dates. Safety and health of our participants is our highest concern. We plan to postpone WoNeCa-5 to safer times, potentially later this year. We are very sorry that we cannot meet as soon as planned and we will keep you up to date.

Please also note announcements of the MMB 2020 conference that intended to host our workshop: MMB 2020.

Best regards,
Amr, Steffen, Markus and Jens

Registration

The workshop will integrated into the MMB 2020 conference. Registration details are available here.
Note the early registration deadline: March 01.

Programm

Slot for every talk is 25 min = 20min talk + 5min Q&A

Wednesday, March 18

08:30-09:00 Workshop Registration
09:00-10:00

WoNeCa Keynote by François Baccelli on Interference Networks [Abstract] (Keynote is held together with MMB)

10:00-10:30 Coffee Break
10:30-12:35 Session 1: Bounds and Networks
  Anne Bouillard: Stability and performance bounds in cyclic networks
  Isaac Howenstine: Converting Non-feedforward Networks to Feedforward for Network Calculus
  Ehsan Mohammadpour: Improved Delay Bound for a Service Curve Element with Known Transmission Rate
  Raffaele Zippo: Algebraic transformations for network paths with hop-by-hop flow control
  Jiayi Zhang: Using Network Calculus in High Quality IP Network
12:35-14:00 Lunch
14:00-15:45 Session 2: TSN
  Luxi Zhao: Using Network Calculus to Improve End-to-End Latency Upper Bound of Multiple Classes of AVB Traffic in TSN Networks
  Lisa Maile: Shaper and Maximum Service Curves for TSN
  Ludovic Thomas: On Cyclic Dependencies and Regulators in Time-Sensitive Networks
  Jonathan Falk: Network Calculus for systems with time-triggered service intermittence
15:45-16:15 Coffee Break
16:15-17:35 Session 3: Stochastic Modeling and Analysis
  Florin Ciucu: Two Extensions of Kingman's GI/G/1 Bound (updated)
  Jaya Prakash Varma Champati: Statistical Guarantee Optimization for AoI in Single-Hop and Two-Hop Systems with Periodic Arrivals
  Paul Kühn: Performance Modeling of Generalized Fork-Join Problems by Task Graph Reductions
19:00 -
open end
WoNeCa Social Event at manin restaurant [www] [map]

Thursday, March 19

09:00-10:45 Session 6: Schedulers & SNC
  Jörg Liebeherr: Hierarchical Fair Scheduling: A Reality Check
  Seyed Mohammadhossein Tabatabaee: Interleaved Weighted Round Robin: a tight, strict residual service curve
  Paul Nikolaus: Dealing with Dependence in Stochastic Network Calculus - Using Independence as a Bound
  Hao Wang: Data Center Network Calculus
10:45-11:15  Coffee Break
11:15-12:05 Deterministic Modeling and Analysis
  Georg Carle: Measurement-based Network Calculus Modelling of Programmable Network Components implemented in P4
  Marc Boyer: Formalization of relations between cumulative curves and event streams: from network calculus to CPA, and back
12:05-13:30 Lunch
13:30-14:45 Session 5: Wireless
  Sami Akin: On the energy and data storage management in energy harvesting wireless communications
  Orangel Azuaje Contreras: Delay Guarantees of a Realistic WiFi-based First Responder Ad-Hoc Network
  Qiao Li: Network Calculus based Analysis on Traffic Scheduling at a WAIC Gateway Accessing through Fading Channels
14:45-15:00 Closing Session & Best presentation award

Keynote Abstract

François Baccelli - Interference Networks

This talk features networks of coupled processor sharing queues in the Euclidean space,
where customers arrive according to independent Poisson point processes at every queue,
are served, and then leave the network. The coupling is through service rates.
In any given queue, this rate is inversely proportional the interference seen by this queue,
which is determined by the load in neighboring queues, attenuated by some distance-based path-loss function.

The model is a discrete version of a spatial birth and death process where customers
arrive to the Euclidean space according to Poisson rain and leave it when they
have transferred an exponential file, assuming that the instantaneous rate of each transfer is
determined through information theory by the signal to interference and noise ratio experienced by the user.

The discrete and the continuous models will be discussed, both in finite and infinite domains.
The stability condition is identified. The minimal stationary regime is built
using coupling from the past techniques.

The mean queue size of this minimal stationary regime is determined in closed form using
the rate conservation principle of Palm calculus. Some bounds on the tail of latency
will be discussed.

In infinite domains, when the stability condition holds, for all bounded initial conditions,
there is weak convergence to this minimal stationary regime; however, there exist
initial conditions for which all queue sizes converge to infinity.

Joint work with S. Foss and A. Sankararaman

University of Kaiserslautern

Write your thesis with a disco advisor

We offer a variety of bachelor and master theses at any point in the academic year. Also check out some of our completed theses. Read more...

Go to top