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 (closed) 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.
(from redmine: issue id 3769, created on 2019-07-09)
- AF3-Project.af3_23 Minimal AF3 project for testing