Proposal of a Support System for Device Driver Generation

Writingdevicedriversisoneofthemostdiculttasks to develop or port operating systems (OSs). A device driver need to be described according to the target device and OS. And, in the description, programmers must know information about hardware such as specications of devices and carefully describe complex parts such as timing control. This paper proposes a support system for device driver generation. The inputs for the system are device driver specication which shows operations of the device, OS dependent specication which shows dependent parts on the OS, and device dependent specication which shows dependent parts on the device. As an example, network devices is adopted. The inputs to generate device drivers by the proposed system are described.

• Type: Conference
• Year: 1999
• Where: APSEC
• Authors: Tetsuro Katayama, Keizo Saisho, Akira Fukuda
• Keywords: APSEC 1999, Dependent Speci Cation, Device Drivers, Software Engineering, Speci Cation