Proposal of a support system for device driver generation

Tetsuro Katayama; Keizo Saisho; Akira Fukuda

doi:10.1109/APSEC.1999.809641

Proposal of a support system for device driver generation

Tetsuro Katayama, Keizo Saisho, Akira Fukuda

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

4 Citations (Scopus)

Abstract

Writing device drivers is one of the most difficult tasks to develop or port operating systems (OSs). A device driver needs to be described according to the target device and OS. In the description, programmers must know information about hardware such as specifications 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 specification which shows operations of the device, OS dependent specification which shows dependent parts on the OS, and device dependent specification which shows dependent parts on the device. As an example, network devices are adopted. The inputs to generate device drivers by the proposed system are described.

Original language	English
Title of host publication	Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	494-497
Number of pages	4
ISBN (Electronic)	0769505090, 9780769505091
DOIs	https://doi.org/10.1109/APSEC.1999.809641
Publication status	Published - Jan 1 1999
Externally published	Yes
Event	6th Asia Pacific Software Engineering Conference, APSEC 1999 - Takamatsu, Japan Duration: Dec 7 1999 → Dec 10 1999

Publication series

Name	Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999

Other

Other	6th Asia Pacific Software Engineering Conference, APSEC 1999
Country/Territory	Japan
City	Takamatsu
Period	12/7/99 → 12/10/99

All Science Journal Classification (ASJC) codes

Software

Access to Document

10.1109/APSEC.1999.809641

Cite this

Katayama, T., Saisho, K., & Fukuda, A. (1999). Proposal of a support system for device driver generation. In Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999 (pp. 494-497). [809641] (Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/APSEC.1999.809641

Proposal of a support system for device driver generation. / Katayama, Tetsuro; Saisho, Keizo; Fukuda, Akira.

Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999. Institute of Electrical and Electronics Engineers Inc., 1999. p. 494-497 809641 (Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Katayama, T, Saisho, K & Fukuda, A 1999, Proposal of a support system for device driver generation. in Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999., 809641, Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999, Institute of Electrical and Electronics Engineers Inc., pp. 494-497, 6th Asia Pacific Software Engineering Conference, APSEC 1999, Takamatsu, Japan, 12/7/99. https://doi.org/10.1109/APSEC.1999.809641

@inproceedings{31795eab993d40b48f5cca305228413f,

title = "Proposal of a support system for device driver generation",

abstract = "Writing device drivers is one of the most difficult tasks to develop or port operating systems (OSs). A device driver needs to be described according to the target device and OS. In the description, programmers must know information about hardware such as specifications 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 specification which shows operations of the device, OS dependent specification which shows dependent parts on the OS, and device dependent specification which shows dependent parts on the device. As an example, network devices are adopted. The inputs to generate device drivers by the proposed system are described.",

author = "Tetsuro Katayama and Keizo Saisho and Akira Fukuda",

year = "1999",

month = jan,

day = "1",

doi = "10.1109/APSEC.1999.809641",

language = "English",

series = "Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "494--497",

booktitle = "Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999",

address = "United States",

note = "6th Asia Pacific Software Engineering Conference, APSEC 1999 ; Conference date: 07-12-1999 Through 10-12-1999",

}

TY - GEN

T1 - Proposal of a support system for device driver generation

AU - Katayama, Tetsuro

AU - Saisho, Keizo

AU - Fukuda, Akira

PY - 1999/1/1

Y1 - 1999/1/1

N2 - Writing device drivers is one of the most difficult tasks to develop or port operating systems (OSs). A device driver needs to be described according to the target device and OS. In the description, programmers must know information about hardware such as specifications 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 specification which shows operations of the device, OS dependent specification which shows dependent parts on the OS, and device dependent specification which shows dependent parts on the device. As an example, network devices are adopted. The inputs to generate device drivers by the proposed system are described.

AB - Writing device drivers is one of the most difficult tasks to develop or port operating systems (OSs). A device driver needs to be described according to the target device and OS. In the description, programmers must know information about hardware such as specifications 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 specification which shows operations of the device, OS dependent specification which shows dependent parts on the OS, and device dependent specification which shows dependent parts on the device. As an example, network devices are adopted. The inputs to generate device drivers by the proposed system are described.

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

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

U2 - 10.1109/APSEC.1999.809641

DO - 10.1109/APSEC.1999.809641

M3 - Conference contribution

AN - SCOPUS:77956047039

T3 - Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999

SP - 494

EP - 497

BT - Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 6th Asia Pacific Software Engineering Conference, APSEC 1999

Y2 - 7 December 1999 through 10 December 1999

ER -

Proposal of a support system for device driver generation

Abstract

Publication series

Other

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this