DocumentCode :
1902655
Title :
Me3D: A model-driven methodology expediting embedded device driver development
Author :
Chen, Hui ; Godet-Bar, Guillaume ; Rousseau, Frédéric ; Pétrot, Frédéric
Author_Institution :
TIMA Lab., UJF, Grenoble, France
fYear :
2011
fDate :
24-27 May 2011
Firstpage :
171
Lastpage :
177
Abstract :
Traditional development of reliable device drivers for multiprocessor system on chip (MPSoC) is a complex and demanding process, as it requires interdisciplinary knowledge in the fields of hardware and software. This problem can be alleviated by an advanced driver generation environment. We have achieved this by systematically synthesizing drivers from a device features model and specifications of hardware and in-kernel interfaces, thereby lessening the impact of human error on driver reliability and reducing the development costs. We present the methodology called Me3D and confirm the feasibility of the driver generation environment by manually converting sources of information captured in different formalisms to a Multimedia Card Interface (MCI) driver for a real MPSoC under a lightweight operating system (OS).
Keywords :
device drivers; embedded systems; multiprocessing systems; operating systems (computers); peripheral interfaces; system-on-chip; MCI driver; MPSoC; Me3D; driver generation environment; driver reliability; embedded device driver development; hardware specification; in-kernel interface; lightweight operating system; model-driven methodology; multimedia card interface; multiprocessor system on chip; reliable device driver; Driver circuits; Hardware; Kernel; Libraries; Programming; Registers;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Rapid System Prototyping (RSP), 2011 22nd IEEE International Symposium on
Conference_Location :
Karlsruhe
ISSN :
Pending
Print_ISBN :
978-1-4577-0658-5
Electronic_ISBN :
Pending
Type :
conf
DOI :
10.1109/RSP.2011.5929992
Filename :
5929992
Link To Document :
بازگشت