Simplifying generation of device drivers for different user...

Details Simplifying generation of device drivers for different user... Simplifying generation of device drivers for different user...

2011-03-08

2011-03-08

Zhen, Wei Y (Department: 2191)

Data processing: software development, installation, and managem

Software program development tool

Code generation

C717S104000, C717S107000, C717S108000, C719S322000, C719S327000

Reexamination Certificate

active

07904878

ABSTRACT:
Generating device drivers for different user systems to facilitate communication with a hardware device. A device specification containing a program logic specifying the manner in, which external devices can communicate with the hardware device, is received as one input. A software specification specifying various characteristics of a runtime environment (e.g., operating system, processor, hardware components) is received as another input. A device driver generator then programmatically parses the input specifications and automatically generates the device driver code.

REFERENCES:
patent: 5999730 (1999-12-01), Lewis
patent: 6334162 (2001-12-01), Garrett et al.
patent: 2002/0170039 (2002-11-01), Kovacevic
patent: 2005/0039193 (2005-02-01), Choi et al.
patent: 2006/0033945 (2006-02-01), McDonald et al.
patent: 2006020948 (2006-02-01), None
Dehlin, G.L.; Automating test driver generation [airborne software]; IEEE, 1990, pp. 107-110.
Shaojie Wang; Sharad Malik; Synthesizing operating system based device drivers in embedded systems; IEEE, 2003, Oages:37-44.
Zhang et al., Automatic Generation of Device Drivers, ACM, 2003, pp. 60-69.
“Tetsuro Katayama, Keizo Saisho, and Akira Fukuda”, “Proposal of a Support System for Device Driver Generation”, Sixth Asia Pacific Software Engineering Conference 1999 (APSEC '99) Proceedings, Dec. 7-10, 1999, pp. 494-497.
“Qing-Li Zhang and Ming-Yuan Zhu”,“http://www.coretek.com.cn/Download/DeltaDEVIL5.pdf ”, “DELTADEVIL—An Automatic Way for Device Driver Development”, Downloaded circa Nov 2, 2007, pp. 1-42.
“Christopher L. Conway and Stephen A. Edwards”, “NDL: A Domain-Specific Language for Device Drivers”, Jun. 11-13, 2004, Copyright 2004 ACM, pp. 1-7.
“Tetsuro Katayama, Keizo Saisho and Akira Fukuda”, “http://earth.cs.miyazaki-u.ac.jp/˜kat/papers/pdf/iasted99.pdf”, “Generating a Device Driver With a Formal Specification Language”, Downloaded circa May 29, 2006, pp. 1-6.
“Windriver PCI for Linux”, http://www.jungo.com/linux.html, Downloaded circa Nov. 2, 2007, pp. 1-4.
“Slam Project”, http://research.microsoft.com/slam/, Downloaded circa Nov. 3, 2007.
“Tetsuro Katayama, Keizo Saisho, and Akira Fukuda”, “Prototype of the Device Driver Generation System for Unix-Like Operating Systems”, Principles of Software Evolution 2000 Proceedings, International Symposium on Nov. 1-2, 2000, pp. 302-310.
“Yong Hoon Choi, Woo Il Kwon, and Heung Nam Kim”, “Code Generation for Linux Device Driver”, Advanced Communication Technology, 2006, ICACT 2006—The 8th International Conference, vol. 1, Date: Feb. 20-22, 2006, pp. 734-737.
“Jun Sun, Wanghong Yuan, Mahesh Kallahalla, and Nayeem Islam”, “Hail: A Language for Easy and Correct Device Access”, Proceedings of the 5th ACM international conference on Embedded software EMSOFT '05, Sep. 2005. pp. 1-9.

Affiliated with

Also associated with

Rating

Simplifying generation of device drivers for different user... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Simplifying generation of device drivers for different user..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Simplifying generation of device drivers for different user... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2727674