Project

General

Profile

Change Request #3655

(Deployment + ) Schedule synthesis does not support real numbers as WCETs

Added by Marco Volpe over 1 year ago. Updated about 1 month ago.

Status:
Rejected
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
02/27/2019
Due date:
% Done:

0%

Estimated time:

Description

Currently, (Deployment + ) Schedule synthesis only works when WCETs are expressed as integer values.

One can test with the enclosed models.
WcetTest leads to a "Problem not solvable" warning when Deployment+Schedule synthesis is launched.
WcetTest2, where WCETs are replaced with integer values, works fine.

WcetTest2.af3_23 (35.5 KB) WcetTest2.af3_23 Marco Volpe, 02/27/2019 12:08 PM
WcetTest.af3_23 (35.5 KB) WcetTest.af3_23 Marco Volpe, 02/27/2019 12:08 PM

History

#1 Updated by Johannes Eder over 1 year ago

  • Target version changed from AF3 2.15 RC1 (Feature Freeze) to AF3 2.16 RC1 (Feature Freeze)

#2 Updated by Johannes Eder over 1 year ago

  • Target version changed from AF3 2.16 RC1 (Feature Freeze) to AF3 2.16 RC2 (Tested, Bug-free)

#3 Updated by Simon Barner 12 months ago

  • Tracker changed from Bug to Change Request

#4 Updated by Marco Volpe 12 months ago

  • Target version changed from AF3 2.16 RC2 (Tested, Bug-free) to AF3 2.17 (Tested, Bug Free)

#5 Updated by Alexander Diewald 12 months ago

  • Target version changed from AF3 2.17 (Tested, Bug Free) to AF3 2.17 (Feature Freeze)

#6 Updated by Alexander Diewald 8 months ago

  • Status changed from New to Feedback

Resolved already, or still relevant?

#7 Updated by Marco Volpe 7 months ago

  • Target version changed from AF3 2.17 (Feature Freeze) to Backlog

Still relevant.

#8 Updated by Marco Volpe about 2 months ago

  • Assignee changed from Marco Volpe to Johannes Eder

#9 Updated by Johannes Eder about 1 month ago

  • Status changed from Feedback to Rejected
  • Assignee deleted (Johannes Eder)

Reals are supported since #4052.

Also available in: Atom PDF