Modeling of processor frequencies
- To model processors with multiple clock rates, the
org.fortiss.af3.platform.model.annotation.Frequencyannotation should be turned into an array.
- This requires to develop and integrate an editor for arrays of
String-editable EAttributes into
- The attachment already provides the required support in
In addition to that, an API should be provided to query frequency-dependent WCETs for a given (task, execution unit) pair.
(from redmine: issue id 3267, created on 2018-02-05, closed on 2019-01-24)