AutoTSN

AutoTSN: ein systematischer Ansatz von der ersten Idee bis zum perfekt konfigurierten TSN-Netzwerk

Modellieren
Überprüfung
Terminplanung

Modellkorrektur

Grafische TSN-Modellierung

Die Hauptkomponente ist ein grafisches Modellierungstool, das Netzwerkdesigner und Echtzeitanwendungsentwickler dabei unterstützt, ein umfassendes visuelles Modell des Netzwerks zu erstellen. Ein solches Modell enthält Informationen über die Topologie, Datenflüsse und nicht-funktionale Anforderungen wie Timing-Garantien und nahtlose Redundanz. Die erstellten Netzmodelle werden zur automatisierten Fahrplansynthese und Netzverifikation verwendet.

ERFAHREN SIE MEHR

Infrastrukturverifizierung

Mit einfachen und adäquaten Abfragen kann die Wissensdatenbank auch verwendet werden, um das Modell gegen jede Art von Spezifikationen zu verifizieren, zB um infrastrukturelle Sicherheitsanforderungen (Existenz redundanter getrennter Pfade) zu überprüfen, um Fail-Operational-Fähigkeiten zu unterstützen.

ERFAHREN SIE MEHR

Planung & Konfiguration

AutoTSN wandelt automatisch ein grafisch gestaltetes Netzwerkmodell in eine in Prolog implementierte Wissensdatenbank um. Es hilft bei der effizienten Informationsextraktion, der Generierung von Zeitplanbeschränkungen und der Modelloptimierung, um die Synthesezeit zu reduzieren.

ERFAHREN SIE MEHR

Modellkorrektur

Für konfliktfreie Netzwerkmodelle werden die Konfigurationsparameter berechnet und an die TSN-Switches übermittelt. Bei nicht erfüllbaren Modellen erzeugt ein Ansatz zur Kennzeichnung von Beschränkungen nützliches Feedback für die iterative Modellkorrektur.

ERFAHREN SIE MEHR