Modeling and integration of peripheral devices in embedded systems

Shaojie Wang, Sharad Malik, Reinaldo A. Bergamaschi

Research output: Contribution to journalConference articlepeer-review

31 Scopus citations


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.

Original languageEnglish (US)
Article number1253599
Pages (from-to)136-141
Number of pages6
JournalProceedings -Design, Automation and Test in Europe, DATE
StatePublished - 2003
EventDesign, Automation and Test in Europe Conference and Exhibition, DATE 2003 - Munich, Germany
Duration: Mar 3 2003Mar 7 2003

All Science Journal Classification (ASJC) codes

  • General Engineering


Dive into the research topics of 'Modeling and integration of peripheral devices in embedded systems'. Together they form a unique fingerprint.

Cite this