Patent ID: 11943046
Assignee: TTTECH COMPUTERTECHNIK AKTIENGESELLSCHAFT
Field: Digital communication (Electrical engineering)
Classification: CPC H | IPC H

Claim 1:
2. The method according to claim 1, wherein a third feedback loop is provided, according to which in the case that the formal analysis shows that not all constraints are fulfilled, or a new route for the selected communication flow(s) cannot be computed,
wherein said information provided by the third feedback loop relates to one or multiple flows from said set of communication flows, which are selected to be rerouted, whereby the criteria to select said candidate flow(s) is based on at least one of of the following criteria:
at least one of the largest or shortest period, or maximum or minimum size of the communication data of said flow,
an estimation of the effect on the fulfillment of constraints determined by the formal analysis upon rerouting said flow(s),
the largest number of constraints related to said flow(s),
a defined order based on the unique identifier of said flows, or
a random selection of one or multiple flow(s) from the set of communication flows,

wherein, according to said information from the third feedback loop, a route is re-computed for said one or multiple TT flow(s), whereby said recomputed route for said TT flow(s) is a different route than the previous route(s), and the second step is executed again,
wherein the execution of said third feedback loop or said second feedback loop are exclusive to each other and a decision which of said two loops will be executed is based on defined criteria, which defined criteria comprise at least one of:
a defined maximum number of consecutive occurrences of either of the second or third feedback loops,
a defined function choosing each time one of said second or said third feedback loops with a rate proportional to a defined factor of the runtimes of said second and third feedback loops,
a defined function selecting said second or third feedback loop based on an estimation if an effect of rescheduling or rerouting a selected TT flow on the formal analysis for estimating an available time in the schedule of the network component(s) in which the formal analysis failed, or
a random choice.