A service based component model for composing and exploring MPSoC platforms

This paper presents an abstract service based modelling method for use in performance estimation and design space exploration of multi processor system on chip (MPSoC) based systems. The method provides the infrastructure for composing abstract hardware and software models of stream based systems which can be used to produce detailed quantitative information regarding runtime properties of a given system through simulations. The method is based on a service oriented model of computation which is a modified version of hierarchical coloured Petri Nets.