1 |
Tetsuro Katayama, Keizo Saisho, and Akira Fukuda, 'A Method for Automatic Generation of Device Drivers with a Formal Specification Language,' Proc. Int. Workshop on Principles of Software Evolution, pp.183-187, Apr., 1998
|
2 |
http://idaemon.com.ne.kr/Linux/Linux_Kernel/tlk8.html
|
3 |
Corebell, LDS2000 Specification, http://www.corebell.com/product/01.asp
|
4 |
Hybus, X - Hyper255B Specification, http://www.hybus.net/sub02/sub02_xscale02.asp
|
5 |
Yingxi Yu, Mingyuan Zhu, Shuoying Chen, 'New Approach for Device Driver Development - Devil+ Language,' Lecture Notes in Computer Science, Volume 3605/2005, Page(s): 418
DOI
ScienceOn
|
6 |
Katayama, T.; Saisho, K.; Fukuda, A, 'Prototype of the device driver generation system for UNIX-like operating systems,' Principles of Software Evolution, 2000. Proceedings. International Symposium on 1-2 Nov 2000 Page (s):302- 310]
DOI
|
7 |
Fabrice M'elillon, Laurent R'eveill'ere, Charles Consel, Renaud Marlet, Gilles Muller, 'Devil: An IDL for Hardware Programming,' In OSDI 2000, pages 17-30, San Diego, October, 2000
|
8 |
Laurent R'eveill'ere, F. M'erillon, C. Consel, R. Marlet, and G. Muller, 'The Devil Language release 0.4,'. August 24, 2000
|
9 |
Lei Luo, Ming-Yuan Zhu, Qing-Li Zhang, 'A formal semantic definition of DEVIL,' SIGPLAN Notices 38(4): 47-56 (2003)
DOI
|
10 |
VDC, The Embedded Software Strategic Market Intelligence Program 2002/2003, Volume II, 2003
|
11 |
Alessandro Rubini, 'Linux Device Drivers,' O'Reilly, 2000
|