Skip to main content

New Approach for Device Driver Development – Devil+ Language

  • Conference paper
Book cover Embedded Software and Systems (ICESS 2004)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3605))

Included in the following conference series:

Abstract

This paper presents a new approach to develop device drivers for embedded system: Devil+ language [3, 4, 7] which can automatically generate device driver code [9]. It demonstrates the whole process to develop embedded system device driver with this new language. The example project selects SHARP KEV79520 as hardware platform [8], DeltaOS as software platform [5, 6, 7]. Development processes are illustrated with source code. Some programming details are also explained in this paper. Finally we illustrate the benefit of the new methodology in embedded system development with the comparison between the Devil+ approach and the traditional raw C language method.

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. Rubini, A.: Linux Device Drivers, 1st edn. O’Reilly, Sebastopol (1998)

    MATH  Google Scholar 

  2. Bershad, B.N., Anderson, T.E., Lazowska, E.D., Levy, H.M.: Lightweight remote procedure call. ACM Transactions on Computer Systems (February 1990)

    Google Scholar 

  3. Réveillère, L., Mérillon, F., Consel, C., Marlet, R., Muller, G.: Devil: An IDL for Hardware Programming. In: OSDI 2000, San Diego, October 2000, pp. 17–30 (2000)

    Google Scholar 

  4. Réveillère, L., Mérillon, F., Consel, C., Marlet, R., Muller, G.: The Devil Language release 0.4. August 24 (2000)

    Google Scholar 

  5. Luo, L., Zhu, M.-Y., Zhang, Q.-L.: A formal semantic definition of DEVIL. SIGPLAN Notices 38(4), 47–56 (2003)

    Article  Google Scholar 

  6. Zhu, M.-Y., Luo, L., Xiong, G.-Z.: High-availability in δ-CORE: A formal derivation. Dedicated Systems Magazine (July 2001)

    Google Scholar 

  7. Zhang, Q.-L., Zhu, M.-Y., Chen, S.-Y.: Automatic generation of device drivers. SIGPLAN Notices 38(6), 60–69 (2003)

    Article  Google Scholar 

  8. SHARP Inc. LH79520 USER’S GUIDE

    Google Scholar 

  9. Katayama, T., Saisho, K., Fukuda, A.: Prototype of the device driver generation system for unix-like operation systems. In: Proceedings of ISPSE 2000 (November 2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Yu, Y., Zhu, M., Chen, S. (2005). New Approach for Device Driver Development – Devil+ Language. In: Wu, Z., Chen, C., Guo, M., Bu, J. (eds) Embedded Software and Systems. ICESS 2004. Lecture Notes in Computer Science, vol 3605. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11535409_60

Download citation

  • DOI: https://doi.org/10.1007/11535409_60

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-31823-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics