Automatic generation of device drivers

Authors:
Qing-Li Zhang;Ming-Yuan Zhu;Shuo-Ying Chen
Affiliations:
CoreTek Systems, Inc., Beijing, People's Republic of China;CoreTek Systems, Inc., Beijing, People's Republic of China;Beijing Institute of Technology, Beijing, People's Republic of China
Venue:
ACM SIGPLAN Notices
Year:
2003

Citing 4
Cited 3

A provably correct operating system: &dgr;-core

ACM SIGOPS Operating Systems Review
The minimal model of operating systems

ACM SIGOPS Operating Systems Review
Improving Driver Robustness: An Evaluation of the Devil Approach

DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
A DSL Approach to Improve Productivity and Safety in Device Drivers Development

ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering

A hardware/software codesign approach for programmable IO devices

GLSVLSI '05 Proceedings of the 15th ACM Great Lakes symposium on VLSI
Optimal allocation of I/O device parameters in hardware and software codesign methodology

EUC'07 Proceedings of the 2007 international conference on Embedded and ubiquitous computing
New approach for device driver development – devil+ language

ICESS'04 Proceedings of the First international conference on Embedded Software and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes a new approach to resolve the problem of device driver development: To design a domain specific language, named DEVIL+. With this language, users can write a complete device driver, including: interrupt handler, timer controller, logic controller and so on. DEVIL+ allows a description to be checked for consistency and completeness. This not only improves the safety of the device driver but also uncovers bugs as early as possible in the development process.