Search Results

Documents authored by Miodek, Moritz

Artifact
Software
DOI: 10.4230/artifacts.26730
prrt

Authors: Moritz Miodek

Abstract
Cite as

Moritz Miodek. prrt (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@misc{dagstuhl-artifact-26730,
   title = {{prrt}}, 
   author = {Miodek, Moritz},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:d4ef292e34301fb2063467cbd5ea523a35b63bf4}{\texttt{swh:1:dir:d4ef292e34301fb2063467cbd5ea523a35b63bf4}} (visited on 2026-07-02)},
   url = {https://github.com/miodic/prrt/tree/ECRTS26AE},
   doi = {10.4230/artifacts.26730},
}
Artifact
Software
DOI: 10.4230/artifacts.26732
prrt-eval-artifacts

Authors: Moritz Miodek

Abstract
Cite as

Moritz Miodek. prrt-eval-artifacts (Software, Evaluation Artifacts). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@misc{dagstuhl-artifact-26732,
   title = {{prrt-eval-artifacts}}, 
   author = {Miodek, Moritz},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:4aa211a02e8d8f61b01c0b56c4a77685b0fd7ab9}{\texttt{swh:1:dir:4aa211a02e8d8f61b01c0b56c4a77685b0fd7ab9}} (visited on 2026-07-02)},
   url = {https://github.com/miodic/prrt-eval-artifacts/tree/ECRTS26AE},
   doi = {10.4230/artifacts.26732},
}
Document
DOI: 10.4230/LIPIcs.ECRTS.2026.7
Controlling Adaptive HARQ Erasure Coding for Real-Time Transport Under Channel Model Mismatch

Authors: Moritz Miodek, Marlene Böhmer, and Thorsten Herfet

Published in: LIPIcs, Volume 375, 38th European Conference on Real-Time Systems (ECRTS 2026)

Abstract
Networking is an essential component of real-time cyber-physical systems, and hence, networking problems are increasingly real-time problems. As these systems expand beyond single, controlled links, they require predictably reliable end-to-end communication primitives, effectively transferring their deadline constraints to the underlying multi-hop network. Standard transport protocols often optimize either only for latency (e.g., UDP) or for full reliability (e.g., TCP, QUIC), with the latter potentially leading to unbounded retransmission delays. Partial reliability bridges the gap between these extremes, offering configurable reliability within a bounded delay. To remain bandwidth-efficient and robust to dynamic network conditions, these schemes must abandon static forward error correction (FEC) and move toward adaptive loss recovery. A fundamental challenge is the model mismatch problem: real-time adaptive loss recovery schemes require simple, efficiently interpretable models to estimate network conditions, yet these models systematically underfit complex real-world network dynamics. To provide robustness against this inherent underfitting, we present a closed-loop control architecture that applies an adaptive safety margin to the network estimates, ensuring the system meets a deadline-constrained reliability target. We frame this contribution within the Predictably Reliable Real-time Transport protocol (PRRT), which allows applications to configure a loss and deadline constraint. The control system observes the packet delivery deficit (packet debt) to quantify the extent to which the end-to-end packet-loss rate deviates from the application’s target loss rate. A compensated loss rate is then fed into a novel constraint-aware, anytime incremental search algorithm that derives a near-optimal Hybrid Automatic Repeat Request (HARQ) coding configuration that combines the benefits of proactive and reactive packet-loss recovery to satisfy the application’s loss and delay constraints. New to this search is its awareness of the encoding and decoding complexity of the resulting coding configurations. This allows devices to adaptively limit the search space to configurations within their computational capabilities, which is essential for constrained edge devices. We provide a new high-performance Rust reference implementation of PRRT and demonstrate that the system converges towards the target loss rate, even under model mismatch, while also quickly adapting to shifts in network conditions.
Cite as

Moritz Miodek, Marlene Böhmer, and Thorsten Herfet. Controlling Adaptive HARQ Erasure Coding for Real-Time Transport Under Channel Model Mismatch. In 38th European Conference on Real-Time Systems (ECRTS 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 375, pp. 7:1-7:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@InProceedings{miodek_et_al:LIPIcs.ECRTS.2026.7,
  author =	{Miodek, Moritz and B\"{o}hmer, Marlene and Herfet, Thorsten},
  title =	{{Controlling Adaptive HARQ Erasure Coding for Real-Time Transport Under Channel Model Mismatch}},
  booktitle =	{38th European Conference on Real-Time Systems (ECRTS 2026)},
  pages =	{7:1--7:24},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-429-1},
  ISSN =	{1868-8969},
  year =	{2026},
  volume =	{375},
  editor =	{Kritikakou, Angeliki},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2026.7},
  URN =		{urn:nbn:de:0030-drops-265994},
  doi =		{10.4230/LIPIcs.ECRTS.2026.7},
  annote =	{Keywords: Real-time networks, transport protocol, HARQ, adaptive erasure coding, closed-loop control, anytime search, network reliability, model mismatch}
}
Document
Artifact
DOI: 10.4230/DARTS.12.2.5
Controlling Adaptive HARQ Erasure Coding for Real-Time Transport under Channel Model Mismatch (Artifact)

Authors: Moritz Miodek, Marlene Böhmer, and Thorsten Herfet

Published in: DARTS, Volume 12, Issue 2, Special Issue of the 38th European Conference on Real-Time Systems (ECRTS 2026)

Abstract
This artifact contains the source code of the PRRT protocol implementation, and evaluation scripts in the form of Jupyter notebooks to reproduce Figure 2, Figure 3, Figure 4, and Table 2 presented in the paper. The evaluation is split into two parts: evaluating the PRRT network protocol operating over a lossy loopback device (using Linux traffic control), and evaluating the performance aspects of the incremental search in isolation. The artifact contains two repositories, the PRRT protocol implementation, and the evaluation scripts. Running the complete suite of experiments to reproduce all paper results takes approximately 1 hour on the specified hardware. The evaluation is sensitive to the real-time capabilities of the underlying operating system. To faithfully reproduce the results of the paper, we recommend using the existing real-time capabilities of modern Linux kernels, and provide a Docker image to ease the installation process compared to the native setup. We also provide the OVA for cross-platform evaluation purposes, it allows to functionally reproduce the results, but may produce degraded results depending on the host and hypervisor real-time capabilities.
Cite as

Moritz Miodek, Marlene Böhmer, and Thorsten Herfet. Controlling Adaptive HARQ Erasure Coding for Real-Time Transport under Channel Model Mismatch (Artifact). In Special Issue of the 38th European Conference on Real-Time Systems (ECRTS 2026). Dagstuhl Artifacts Series (DARTS), Volume 12, Issue 2, pp. 5:1-5:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@Article{miodek_et_al:DARTS.12.2.5,
  author =	{Miodek, Moritz and B\"{o}hmer, Marlene and Herfet, Thorsten},
  title =	{{Controlling Adaptive HARQ Erasure Coding for Real-Time Transport under Channel Model Mismatch (Artifact)}},
  pages =	{5:1--5:4},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2026},
  volume =	{12},
  number =	{2},
  editor =	{Miodek, Moritz and B\"{o}hmer, Marlene and Herfet, Thorsten},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DARTS.12.2.5},
  URN =		{urn:nbn:de:0030-drops-266220},
  doi =		{10.4230/DARTS.12.2.5},
  annote =	{Keywords: Transport protocol, Real-time systems, Real-time communication, Linux, Rust, Network reliability, adaptive erasure coding, HARQ, closed-loop control, anytime search, model mismatch}
}
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact