Modeling and integration of peripheral devices in embedded systems

Shaojie Wang; Sharad Malik; Reinaldo A. Bergamaschi

doi:10.1109/DATE.2003.1253599

Modeling and integration of peripheral devices in embedded systems

Shaojie Wang, Sharad Malik, Reinaldo A. Bergamaschi

Research output: Contribution to journal › Conference article › peer-review

31 Scopus citations

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.

Original language	English (US)
Article number	1253599
Pages (from-to)	136-141
Number of pages	6
Journal	Proceedings -Design, Automation and Test in Europe, DATE
DOIs	https://doi.org/10.1109/DATE.2003.1253599
State	Published - 2003
Event	Design, Automation and Test in Europe Conference and Exhibition, DATE 2003 - Munich, Germany Duration: Mar 3 2003 → Mar 7 2003

All Science Journal Classification (ASJC) codes

General Engineering

Access to Document

10.1109/DATE.2003.1253599

Cite this

@article{059890d51b744190a992ecede65e942e,

title = "Modeling and integration of peripheral devices in embedded systems",

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.",

author = "Shaojie Wang and Sharad Malik and Bergamaschi, {Reinaldo A.}",

year = "2003",

doi = "10.1109/DATE.2003.1253599",

language = "English (US)",

pages = "136--141",

journal = "Proceedings -Design, Automation and Test in Europe, DATE",

issn = "1530-1591",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

note = "Design, Automation and Test in Europe Conference and Exhibition, DATE 2003 ; Conference date: 03-03-2003 Through 07-03-2003",

}

TY - JOUR

T1 - Modeling and integration of peripheral devices in embedded systems

AU - Wang, Shaojie

AU - Malik, Sharad

AU - Bergamaschi, Reinaldo A.

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=9644292642&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=9644292642&partnerID=8YFLogxK

U2 - 10.1109/DATE.2003.1253599

DO - 10.1109/DATE.2003.1253599

M3 - Conference article

AN - SCOPUS:9644292642

SN - 1530-1591

SP - 136

EP - 141

JO - Proceedings -Design, Automation and Test in Europe, DATE

JF - Proceedings -Design, Automation and Test in Europe, DATE

M1 - 1253599

T2 - Design, Automation and Test in Europe Conference and Exhibition, DATE 2003

Y2 - 3 March 2003 through 7 March 2003

ER -

Modeling and integration of peripheral devices in embedded systems

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this