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)
- Uploads:
- AF3-Project-NonHiera.af3_23 Model with flat platform
- AF3-Project.af3_23 Model with hierarchical platform