AutoTSN

AutoTSN: a systematic approach from initial ideas to a perfectly configured TSN network

Modeling
Verification
Scheduling

Model Correction

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 MORE

Infrastructural 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 MORE

Model 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