HAIL: A language for easy and correct device access

Proceedings of the 5th ACM International Conference on Embedded Software, EMSOFT 2005

Volumn , Issue , 2005, Pages 1-9

  Sun, Jun ^a   Yuan, Wanghong ^a   Kallahalla, Mahesh ^a   Islam, Nayeem ^a  

^a DOCOMO USA LABS   (United States)

Author keywords

Automatic code generation; Device drivers; Domain specific languages; Embedded systems; Invariant specification and verification; Register access; Software reuse; System on chip

Indexed keywords

AUTOMATIC CODE GENERATION; DEVICE DRIVERS; DOMAIN-SPECIFIC LANGUAGES; INVARIANT SPECIFICATION AND VERIFICATION; REGISTER ACCESS; SOFTWARE REUSE; SYSTEM-ON-CHIP;

COMPUTER DEBUGGING; COMPUTER HARDWARE; COMPUTER NETWORKS; COMPUTER OPERATING SYSTEMS; COMPUTER PROGRAMMING; EMBEDDED SYSTEMS; NETWORKS (CIRCUITS);

COMPUTER SOFTWARE;

EID: 29244438478     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler, "An empirical study of operating systems errors," in Proceedings of the eighteenth ACM symposium on Operating systems principles (SOSP '01), pp. 73-88, Banff, Alberta, Canada, 2001, ACM Press.
2. SMSC. LAN91C111 -10/100 Non-PCI Ethernet Single Chip MAC + PHY. Web site: http://www.smsc.com/main/datasheets/91c111.pdf.
3. S. Wang and S. Malik, "Synthesizing operating system based device drivers in embedded systems," in Proceedings of the Ist IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, pp. 37-44, Newport Beach, CA, USA, 2003, ACM Press.
4. C. L. Conway and S. A. Edwards, "NDL: a domain-specific language for device drivers," in Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools, Washington, DC, USA, 2004, ACM Press.
5. S. A. Edwards, "SHIM: A Language for Hardware/Software Integration," in Proceedings of the Synchronous Languages, Applications, and Programming (SLAP), Edinburgh, Scotland, April 3, 2005.
6. F. Merillon, L. Reveillere, C. Consel, R. Marlet, and G. Muller, "Devil: An IDL for Hardware Programming," in Proceedings of the 4th Symposium on Operating Systems Design and Implementation (OSDI 2000), pp. 17-30, San Diego, CA, 2000.
7. L. Reveillere, F. Merillon, C. Consel, R. Marlet, and G. Muller, "The Devil language," IRISA, Rennes, France Reserach Report 1319, 2000.
8. Jungo Software Technologies. WinDriver and KernelDriver. Web site: http://www.jungo.com.
9. Compuware Corporation. DriverStudio. Web site: http://www.compuware.com/ products/driverstudio/.
10. D. S. Rosenblum, "Towards a method of programming with assertions," in Proceedings of the 14th international conference on Software engineering, pp. 92-104, Melbourne, Australia, 1992.
11. S. H. Edwards, M. Sitaraman, B. W. Weide, and J. Hollingsworth, "Contract-Checking Wrappers for C++ Classes," IEEE Transactions on Software Engineering, vol. 30, pp. 794-810, 2004.
12. Coverity Inc. Coverity Prevent for C and C+ + . Web site: http://www.coverity.com.
13. Microsoft. Static Driver Verifier: Finding Bugs in Device Drivers at Compile-Time. Web site: http://download.microsoft.com/download/5/b/5/5b5bec17- ea71-4653-9539-204a672f11cf/SDV-intro.doc.
14. L. d. Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, "Model Checking Discounted Temporal Properties," in 'Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).
15. Intel. Intel® PXA27x Processor Family Developer's Manual. Web site: http://www.intel.com/design/pca/applicationsprocesso rs/manuals/280000.htm.
16. A. Galton. Temporal Logic. Web site: http://plato.stanford.edu/archives/ win2003/entries/logic-temporal/
17. W. Yuan and J. Sun. HAIL - Hardware access interface language (compiler, specification, user guide and other related information). Web site: http://www.docomolabsresearchers-usa.com/~jsun/hail.