NUTS: Network Updates in Real Time Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

NUTS: Network Updates in Real Time Systems

Résumé

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.

Mots clés

Fichier principal
Vignette du fichier
nuts_sosr.pdf (365.88 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-02427489 , version 1

Citer

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⟩
89 Consultations
76 Téléchargements

Partager

Gmail Facebook X LinkedIn More