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

International Workshop on Principles of Software Evolution (IWPSE)

Volumn 2000-January, Issue , 2000, Pages 302-310

  Katayama, Tetsuro ^a   Saisho, Keizo ^b   Fukuda, Akira ^c  

^a UNIVERSITY OF MIYAZAKI   (Japan)

^b KAGAWA UNIVERSITY   (Japan)

^c NARA INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

Author keywords

Ethernet; Evolutionary device driver; Interrupt handler; Network; Operating system (OS); UNIX like OS

Indexed keywords

COMPUTER OPERATING SYSTEMS; ETHERNET; NETWORKS (CIRCUITS); UNIX;

DEVICE DEPENDENT; DEVICE DRIVER; GENERATION SYSTEMS; INTERRUPT HANDLER; NETWORK DEVICES; NEW DEVICES; OPERATING SYSTEM (OS); SOURCE CODES;

SPECIFICATIONS;

EID: 44949102885     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISPSE.2000.913251     Document Type: Conference Paper

References (9)

1. E. Tuggle: "Introduction to Device Driver Design", Proc. 5th Annual Embedded Sys. Conf., Vol. 2, pp. 455-468, 1993.
2. D. C. R. Jensen, J. Madsen, and S. Pedersen: "The Importance of Interfaces: A HW/SW Codesign Case Study", Proc. 5th Int'l Works, on Hardw./Softw. Codesign (CODES/CASHE'97), pp. 87-91, 1997.
3. S. J. Ryan: "Synchronization in Portable Device Drivers", ACM OS Review, Vol. 32, No. 4, pp. 62-69, 1998.
4. T. Katayama, K. Saisho, and A. Fukuda: "A Method for Automatic Generation of Device Drivers with a Formal Specification Language", Proc. Int'l Works, on Principles of Softw. Evolution (IWPSE98), pp. 183-187, 1998.
5. T. Katayama, K. Saisho, and A. Fukuda: "Proposal of a Support System for Device Driver Generation", Proc. 1999 Asia-Pacific Softw. Eng. Conf. (APSEC'99), pp. 494-497, 1999.
6. FreeBSD Inc: http://www.freebsd.org
7. Linux Online: http://www.linux.org
8. 2O SIG: http://www.i2osig.org
9. 2O's OS Evolves", BYTE, Int. Ed., McGraw-Hill, Vol. 23, No. 4, pp. 47-48, 1998.