Skip to main content

Software Platform for Embedded Software Development

  • Conference paper
Real-Time and Embedded Computing Systems and Applications (RTCSA 2003)

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

Abstract

The demands for new embedded system products that provide new functionality and adopting new hardware are booming. Parallel development in hardware and software is promising in reducing both the time and effort for the design of embedded system. Mostly, the development of embedded system application has been carried out on general purpose computing platform using cross target development tools, includes cross compiler and linker etc. Personal computers are used as cross development environment to host the embedded system software development tool set. We propose a software platform approach that promotes the role of PC based embedded software cross development platform to support the embedded software development even before the real hardware becomes available. Our approach is a tunable embedded software development platform (TESDP) that facilitates more extensive usage of the development platform. TESDP helps in decoupling the hardware and software development while maintaining very close semantic similarity for the function operates on both development and target platforms. We demonstrate the feasibility of the TESDP approach with the development of two embedded systems, a car-borne modular mobile data terminal (MMDT), and an air-borne navigation support display (NSD) system. MMDT provides data communication and global positioning capability for applications in the domain of intelligent transportation system (ITS). NSD is an important component in avionics systems that provides pilot with graphical flight instrument information to support aircraft navigation.

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. Altisen, K., Gobler, G., Pneuli, A., Sifakis, J., Tripakis, S., Yovine, S.: A Framework for Scheduler Synthesis. In: Proceedings of the Real-Time System Symposium (RTSS 1999). IEEE Computer Society Press, Los Alamitos (1999)

    Google Scholar 

  2. AT command set for GSM Mobile Equipment (ME) (GSM 07.07 version 4.4.1), Digital cellular telecommunications system (Phase 2), European Telecommunications Standards Institute, France (March 1999)

    Google Scholar 

  3. Balarin, F., Chiodo, M.: Software synthesis for complex reactive embedded systems. In: Proceedings of International Conference on Computer Design (ICCD 1999), pp. 634–639. IEEE CS Press, Los Alamitos (1999)

    Google Scholar 

  4. Cortes, L.A., Eles, P., Peng, Z.: Formal Co-verification of Embedded Systems using Model Checking. In: Proceedings of EUROMICRO, pp. 106–113 (2000)

    Google Scholar 

  5. Hsiung, P.-A.: RTFrame: An object-oriented application framework for real-time applications. In: Proceedings of the 27th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS 1998), pp. 138–147. IEEE Computer Society Press, Los Alamitos (1998)

    Google Scholar 

  6. Hsiung, P.-A.: Formal synthesis and code generation of embedded real-time software. In: International Symposium on Hard-ware/Software Codesign (CODES 2001), Copenhagen, Denmark, pp. 208–213. ACM Press, New York (2001)

    Chapter  Google Scholar 

  7. Hsiung, P.-A., See, W.-B., Lee, T.-Y., Fu, J.-M., Chen, S.-J.: Formal verification of Embedded Real-Time Software in Component-Based Application Frameworks. To appear in The 8th Asia-Pacific Software Engineering Conference, APSEC 2001 (2001)

    Google Scholar 

  8. Introduction to MAP27 protocol, Web Site, http://www.condor-cci.com/trunking.new/map27.htm

  9. Johnson, R.E.: Frameworks = (Components + Patterns). Communications of the ACM 40(10), 39–42 (1997)

    Article  Google Scholar 

  10. Liu, C.L., Layland, J.W.: Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment. Journal of ACM 20(1), 46–61 (1973)

    Article  MATH  MathSciNet  Google Scholar 

  11. Lin, J.-F., See, W.-B., Chen, S.-J.: Performance Bounds on Scheduling Parallel Tasks with Communication Cost. IEICE Trans. Information & Systems E78-D(3), 263–268 (1995)

    Google Scholar 

  12. Lippert, M., Lopes, C.V.: A Study on Exception Detection and Handling Using Aspect-Oriented Programming. In: Proceedings of ICSE 2000. ACM Press, New York (2000)

    Google Scholar 

  13. See, W.-B., Chen, S.-J.: High-level reuse in the design of an object-oriented real-time system framework. In: Proceedings of the International Computer Symposium, December 1996, pp. 363–370 (1996)

    Google Scholar 

  14. See, W.-B., Chen, S.-J.: Object-oriented real-time system framework. In: Fayad, M.E., Johnson, R.E. (eds.) Domain- Specific Application Frameworks, pp. 327–338. Wiley, Chichester (2000)

    Google Scholar 

  15. Sgroi, M., Lavagno, L.: Synthesis of Embedded Software Using Free-Choice Petri Nets. In: Proceedings of IEEE/ACM Design Automation Conference (DAC 1999). ACM Press, New York (1999)

    Google Scholar 

  16. Vahid, F., Givargis, T.: Platform Tuning for Embedded Systems Design. IEEE Computer 3(34), 112–114 (2001)

    Google Scholar 

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

See, WB., Hsiung, PA., Lee, TY., Chen, SJ. (2004). Software Platform for Embedded Software Development. In: Chen, J., Hong, S. (eds) Real-Time and Embedded Computing Systems and Applications. RTCSA 2003. Lecture Notes in Computer Science, vol 2968. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24686-2_34

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24686-2_34

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-21974-3

  • Online ISBN: 978-3-540-24686-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics