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 MEHRInfrastrukturverifizierung
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 MEHRModellkorrektur
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