Abstract
The use of heterogeneous architectures in embedded systems together with the increasing complexities of hardware and software, the increased pressure to deliver full-featured products with reduced time-to-market, and the fact that more embedded systems are using dedicated hardware components (ASIC) and software running on processors is more and more increasing the complexity of designing embedded systems. This ongoing increase in complexities can be overcome with the proper usage of high-level system design techniques such as System Level Design tools and methodologies. In System Level Design, specification languages are used to build high level models of the entire system, to allow fast design space exploration. Models of Computations (MoC) are used as the underlying formal representation of a system. This article specifically investigates the specification and modeling of the computation process used in the co-design approach and its activities. Popular models of computations are presented and compared. Various specification languages for designing embedded are described and compared.
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
Notes
- 1.
Application Specific Instruction-Set Processor.
- 2.
A graph where the set of vertices can be divided into two disjoint sets. U and V such that no edge has both end-points in the same set.
References
De Michell, G., Gupta, R.K.: Hardware/software co-design. Proc. IEEE 85(3), 349–365 (1997)
Vahid, F., Givargis, T.: Embedded System Design: A Unified Hardware/Software Introduction. Wiley, Hoboken, NJ, (2002)
Niemann, R.: Hardware/Software Co-Design for Data Flow Dominated Embedded Systems. Kluwer, Boston, MA (1998)
Domer, R.: System-level modeling and design with the SpecC language. Ph. D. Dissertation, Department of Computer Science, University of Dortmund, Dortmund, Germany (2000)
Dömer, R., Gajski, D., Zhu, J.: Specification and design of embedded systems. it + ti Magazine (3). Oldenbourg Verlag, Munich, Germany (June 1998)
O’Nils, M.: Specification, synthesis and validation of hardware/software interfaces. Doctoral thesis, Department of Electronics, Royal Institute of technology, Stockholm (1999)
Cai, L.: Estimation and exploration automation of system level design. Ph.D. dissertation, Department of Information and Computer Science, University of California, Irvine, CA (2004)
Keutzer, K., Malik, S., Newton, A.R., Rabaey, J.M., Sangiovanni-Vincentelli, A.: System-level design: orthogonalization of concerns and platform-based design. IEEE Trans. Comput-Aid. Design Integ. Circ. Syst. 19(12), 1523–1543 (2000)
Cesario, W., Baghdadi, A., Gauthier, L., Lyonnard, D., Nicolescu, G., Paviot, Y., Yoo, S., Jerraya, A.A., Diaz-Nava, M.: Component-based design approach for multicore SoCs. Proceedings of 39th Design Automation Conference (DAC02), New Orleans, LA, pp. 789–794 (2002)
Cortes, L.A., Eles, P., Peng, Z.: A survey on hardware/software codesign representation models. SAVE Project Report, Department of Computer and Information Science, Linköping University, Linköping, Sweden (June 1999)
Edwards, S., Lavagno, L., Lee, E.A., Sangiovanni-Vincentelli, A.: Design of embedded systems: formal models, validation, and synthesis. Proceedings of IEEE 85(3), 366–390 (1997)
Boussinot, F., de Simone, R., Ensmp-Cma, V.: The ESTEREL language. Proceedings of IEEE 79(9),1293–1304 (1991)
Bosman, G., Bos, I.A.M., Eussen, P.G.C., Lammel, I.R.: A survey of co-design ideas and methodologies. Master’s Thesis at Vrije Universiteit Amsterdam (2003)
Gajski, D.D., Zhu, J., Dömer, R., Gerstlauer, A., Zhao, S.: SpecC, Specification Language and [design] Methodology. Kluwer, Boston, MA (2000)
Jerraya, A.A., O’Brien, K.: SOLAR: An intermediate format for system-level modeling and synthesis. In: Buchenrieder, K., Rozenblit, J. (eds.) Computer Aided Software/Hardware Engineering. IEEE Press, Piscataway, NJ (1995)
POLIS Group. POLIS, A framework for hardware-software co-design of embedded systems. http://embedded.eecs.berkeley.edu/research/hsc/. Accessed 5 April 2009
Jerraya, A.A., O’Brien, K.: SOLAR: An intermediate format for system-level modeling and synthesis. In: Buchenrieder, K., Rozenblit, J. (eds.) Computer Aided Software/Hardware Engineering. IEEE Press, Piscataway, NJ (1995)
Agrawal, A.: Hardware modeling and simulation of embedded applications. M.S. thesis, Department of Electrical Engineering, Vanderbilt University, Nashville, TN (2002)
Lee, E.A., Parks, T.M.: Dataflow process networks. Proceedings of IEEE 83(5), 773–801 (1995)
Gajski, D.D., Zhu, J., Dömer, R.: Essential issues in codesign. In: Staunstrup, J., Wolf, W. (eds.) Hardware/Software Co-Design: Principles and Practice. Kluwer, Boston, MA (1997)
Open SystemC Initiative. SystemC. http://www.systemc.org/. Accessed on April 5 200921
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Shaout, A., El-Mousa, A.H., Mattar, K. (2010). Models of Computation for Heterogeneous Embedded Systems. In: Ao, SI., Gelman, L. (eds) Electronic Engineering and Computing Technology. Lecture Notes in Electrical Engineering, vol 60. Springer, Dordrecht. https://doi.org/10.1007/978-90-481-8776-8_18
Download citation
DOI: https://doi.org/10.1007/978-90-481-8776-8_18
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-8775-1
Online ISBN: 978-90-481-8776-8
eBook Packages: EngineeringEngineering (R0)