(Deployment + ) Schedule synthesis does not support real numbers as WCETs
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.
(from redmine: issue id 3655, created on 2019-02-27, closed on 2020-08-10)
- Uploads: