Skip to main content

RCGES: Retargetable Code Generation for Embedded Systems

  • Conference paper
Automated Technology for Verification and Analysis (ATVA 2004)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3299))

  • 347 Accesses

Abstract

With the integration of computer technology, consumer products, and communication facilities, the software in an embedded system now accounts for as much as 70% of total system functionalities. In this paper, we propose a code generation methodology called RCGES (Retargetable Code Generation for Embedded Systems) for the automatic code generation on retargetable embedded systems and two issues are solved. Firstly, an embedded C code for embedded processor is generated automatically from ANSI (American National Standards Institute) C code based specification using our proposed code generation algorithm. Secondly, we develop a graphical user interface to configure the parameter for retarget processor of embedded system. Two embedded system examples, 8051-based and PIC (Peripheral Interface Controller)-based, are used to illustrate the feasibility of the RCGES methodology.

This work was supported in part by a project grant NSC93-2215-E-027-006 from the National Science Council, Taiwan.

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

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. Rettberg, A., Erpenbach, E., Tacken, J., Rust, C., Kleinjohann, B.: Compilation of Flow Diagrams into Target Code for Embedded Systems. In: Proceedings of the Second International Workshop on Compiler and Architecture Support for Embedded Systems (CASES 1999), Washington, D.C. USA (1999)

    Google Scholar 

  2. Chen, T.-S., Lai, F., Shang, R.-J.: A Simple Tree Pattern Matching Algorithm for Code Generator. In: Proceedings of the 9th Annual International Conference on Computer Software and Applications, August 1995, pp. 162–167 (1995)

    Google Scholar 

  3. Leupers, R.: Compiler design issues for embedded processors. IEEE Journal of Design and Test of Computers 19(4), 51–58 (2002)

    Article  Google Scholar 

  4. Leupers, R.: Code Generation for Embedded Processors. In: Proceedings of the 13th International Symposium on System Synthesis, September 2000, pp. 173–178 (2000)

    Google Scholar 

  5. Lee, T.-Y., Hsiung, P.-A., Wu, I.-M., Tsai, C.-C., Lee, W.-T.: The Design of a Synthesis Tool for Interrupt-based Real Time Embedded Software. In: Proceeding of the International Conference on Informatics Cybernetics and Systems (ICICS 2003, Kaohsiung, Taiwan), pp. 1284–1289 (December 2003)

    Google Scholar 

  6. Hsiung, P.-A., Lee, T.-Y., Su, F.-S.: Formal Synthesis and Code Generation of Real-Time Embedded Software Using Time-Extended Quasi-Static Scheduling. In: Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSE 2002), December 2002, pp. 395–404. IEEE Computer Society Press, Los Alamitos (2002)

    Chapter  Google Scholar 

  7. Lee, T.-Y., Hsiung, P.-A., Wu, I.-M., Su, F.-S.: RESS: Real-Time Embedded Software Synthesis and Prototyping Methodology. In: Chen, J., Hong, S. (eds.) RTCSA 2003. LNCS, vol. 2968, pp. 143–158. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  8. Lee, T.-Y., Hsiung, P.-A.: Embedded Software Synthesis and Prototyping. IEEE Transactions on Consumer Electronics 50(1), 386–392 (2004)

    Article  Google Scholar 

  9. Manohar, N., Bhatia, M.P.S.: A tool for automated code generation for designing user interfaces on character terminals. In: IEEE Proceedings of SoutheastCon, 30 March - 1 April, pp. 155–159 (2001)

    Google Scholar 

  10. Charot, F., Messe, V.: A flexible code generation framework for the design of application specific programmable processors. In: Proceedings of the seventh international workshop on Hardware/software codesign, pp. 27–31 (March 1999)

    Google Scholar 

  11. http://www.keil.com/c51/

  12. http://www.htsoft.com

  13. http://www.microtime.com.tw/product/product.htm

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lee, TY., Fan, YH., Yang, TH., Tsai, CC., Lee, WT., Hwang, YS. (2004). RCGES: Retargetable Code Generation for Embedded Systems. In: Wang, F. (eds) Automated Technology for Verification and Analysis. ATVA 2004. Lecture Notes in Computer Science, vol 3299. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30476-0_34

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30476-0_34

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23610-8

  • Online ISBN: 978-3-540-30476-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics