Commit aa3ff3e0 authored by Tiziano Munaro's avatar Tiziano Munaro
Browse files

Add rounding mode to the calculation of the frequency scaling factor

Issue-Ref: 3826

Signed-off-by: Tiziano Munaro's avatarTiziano Munaro <>
parent 9c3737ec
......@@ -10,4 +10,4 @@ b646b9201432074bec0a1b0c408255b982474b32 GREEN 0ac11438943e72798330e76caff50782d1970cb4 GREEN ed6b5d4e28a2f445d71890b5e5718717b8457796 GREEN 34ea0a9a476bb2527cf0114871073ce25c0df09c GREEN e15f883abb1c47dd189916c947869cffe20d9472 GREEN 29fee598be4cda0dff1897c512e6d161ceb7e15d YELLOW
......@@ -20,6 +20,7 @@ import static org.fortiss.tooling.base.utils.AnnotationUtils.getAnnotation;
import static org.fortiss.tooling.kernel.utils.EcoreUtils.convertList;
import java.math.BigDecimal;
import java.math.RoundingMode;
import org.eclipse.emf.common.util.EList;
import org.fortiss.af3.platform.model.ExecutionUnit;
......@@ -67,7 +68,8 @@ public class TaskWcetTableStaticImpl {
return null;
// Scale WCET to provided frequency (relative to base frequency)
return (wcet.multiply(valueOf(baseFrequency))).divide(valueOf(frequency));
return (wcet.multiply(valueOf(baseFrequency))).divide(valueOf(frequency),
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment