Allow selecting multiple tasks in the AllocationPattern
Limitation.
Currently, the allocation Pattern editor is only able to define a single task to multiple ECUs (OR relation). The construction code of the corresponding constraint is already able to handle multiple tasks (Set) where the task set is the first expression in the form of a ForAll statement.
Proposed change.
Allow the user to select multiple tasks, since the backend code is ready and the expression is sound in terms of the DSML. Also, the UX is improved since task groups may be defined that have the same limitations w.r.t. their mapping targets.
(from redmine: issue id 3575, created on 2018-11-13, closed on 2018-11-14)
- Uploads: