Constraint based methods for allocation and scheduling of periodic applications AI Group UNIBO Embedded System Design