Modeling and integration of peripheral devices in embedded systems

Author

Wang, Shaojie ; Malik, Sharad ; Bergamaschi, Reinaldo A.

Author_Institution

Dept. of Electr. Eng., Princeton Univ., NJ, USA

fYear

2003

fDate

2003

Firstpage

136

Lastpage

141

Abstract

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.

Keywords

device drivers; embedded systems; finite state machines; formal specification; peripheral interfaces; software reliability; software reusability; IP-based embedded systems; Linux; USB device driver; automated device driver development; communication channels; constraints; declaratively described rules; device behavior formal specification models; event driven finite state machines; peripheral device integration; peripheral device modeling; platform independent virtual environment; software reliability; software reusability; synthesis patterns; Automata; Automation; Communication channels; Embedded system; Hardware; Operating systems; Productivity; Time to market; Universal Serial Bus; Virtual environment;

fLanguage

English

Publisher

ieee

Conference_Titel

Design, Automation and Test in Europe Conference and Exhibition, 2003

ISSN

1530-1591

Print_ISBN

0-7695-1870-2

Type

conf

DOI

10.1109/DATE.2003.1253599

Filename

1253599