Abstract: Modern embedded systems are typically based on a parallel heterogeneous HW/SW architecture, so they are very complex to be designed given the considerable number of variables to be ...