Modeling of processor frequencies
- To model processors with multiple clock rates, the
org.fortiss.af3.platform.model.annotation.Frequency
annotation should be turned into an array. - This requires to develop and integrate an editor for arrays of
String-editable EAttributes into
EditingSupportFactory.createEditingSupport4EStructuralFeatureValueProviderBase
. - The attachment already provides the required support in
EStructuralFeatureValueProviderBase
.
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)