Multicore processors are increasingly used in mechatronic applications and need to endorse the realtime requirements of the related embedded software. In spite of their huge processing power, certain operational conditions may arise in which they show longer software execution times than reasonably expected. In this project, we will elaborate software timing analysis techniques which will lead to better configurations of multicore platforms with respect to the software execution time and more specifically to the unexpected outliers mentioned above. To this purpose, we will propose a modelling language that will allow for a formal description of the timing properties of real-time embedded multicore software. This modelling language will enable formal methods for schedulability analysis and design space exploration methods, such that timing outliers can be eliminated by suggesting alternative configurations for the multicore platform.