Reconfiguration synthesis related parameters for platform architecture
To be implemented as annotation in org.fortiss.af3.platform
- (traced in #4040)MaxLoad: ExecutionUnit ->double \in [0;1] (represents the
timeBudget parameter in the reconfiguration synthesis
formalization)
- Maximum percentage that the sum of the WCETs of all tasks
allocated to an ECU may consume of the LCM of these tasks’
periods.
- The very same load annotation shall also be used for the
deployment constraint requested in #4040
- Check of value bounds: Override
public <U> void setAnnotationValue(U value, T specification) throws Exception
of value provider
To be implemented as annotation in org.fortiss.af3.reconfiguration
- isolated: ExecutionUnit ->Boolean: Flag if the ECU is isolated (i.e., considered defective)
- Task type: Task ->{MASTER, HOT_STANDBY, COLD_STANDBY}: Deployment type of Task [done]
(from redmine: issue id 4047, created on 2020-07-22)
- Relations:
- relates #4040