Models of Computation for Heterogeneous Embedded Systems

  • Adnan ShaoutEmail author
  • Ali H. El-Mousa
  • Khalid Mattar
Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 60)


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.


System level design hardware/software co-design heterogeneous embedded systems models of computation design languages 


  1. 1.
    De Michell, G., Gupta, R.K.: Hardware/software co-design. Proc. IEEE 85(3), 349–365 (1997)CrossRefGoogle Scholar
  2. 2.
    Vahid, F., Givargis, T.: Embedded System Design: A Unified Hardware/Software Introduction. Wiley, Hoboken, NJ, (2002)Google Scholar
  3. 3.
    Niemann, R.: Hardware/Software Co-Design for Data Flow Dominated Embedded Systems. Kluwer, Boston, MA (1998)zbMATHGoogle Scholar
  4. 4.
    Domer, R.: System-level modeling and design with the SpecC language. Ph. D. Dissertation, Department of Computer Science, University of Dortmund, Dortmund, Germany (2000)Google Scholar
  5. 5.
    Dömer, R., Gajski, D., Zhu, J.: Specification and design of embedded systems. it + ti Magazine (3). Oldenbourg Verlag, Munich, Germany (June 1998)Google Scholar
  6. 6.
    O’Nils, M.: Specification, synthesis and validation of hardware/software interfaces. Doctoral thesis, Department of Electronics, Royal Institute of technology, Stockholm (1999)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    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)CrossRefGoogle Scholar
  12. 12.
    Boussinot, F., de Simone, R., Ensmp-Cma, V.: The ESTEREL language. Proceedings of IEEE 79(9),1293–1304 (1991)Google Scholar
  13. 13.
    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)Google Scholar
  14. 14.
    Gajski, D.D., Zhu, J., Dömer, R., Gerstlauer, A., Zhao, S.: SpecC, Specification Language and [design] Methodology. Kluwer, Boston, MA (2000)Google Scholar
  15. 15.
    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)Google Scholar
  16. 16.
    POLIS Group. POLIS, A framework for hardware-software co-design of embedded systems. Accessed 5 April 2009
  17. 17.
    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)Google Scholar
  18. 18.
    Agrawal, A.: Hardware modeling and simulation of embedded applications. M.S. thesis, Department of Electrical Engineering, Vanderbilt University, Nashville, TN (2002)Google Scholar
  19. 19.
    Lee, E.A., Parks, T.M.: Dataflow process networks. Proceedings of IEEE 83(5), 773–801 (1995)CrossRefGoogle Scholar
  20. 20.
    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)Google Scholar
  21. 21.
    Open SystemC Initiative. SystemC. Accessed on April 5 200921

Copyright information

© Springer Science+Business Media B.V. 2010

Authors and Affiliations

  1. 1.The Electrical and Computer Engineering DepartmentUniversity of Michigan-DearbornDearbornUSA
  2. 2.Computer Engineering Department, Faculty of Engineering & TechnologyUniversity of JordanAmmanJordan

Personalised recommendations