Deployment + Schedule synthesis for partial WCET specification
Currently, the (deployment +) schedule synthesis assumes that for all tasks, a WCET is provided for all executions (or alternatively, a generic, not ECU-specific WCET)
Steps to reproduce:
- Import attached variant of the ACC example into AF3 and DSE perspective: ACC-4171.af3_23
- Go to Synthesis pane and start a Deployment and Scheduling synthesis
- Observe a NPE since the WCET is not provided all (task, ecu) pairs
Moreover, it is currently not possible to configure an objective rule set for the deployment+schedule synthesis: the Create Rule Set button is grayed out for the Schedule Span Minimization exploration target
Edited by Simon Barner