Modeling and integration of peripheral devices in embedded systems

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2003, Pages 136-141

  Wang, Shaojie ^a   Malik, Sharad ^a   Bergamaschi, Reinaldo A ^b  

^a Princeton University   (United States)

^b IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DEVICE DRIVER; EVENT-DRIVEN; FAST-TIME; HIGH RELIABILITY; PERIPHERAL DEVICES; SYNTHESIS PATTERNS; USB DEVICES;

AUTOMATION; COMPUTER OPERATING SYSTEMS; EXHIBITIONS; PRODUCTIVITY; REUSABILITY; VIRTUAL REALITY;

EMBEDDED SYSTEMS;

EID: 9644292642     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2003.1253599     Document Type: Conference Paper

References (11)

1. F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki, and B. Tabbara, Hardware-Software Co-Design of Embedded Systems: The Polis Approach, Kluwer Academic Press, June 1997.
2. I. Bolsen, H. J. De Man, B. Lin, K. Van Rompaey, S. Vercauteren, and D. Verkest, ?Hardware/software co-design of digital telecommunication systems?, Proceeding of the IEEE, Vol. 85, No. 3, 1997, pp. 391-418.
3. F. Merillon, L. Reveillere, C. Consel, R. Marlet and G. Muller, ?Devil: An IDL for hardware programming?, 4th symposium on operating systems design and implementation, San Diego, October 2000, pp. 17-30.
4. M. O?Bils, and A. Jantsch, ?Device driver and DMA controller synthesis from HW/SW communication protocol specifications?, Design Automation for Embedded Systems, Kluwer Academic Publishers, Vol. 6, No. 2, April 2001, pp. 177-205.
5. E. A. Lee, ?Embedded Software,? to appear in Advances in Computers (M. Zelkowitz, editor), Vol. 56, Academic Press, London, 2002.
6. http://www.aisysinc.com, November 2001
7. www.microsoft.com/winhec/sessions2001/DriverDev.htm, March 2002.
8. http://www.intelligent-io.com, July 2002
9. http://www.projectudi.org/, July 2002
10. http://www.intel.com/design/strong/manuals/27828806.pdf, October 2002
11. http://www.usb.org/developers/docs.html, July 2002