Abstract
Microprocessors operate most serial devices in the same way, issuing commands and parsing corresponding responses. Writing the device drivers for these peripherals is a repetitive task. Moreover, measuring the response time of each command can be time-consuming and error prone. In this paper, we present DriverGen, a configuration-based tool developed to provide accurate response time measurement and automated serial device driver generation. DriverGen (i) simulates the command execution sequence of a microprocessor using a Java program running on a desktop, (ii) measures the response time of the target device to each command, and (iii) generates a device driver based on the received responses and measured response times. To evaluate DriverGen, three case studies are considered.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
CESANTA. SLRE: super light regular expression library, September 2013. slre.sourceforg.net/
Chou, P., Ortega, R., Borriello, G.: Synthesis fo the hardware/software interface in microcontroller-based systems. In: Proceedings of the 1992 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1992, pp. 488–495. IEEE Computer Society Press, Los Alamitos (1992)
Eidson, G.W., Esswein, S.T., Gemmill, J.B., Hallstrom, J.O., Howard, T.R., Lawrence, J.K., Post, C.J., Sawyer, C.B., Wang, K.C., White, D.L.: The south carolina digital watershed: end-to-end support forreal-time management of water resources. IJDSN, 1 (2010)
Li, J., Xie, F., Ball, T., Levin, V., McGravey, C.: Formalizing hardware/software interface specifications. In: Procceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, pp. 143–152. IEEE Computer Society, Washington (2011)
Locke, J.: Jakarta regexp Java regular expression package, April 2011. jakarta.apache.org/regexp/
O’Nils, M., Jantsch, A.: Operating system sensitive device driver synthesis from implementation independent protocol specification. In: Proceedings of the Design, Automation and Test in Europe Conference and Exhibition, pp. 562–567 (1999)
O’Nils, M., Jantsch, A.: Device driver and DMA controller synthesis from HW/SW communication protocol specifications. Des. Autom. Embed. Syst. 6(2), 177–205 (2001)
Ratter, A.: Automatic device driver synthesis from device specifications. The University of New South Wales, November 2012
Ryzhyk, L., Chubb, P., Kuz, I., Le Sueur, E., Heiser, G.: Automatic device driver synthesis with termite. In: Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles, SOSP 2009, pp. 73–86. ACM, New York (2009)
Shier, P., Garban, P.L., Oney, A.: System and method for validaitng communication specification conformance between a device driver and a hardware device. US2005246722 (2005)
Acknowledgments
This work is supported by the NSF through awards CNS-1541917 and CNS-1545705.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
Zhai, J., Du, Y., Hughes, S., Hallstrom, J.O. (2016). DriverGen: Automating the Generation of Serial Device Drivers. In: Mandler, B., et al. Internet of Things. IoT Infrastructures. IoT360 2015. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 170. Springer, Cham. https://doi.org/10.1007/978-3-319-47075-7_37
Download citation
DOI: https://doi.org/10.1007/978-3-319-47075-7_37
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-47074-0
Online ISBN: 978-3-319-47075-7
eBook Packages: Computer ScienceComputer Science (R0)