Modeling and Integration of Peripheral Devices in Embedded Systems
S. Wang, S. Malik, and R. Bergamaschi. DATE '03: Proceedings of the Conference on Design, Automation and Test in Europe, page 10136. Washington, DC, USA, IEEE Computer Society, (2003)
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.
DATE '03: Proceedings of the Conference on Design, Automation and Test in Europe
year
2003
pages
10136
publisher
IEEE Computer Society
text
Wang, S., Malik, S., and Bergamaschi, R. A., `Modeling and Integration of Peripheral Devices in Embedded Systems', in Proceedings of the Conference on Design, Automation and Test in Europe - Volume 1 (March 03 - 07, 2003). Design, Automation, and Test in Europe. IEEE Computer Society, Washington, DC, 10136.
%0 Conference Paper
%1 wang03modelling
%A Wang, S.
%A Malik, S.
%A Bergamaschi, R. A.
%B DATE '03: Proceedings of the Conference on Design, Automation and Test in Europe
%C Washington, DC, USA
%D 2003
%I IEEE Computer Society
%K DATE Modeling OS RTOS
%P 10136
%T Modeling and Integration of Peripheral Devices in Embedded Systems
%X 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.
%@ 0-7695-1870-2
@inproceedings{wang03modelling,
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.},
added-at = {2007-04-12T12:53:16.000+0200},
address = {Washington, DC, USA},
author = {Wang, S. and Malik, S. and Bergamaschi, R. A.},
biburl = {https://www.bibsonomy.org/bibtex/259b4b94d36c67930930671b384e187c5/derkling},
booktitle = {DATE '03: Proceedings of the Conference on Design, Automation and Test in Europe},
interhash = {05682fbd0668f88fa5e4295a49211ca4},
intrahash = {59b4b94d36c67930930671b384e187c5},
isbn = {0-7695-1870-2},
keywords = {DATE Modeling OS RTOS},
pages = 10136,
publisher = {IEEE Computer Society},
text = {Wang, S., Malik, S., and Bergamaschi, R. A., `Modeling and Integration of Peripheral Devices in Embedded Systems', in Proceedings of the Conference on Design, Automation and Test in Europe - Volume 1 (March 03 - 07, 2003). Design, Automation, and Test in Europe. IEEE Computer Society, Washington, DC, 10136.},
timestamp = {2007-04-12T12:53:16.000+0200},
title = {Modeling and Integration of Peripheral Devices in Embedded Systems},
year = 2003
}