Abstract FR:

Bien que les pilotes de périphériques soient des composants critiques, leur processus de développement est resté rudimentaire malgré le haut niveau d'expertise requis. Ainsi, une récente étude a montré que leur propension à contenir des bogues est jusqu'à sept fois plus importante que celles des autres composants d'un système d'exploitation. Cette thèse propose une nouvelle approche au développement des pilotes de périphériques basée sur les langages dédiés. Nous illustrons notre approche par l'introduction d'un langage dédié à la spécification d'interfaces de programmation de périphériques, nommé Devil. Le traitement d'une spécification Devil commence par son analyse afin de déceler d'éventuelles incohérences. Le code nécessaire pour implémenter la communication entre le périphérique et le pilote est ensuite généré automatiquement. Ce code se décline sous deux formes suivant que l'on désire privilégier les vérifications réalisées sur le pilote ou sa performance à l'exécution.