Skip to main content

Anatomy of a Hardware/Software Execution Model in Heterogeneous Systems

  • Chapter
Global Specification and Validation of Embedded Systems
  • 417 Accesses

In order to provide embedded systems with the required efficiency and flexibility, software is increasingly being used by designers to implement functionalities. Consequently, embedded systems software components are becoming more and more complex and the use of operating systems (OS) is mandatory to deal with concurrent and inter-task communication. This evolution makes the validation of hardware/software difficult and the use of classical techniques even more problematic.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Carbonkernel, available at http://www.carbonkernel.org.

  2. D. Desmet, D. Verkest, H. de Man, “Operating System Based Software Generation for Systems-on-Chip”, Proc. Design Automation Conf. (DAC), June 2000.

    Google Scholar 

  3. L. Gauthier, S. Yoo, A. A. Jerraya, “Automatic Generation and Targeting of Application Specific Operating Systems and Embedded Systems Software”, Proc. Design Automation and Test in Europe, 2001.

    Google Scholar 

  4. D. Jaggar, Advanced RISC Machines Architectural Reference Manual, Prentice-Hall, 1996.

    Google Scholar 

  5. K. Lahiri, A. Raghunantan, S. Dey, “Efficient Exploration of the SoC Communication Architecture Design Space”, Proc. International Conference on Computer Aided Design, pp. 424-430, Nov. 2000.

    Google Scholar 

  6. M. Lajolo, M. Lazarescu, A. Sangivanni-Vicentelli, “A Compilation-Based Software Estimation Scheme for Hardware/Software Co-Simulation”, International Workshop on Hardware Software Codesign, 1999.

    Google Scholar 

  7. J. Rowson, “Hardware/Software Cosimulation”, Proc. Design Automation Conference (DAC), 1994.

    Google Scholar 

  8. Computer Networks and ISDN Systems. CCITT SDL, 1987.

    Google Scholar 

  9. K. Suzuki, A. Sangivanni-Vicentelli, “Efficient Software Performance Estimation Methods for Hardware/Software Design”, Proc. Design Automation Conference, June 1996.

    Google Scholar 

  10. D. C. Black, J. Donovan, SystemC: From the Ground Up, Springer, 2004.

    Google Scholar 

  11. K. Ueda, K. Sakanushi, Y. Takeuchi, M. Imai, “Architecture-level performance estimation method based on system-level profiling”, Proc. Design Automation and Test in Europe 2004.

    Google Scholar 

  12. Wind River Systems Inc., “VxWorks 5.4”, available at http://www.wrs.com/products/html/vxwks5.4.html/.

  13. J. Zhu, D. D. Gajski, “A Retargetable, Ultra-Fast Instruction Set Simulator”, DATE Conference 99, Munich, Germany.

    Google Scholar 

  14. V. Zivojnovic, H. Meyr, “Compiled Hw/Sw Cosimulation”, Proc. Design Automation Conference (DAC), 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer

About this chapter

Cite this chapter

Nicolescu, G., Jerraya, A.A. (2007). Anatomy of a Hardware/Software Execution Model in Heterogeneous Systems. In: Nicolescu, G., Jerraya, A.A. (eds) Global Specification and Validation of Embedded Systems. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-6153-0_5

Download citation

  • DOI: https://doi.org/10.1007/978-1-4020-6153-0_5

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-1-4020-6151-6

  • Online ISBN: 978-1-4020-6153-0

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics