Time-Sensitive Networking (TSN) standards address hard timing requirements of Ethernet-based distributed applications. The traffic planning and verification of these networks require advanced expertise and are time-consuming. In this thesis, a modeling approach is presented based on logic programing to facilitate network scheduling and infrastructural verification and to enable tracing of design errors.
Übersetzte Kurzfassung:
Time-Sensitive Networking (TSN) Standards adressieren harte Echtzeitanforderungen der Ethernet-basierten verteilten Anwendungen. Die Planung und Verifikation dieser Netzwerke sind zeitintensiv und verlangen fortgeschrittene Fachkenntnisse. Diese Arbeit präsentiert einen Modellierungsansatz basierend auf logischer Programmierung mit dem Ziel, die Netzwerkplanung und infrastrukturelle Verifikation zu unterstützen und die Nachverfolgung der Entwurfsfehler zu ermöglichen.