Communication Dans Un Congrès Année : 2011

Me3D: A model-driven methodology expediting embedded device driver development

Résumé

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

Mots clés

Fichier non déposé

Dates et versions

hal-00642274 , version 1 (17-11-2011)

Identifiants

Citer

H. Chen, G. Godezt-Bar, Frédéric Rousseau, Frédéric Pétrot. Me3D: A model-driven methodology expediting embedded device driver development. 22nd IEEE International Symposium on Rapid System Prototyping (RSP'11), May 2011, Karlsruhe, Germany. pp.171-177, ⟨10.1109/RSP.2011.5929992⟩. ⟨hal-00642274⟩
96 Consultations
0 Téléchargements

Altmetric

Partager

  • More