Hardware-validated performance and power modelling of heterogeneous multi-processing architectures