DSE Deployment(+Schedule) Synthesis with resource specific WCET
Currently, deployments and the joint deployment+scheduling synthesis considers only the generic, execution unit independent WCET (duration).
However, in the Task-To-Execution Table a specific WCET for each task to
execution unit allocation can be given.
The DSE deployment and the deployment+scheduling synthesis should be
extented such that either the generic or (resource) specific WCET values
may be used for synthesis.
(from redmine: issue id 3310, created on 2018-03-05, closed on 2019-12-10)