Multiple Applications Design and Synthesis for Multiprocessor System

This paper studies the methodologies of system design and analysis, and derives ideas for designing the system on multiprocessor architecture performing parallel video stream processing. Aiming to the limitation of current design tools, we model the Multiple Applications design models by a proposed high level colored time Petri nets. To present the timing constraints of video processing, a concept of ECM (Event Count Model) is proposed for describing the timing character. The whole system is established in a multiple hierarchy Petri net model for simulating the asynchronous and concurrent interactions of system. And the multiple applications are investigated for design the MPSoC architecture and the applications synthesis. A formal co-verification approach with CPN Tools is proposed, and also a multiple applications case is studied for illustration these usages.