Prototype of the device driver generation system for unix-like operating systems

Tetsuro Katayama, Keizo Saisho, Akira Fukuda

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Citations (Scopus)

Abstract

Writing device drivers spends much time and makes efforts because it needs knowledge of the target device and operating system (OS). In order to lighten the burden, the authors have proposed a model to generate device drivers and a device driver generation system before. The system generates a source code of a device driver from three inputs: device driver specification, OS dependent specification, and device dependent specification. The device drivers generated in the model are evolutionary because they can be expanded their features easily. They, however, are not always effective because the burden in describing the device dependent specification, which is one of the inputs, is nearly as same as the traditional method. In this paper, to aim at more reduction of the burden, device drivers are abstracted again, each input is defined afresh, and then a prototype of the system is implemented. As an example of the generation, an interrupt handler of a network device, FreeBSD and Linux as the target OS, and Etherlink XL as the target device are chosen. The OS dependent specification and the device dependent specification can be reused in each OS and device, respectively. As a result, an identical device dependent specification can be applied to the both OSs. The burden in generating new device drivers or porting ones to other OSs can be reduced.

Original languageEnglish
Title of host publicationProceedings - International Symposium on Principles of Software Evolution, ISPSE 2000
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages302-310
Number of pages9
Volume2000-January
ISBN (Electronic)0769509061
DOIs
Publication statusPublished - 2000
Externally publishedYes
EventInternational Symposium on Principles of Software Evolution, ISPSE 2000 - Kanazawa, Japan
Duration: Nov 1 2000Nov 2 2000

Other

OtherInternational Symposium on Principles of Software Evolution, ISPSE 2000
CountryJapan
CityKanazawa
Period11/1/0011/2/00

Fingerprint

Operating Systems
Driver
Prototype
Specifications
Specification
Dependent
Target
Input Devices
Linux

All Science Journal Classification (ASJC) codes

  • Software
  • Theoretical Computer Science
  • Modelling and Simulation
  • Computational Theory and Mathematics

Cite this

Katayama, T., Saisho, K., & Fukuda, A. (2000). Prototype of the device driver generation system for unix-like operating systems. In Proceedings - International Symposium on Principles of Software Evolution, ISPSE 2000 (Vol. 2000-January, pp. 302-310). [00913251] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ISPSE.2000.913251

Prototype of the device driver generation system for unix-like operating systems. / Katayama, Tetsuro; Saisho, Keizo; Fukuda, Akira.

Proceedings - International Symposium on Principles of Software Evolution, ISPSE 2000. Vol. 2000-January Institute of Electrical and Electronics Engineers Inc., 2000. p. 302-310 00913251.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Katayama, T, Saisho, K & Fukuda, A 2000, Prototype of the device driver generation system for unix-like operating systems. in Proceedings - International Symposium on Principles of Software Evolution, ISPSE 2000. vol. 2000-January, 00913251, Institute of Electrical and Electronics Engineers Inc., pp. 302-310, International Symposium on Principles of Software Evolution, ISPSE 2000, Kanazawa, Japan, 11/1/00. https://doi.org/10.1109/ISPSE.2000.913251
Katayama T, Saisho K, Fukuda A. Prototype of the device driver generation system for unix-like operating systems. In Proceedings - International Symposium on Principles of Software Evolution, ISPSE 2000. Vol. 2000-January. Institute of Electrical and Electronics Engineers Inc. 2000. p. 302-310. 00913251 https://doi.org/10.1109/ISPSE.2000.913251
Katayama, Tetsuro ; Saisho, Keizo ; Fukuda, Akira. / Prototype of the device driver generation system for unix-like operating systems. Proceedings - International Symposium on Principles of Software Evolution, ISPSE 2000. Vol. 2000-January Institute of Electrical and Electronics Engineers Inc., 2000. pp. 302-310
@inproceedings{351ee9fc27e34623837b57fa599e31e3,
title = "Prototype of the device driver generation system for unix-like operating systems",
abstract = "Writing device drivers spends much time and makes efforts because it needs knowledge of the target device and operating system (OS). In order to lighten the burden, the authors have proposed a model to generate device drivers and a device driver generation system before. The system generates a source code of a device driver from three inputs: device driver specification, OS dependent specification, and device dependent specification. The device drivers generated in the model are evolutionary because they can be expanded their features easily. They, however, are not always effective because the burden in describing the device dependent specification, which is one of the inputs, is nearly as same as the traditional method. In this paper, to aim at more reduction of the burden, device drivers are abstracted again, each input is defined afresh, and then a prototype of the system is implemented. As an example of the generation, an interrupt handler of a network device, FreeBSD and Linux as the target OS, and Etherlink XL as the target device are chosen. The OS dependent specification and the device dependent specification can be reused in each OS and device, respectively. As a result, an identical device dependent specification can be applied to the both OSs. The burden in generating new device drivers or porting ones to other OSs can be reduced.",
author = "Tetsuro Katayama and Keizo Saisho and Akira Fukuda",
year = "2000",
doi = "10.1109/ISPSE.2000.913251",
language = "English",
volume = "2000-January",
pages = "302--310",
booktitle = "Proceedings - International Symposium on Principles of Software Evolution, ISPSE 2000",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
address = "United States",

}

TY - GEN

T1 - Prototype of the device driver generation system for unix-like operating systems

AU - Katayama, Tetsuro

AU - Saisho, Keizo

AU - Fukuda, Akira

PY - 2000

Y1 - 2000

N2 - Writing device drivers spends much time and makes efforts because it needs knowledge of the target device and operating system (OS). In order to lighten the burden, the authors have proposed a model to generate device drivers and a device driver generation system before. The system generates a source code of a device driver from three inputs: device driver specification, OS dependent specification, and device dependent specification. The device drivers generated in the model are evolutionary because they can be expanded their features easily. They, however, are not always effective because the burden in describing the device dependent specification, which is one of the inputs, is nearly as same as the traditional method. In this paper, to aim at more reduction of the burden, device drivers are abstracted again, each input is defined afresh, and then a prototype of the system is implemented. As an example of the generation, an interrupt handler of a network device, FreeBSD and Linux as the target OS, and Etherlink XL as the target device are chosen. The OS dependent specification and the device dependent specification can be reused in each OS and device, respectively. As a result, an identical device dependent specification can be applied to the both OSs. The burden in generating new device drivers or porting ones to other OSs can be reduced.

AB - Writing device drivers spends much time and makes efforts because it needs knowledge of the target device and operating system (OS). In order to lighten the burden, the authors have proposed a model to generate device drivers and a device driver generation system before. The system generates a source code of a device driver from three inputs: device driver specification, OS dependent specification, and device dependent specification. The device drivers generated in the model are evolutionary because they can be expanded their features easily. They, however, are not always effective because the burden in describing the device dependent specification, which is one of the inputs, is nearly as same as the traditional method. In this paper, to aim at more reduction of the burden, device drivers are abstracted again, each input is defined afresh, and then a prototype of the system is implemented. As an example of the generation, an interrupt handler of a network device, FreeBSD and Linux as the target OS, and Etherlink XL as the target device are chosen. The OS dependent specification and the device dependent specification can be reused in each OS and device, respectively. As a result, an identical device dependent specification can be applied to the both OSs. The burden in generating new device drivers or porting ones to other OSs can be reduced.

UR - http://www.scopus.com/inward/record.url?scp=44949102885&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=44949102885&partnerID=8YFLogxK

U2 - 10.1109/ISPSE.2000.913251

DO - 10.1109/ISPSE.2000.913251

M3 - Conference contribution

VL - 2000-January

SP - 302

EP - 310

BT - Proceedings - International Symposium on Principles of Software Evolution, ISPSE 2000

PB - Institute of Electrical and Electronics Engineers Inc.

ER -