A DSL approach to improve productivity and safety in device drivers development

Abstract : Although peripheral devices come out at a frantic pace and require fast releases of drivers, little progress has been made to improve the development of drivers. Too often, this development consists of decoding hardware intricacies, based on inaccurate documentation. Then, assembly-level operations need to be used to interact with the device. These low-level operations reduce the readability of the driver and prevent safety properties from being checked. This paper presents an approach based on domain-specific languages to overcome these problems. We define a language, named Devil, dedicated to defining the basic communication with a device. Unlike a general-purpose language, Devil allows a description to be checked for consistency. This not only improves the safety of the interaction with the device but also uncovers bugs early in the development process. To assess our approach, we have shown that Devil is expressive enough to specify a large number of devices. To evaluate productivity and safety improvement over traditional development in C, we report a first experiment based on mutation testing.
Type de document :
Communication dans un congrès
15th IEEE International Conference on Automated Software Engineering, 2000, France. pp.101-109, 2000
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00350233
Contributeur : Laurent Réveillère <>
Soumis le : mardi 6 janvier 2009 - 11:46:47
Dernière modification le : samedi 7 avril 2018 - 01:33:21
Document(s) archivé(s) le : mardi 8 juin 2010 - 18:37:44

Fichier

ase00-devil.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00350233, version 1

Collections

Citation

Laurent Réveillère, Fabrice Mérillon, Charles Consel, Renaud Marlet, Gilles Muller. A DSL approach to improve productivity and safety in device drivers development. 15th IEEE International Conference on Automated Software Engineering, 2000, France. pp.101-109, 2000. 〈hal-00350233〉

Partager

Métriques

Consultations de la notice

740

Téléchargements de fichiers

293