Constraint Consistency
Rate constraints are specified by and interval within which the rate of execution must lie:
A set of rate constraints that define the constraint intervals Ii for each process pi in a process graph is inconsistent iff
- There exists a SCC, Cj, such that
- or there exists a component Cj for which transitive rate interval