Abstract
Embedded system designers are faced with an expanding array of challenges in both application and architecture design. One challenge is the task of modelling heterogeneous concurrent applications. Another is the task of finding a programming model for heterogeneous multiprocessor architectural platforms. Compounding each of these challenges is the task of implementing heterogeneous applications on heterogeneous architectures. We believe that the key problem underlying each of these challenges is the modelling of concurrency, and the key to modelling concurrency is to capture concurrent communication formally in models of computation. This chapter broadly outlines a disciplined approach to the design and implementation of communication structures in embedded applications. Our approach combines the Network-on-Chip paradigm with the models of computation paradigm. We use models of computation to capture the communication requirements of an application as well as to abstract the capabilities of a communication architecture. Then, application requirements and architectural capabilities are matched using a discipline based on Network-on-Chip principles. In this chapter we describe this approach and present a case study where a Click network routing application is implemented on a multiprocessor architecture using this discipline.
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
E. Kohler et al. The Click Modular Router. ACM Transactions on Computer Systems. 18(3), pg. 263–297, August 2000.
The MathWorks, Inc. SIMULINK User’s Guide. 1993.
E.A. de Kock et al. YAPI: Application Modeling for Signal Processing Systems. Proc. of the Design Automation Conference. June 2000.
G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming. 19(2), 1992.
D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming. 8(3), pg. 231–274, 1987.
K. Keutzer, S. Malik et al. System-level design: orthogonalization of concerns and platform-based design. IEEE Transactions on CAD. vol. 19, pg. 1523–1543. 2000.
N. Shah. Understanding Network Processors. Master’s Thesis, Dept. of Electrical Engineering and Computer Science, Univ. of California, Berkeley. 2001.
Intel Corporation. IXP1200 Network Processor Datasheet.
G. Kahn. The semantics of a simple language for parallel programming. Proc. of IFIP Congress. August 1974.
E. A. Lee. Computing for Embedded Systems. IEEE Instrumentation and Measurement Technology Conference. May 2001.
B. Kienhuis, E. Deprettere et al. A Methodology to Design Programmable Embedded Systems. In LNCS series of Springer-Verlag, Volume 2268, SAMOS: Systems, Architectures, Modelling and Simulation. Eds. F. Deprettere et al. November 2001.
J. Davis, R. Galicia et al. Ptolemy II: Heterogeneous Concurrent Modeling and Design in Java. Technical Report UCB/ERL No. M99/40, University of California, Berkeley. 1999.
A. Mihal, C. Kulkarni et al. A Disciplined Approach to the Development of Architectural Platforms. IEEE Design and Test of Computers. November/December 2002.
C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall International Series in Computer Science. 1985.
M. Sgroi, M. Sheets et al. Addressing the System-on-a-Chip Interconnect Woes Through Communication-Based Design. Proc. of the Design Automation Conference. pages 667–672, June 2001.
E. A. Lee and Y. Xiong. System-Level Types for Component-Based Design. First Workshop on Embedded Software, EMSOFT2001. October 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Kluwer Academic Publishers
About this chapter
Cite this chapter
Mihal, A., Keutzer, K. (2003). Mapping Concurrent Applications onto Architectural Platforms. In: Jantsch, A., Tenhunen, H. (eds) Networks on Chip. Springer, Boston, MA. https://doi.org/10.1007/0-306-48727-6_3
Download citation
DOI: https://doi.org/10.1007/0-306-48727-6_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-7392-2
Online ISBN: 978-0-306-48727-9
eBook Packages: Springer Book Archive