Graphical TSN Modeling
The main component is a graphical modeling tool that supports network designers and real-time application developers to build a comprehensive visual model of the network. Such a model contains information about the topology, dataflows, and non-functional requirements such as timing guarantees and seamless redundancy. The created network models are used for automated schedule synthesis and network verification.
LEARN MOREInfrastructural Verification
Using simple and adequate queries, the knowledge base can also be used to verify the model against any type of specifications e.g. to check infrastructural safety requirements (existence of redundant disjoint paths) to support fail-operational capabilities.
LEARN MORE
Scheduling & Configuration
AutoTSN automatically transforms a graphically designed network model into a knowledge base implemented in Prolog. It assists in efficient information extraction, Generation of schedule constraints, and model optimization to reduce synthesis time.
LEARN MOREModel Correction
For conflict-free network models, the configuration parameters are computed and communicated to the TSN switches. For unsatisfiable models, a constraint labeling approach generates useful feedback for iterative model correction.
LEARN MORE