Adapt scheduling constraints to take advantage of alternative routes
Currently the SMT constraints for the schedule synthesis rely on a fixed allocation of Signals to Routes. While this allocation has been trivial under the assumption that each pair of communication ECUs is connected by one route only, #3768 defines multiple alternative shortest routes.
As of now, if there are more than one shortest paths between two communicating ECUs, the respective signal is randomly assigned to one of the available routes in
org.fortiss.af3.exploration.smt.util.AllocationToSchedule.createSignals(SystemSchedule, Task, SuperSet<TaskToExecutionUnitAllocationEntry>, SuperSet<Route>, Map<Route, SignalToRouteAllocationEntry>). Hence, in order to take advantage of alternative routes when generating a schedule, the generation of constraints has to be adapted such that the allocation of signals to routes is not fixed beforehand, but is left to the solver.