Support minimization of energy consumption (based on frequency setting) in deployment and scheduling synthesis
Currently the minimization of energy consumption in deployment and
schedule synthesis is simply based on the minimization of latency.
By considering also the frequency assigned to a given ECU as a parameter, a more sophisticated objective can be defined.
This will be enabled for schedule synthesis, as well as for joint deployment and schedule synthesis. In both cases, a solution will now also contain an “optimal” frequency value for each ECU, among a set of admissible values provided by the user (we consider that the frequency of an ECU stays fixed along the whole execution).
In computing the energy consumption, we consider that, for a given ECU, at a given instant, it is quadratically related to the frequency of the ECU.
Existing DSML constraints need to be modified to reflect the changes and
new DSML constraints dealing with the frequency need to be introduced.
The feature will be provided for synthesis based on the use of an SMT solver.
(from redmine: issue id 3608, created on 2018-12-28, closed on 2019-08-27)