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](/uploads/1bb3776d0f8ee0252105ef6928d7a8a8/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
issue