loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Design, Automation and Test in Europe Conference and Exhibition (DATE'03)
Modeling and Integration of Peripheral Devices in Embedded Systems
Munich, Germany
March 03-March 07
ISBN: 0-7695-1870-2
ASCII Text
x 
 
Shaojie Wang, Sharad Malik, Reinaldo A. Bergamaschi, "Modeling and Integration of Peripheral Devices in Embedded Systems," Design, Automation and Test in Europe Conference and Exhibition, vol. 1, pp. 10136, Design, Automation and Test in Europe Conference and Exhibition (DATE'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/DATE.2003.10134,
author = {Shaojie Wang and Sharad Malik and Reinaldo A. Bergamaschi},
title = {Modeling and Integration of Peripheral Devices in Embedded Systems},
journal ={Design, Automation and Test in Europe Conference and Exhibition},
volume = {1},
year = {2003},
issn = {1530-1591},
pages = {10136},
doi = {http://doi.ieeecomputersociety.org/10.1109/DATE.2003.10134},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Design, Automation and Test in Europe Conference and Exhibition
TI - Modeling and Integration of Peripheral Devices in Embedded Systems
SN - 1530-1591
SP
EP
A1 - Shaojie Wang,
A1 - Sharad Malik,
A1 - Reinaldo A. Bergamaschi,
PY - 2003
KW - null
VL - 1
JA - Design, Automation and Test in Europe Conference and Exhibition
ER -
 
Shaojie Wang, Princeton University
Sharad Malik, Princeton University
Reinaldo A. Bergamaschi, IBM T.J.Watson Research Center
This paper describes automation methods for device driver development in IP-based embedded systems in order to achieve high reliability, productivity, reusability and fast time to market. We formally specify device behaviors using event driven finite state machines, communication channels, declaratively described rules, constraints and synthesis patterns. A driver is synthesized from this specification for a virtual environment that is platform (processor, operating system and other hardware) independent. The virtual environment is mapped to a specific platform to complete the driver implementation.The illustrative application of our approach for a USB device driver in Linux demonstrates improved productivity and reusability.
Citation:
Shaojie Wang, Sharad Malik, Reinaldo A. Bergamaschi, "Modeling and Integration of Peripheral Devices in Embedded Systems," date, vol. 1, pp.10136, Design, Automation and Test in Europe Conference and Exhibition (DATE'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.