NUTS: Network Updates in Real Time Systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2019

NUTS: Network Updates in Real Time Systems


Factories need to adapt their communication networks to versatile customer-driven markets. Software defined networking enables a programmatic approach that provides modularity, flexibility and paves the road for behavior certification. Previous works proposed rigorous programming languages and abstractions offering safety properties and verification in best-effort environments. In this work, we propose an approach to provide live update of network elements behavior while respecting real-time constraints. During the network updates, the traffic can be deviated to devices not involved in the desired upgrade ensuring that communication invariant and software requirements are always taken into account. We leverage Temporal NetKAT to write network wide programs and P4 annotations to give indications on the impact of the implementation on deterministic real-time communications passing through network appliances.
Fichier principal
Vignette du fichier
nuts_sosr.pdf (365.88 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02427489 , version 1 (07-01-2020)


  • HAL Id : hal-02427489 , version 1


Saif Un Noor Prottoy, Damien Saucez, Walid Dabbous. NUTS: Network Updates in Real Time Systems. ACM SOSR 2019 - Symposium on SDN Research, Apr 2019, San Jose, United States. ⟨hal-02427489⟩
91 View
78 Download


Gmail Facebook X LinkedIn More