Model Correction

No Valid Configuration Found?!
We help you to find one!

Designed network models are not always error-free. The modeled streams which have to be scheduled can be infeasible. It is significantly helpful for the designers to be able to localize and backtrace the origin of the infeasibility to find a solution. Backtracing of infeasibility gets even more important if different engineers work simultaneously on different parts of the same network model. The faster the design error is localized, the shorter is the application development time.

Constraint Labeling

The localization of the problem can be achieved by the analysis of the labels pointing to hardware and application segments in the network. For the backtracing of design errors, we developed a constraint-labeling solution. While building the scheduling constraints in the system, they are labeled with additional and helpful information from the model covering topology, applications, the meaning of the constraints, etc.