Project

General

Profile

Feature #3769

Adapt scheduling constraints to take advantage of alternative routes

Added by Tiziano Munaro about 1 year ago. Updated 8 months ago.

Status:
New
Priority:
Normal
Category:
SMT
Target version:
Start date:
07/09/2019
Due date:
% Done:

0%

Estimated time:

Description

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.

AF3-Project.af3_23 (22.7 KB) AF3-Project.af3_23 Minimal AF3 project for testing Tiziano Munaro, 07/09/2019 05:11 PM

History

#1 Updated by Tiziano Munaro about 1 year ago

  • Target version changed from AF3 2.16 RC1 (Feature Freeze) to AF3 2.17 (Feature Freeze)

#2 Updated by Alexander Diewald 8 months ago

  • Target version changed from AF3 2.17 (Feature Freeze) to Backlog

Also available in: Atom PDF