Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Wolf, W.: The future of multiprocessor systems-on-chips. In: Proc. 41st Annual Conference on Design Automation, pp. 681–684 (2004)
Baruah, S., Nathan, F.: The feasibility analysis of multiprocessor real-time systems. In: Proc. EuroMicro Conference on Real-Time Systems, pp. 85–94 (2006)
Kapasi, U.J., et al.: Programmable stream processors. IEEE Computer 36(8) (2003)
Maxiaguine, A., Kunzli, S., Chakraborty, S., Thiele, L.: Rate analysis for streaming applications with on-chip buffer constraints. In: ASP-DAC (2004)
Benini, L., De Micheli, G.: Networks on Chips: A New SoC Paradigm. Computer 35(1), 70–78 (2002)
Yakovlev, A., Furber, S., Krenz, R., Bystrov, A.: Design and Analysis of aSelf-Timed Duplex Communication System. IEEE Transactions on Computers 53(7) (July 2004)
Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Logic Synthesis of Asynchronous ontrollers and Interfaces. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
BingCan, F., PeiZhang, Z., YongQing, F. (2011). Multiple Applications Design and Synthesis for Multiprocessor System. In: Tan, H., Zhou, M. (eds) Advances in Information Technology and Education. Communications in Computer and Information Science, vol 201. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22418-8_59
Download citation
DOI: https://doi.org/10.1007/978-3-642-22418-8_59
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22417-1
Online ISBN: 978-3-642-22418-8
eBook Packages: Computer ScienceComputer Science (R0)