ASIL decomposition constraint for deployment synthesis
Create a constraint for ASIL decomposition. Users can apply the ASIL decomposition (according to ISO 26262) constraint to fulfill relaxed safety (ASIL) requirements and allow arbitrary deployment of specified tasks as long as their ASIL sum is equal or greater than specified ASIL (e.g., ASIL D = ASIL A + ASIL C = ASIL B + ASIL B). After ASIL decomposition, the ASIL allocation constraints are applied for the specified tasks.
This constraint is already partially implemented for another project (see #4236 and #4222) considering safety pattern synthesis. It should be generalized and integrated into AF3 DSE.