Abstract
This paper describes automation methods for device driver development in IP-based embedded systems in order to achieve high reliability, productivity, reusability and fast time to market. We formally specify device behaviors using event driven finite state machines, communication channels, declaratively described rules, constraints and synthesis patterns. A driver is synthesized from this specification for a virtual environment that is platform (processor, operating system and other hardware) independent. The virtual environment is mapped to a specific platform to complete the driver implementation. The illustrative application of our approach for a USB device driver in Linux demonstrates improved productivity and reusability.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki, and B. Tabbara. Hardware-Software Co-Design of Embedded Systems: The Polis Approach, Kluwer Academic Press, June 1997.
I. Bolsen, H. J. De Man, B. Lin, K. van Rompaey, S. Vercauteren, and D. Verkest. “Hardware/Software Co-design of Digital Telecommunication Systems”, Proceeding of the IEEE, Vol. 85, No. 3, pp. 391–418, 1997.
F. Merillon, L. Reveillere, C. Consel, R. Marlet, and G. Muller. “Devil: An IDL for Hardware Programming.” 4th Symposium on Operating Systems Design and Implementation, San Diego, October 2000, pp. 17–30.
M. O’Bils and A. Jantsch. “Device Driver and DMA Controller Synthesis from HW/SW Communication Protocol Specifications.” Design Automation for Embedded Systems, Vol. 6, No. 2, pp. 177–205, Kluwer Academic Publishers, April 2001.
E. A. Lee. “Embedded Software,” to appear in Advances in Computers (M Zelkowitz, editor), Vol. 56, Academic Press, London, 2002.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Kluwer Academic Publishers
About this chapter
Cite this chapter
Wang, S., Malik, S., Bergamaschi, R.A. (2003). Modeling and Integration of Peripheral Devices in Embedded Systems. In: Jerraya, A.A., Yoo, S., Verkest, D., Wehn, N. (eds) Embedded Software for SoC. Springer, Boston, MA. https://doi.org/10.1007/0-306-48709-8_6
Download citation
DOI: https://doi.org/10.1007/0-306-48709-8_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-7528-5
Online ISBN: 978-0-306-48709-5
eBook Packages: Springer Book Archive