SW/HW Modelling and Analysis for Multiprocessor Embedded Systems