ecole informatique
L'innovation  >  Les grandes orientations des EIP  >  Thème - Outils d'entreprise  >  Rathaxes

Rathaxes: générateur de drivers

L’EIP Rathaxes a pour objectif d’apporter une solution aux problèmes de génération de pilotes de périphériques. L'écriture de ce type de programme étant très complexe, Rathaxes l'a simplifie en proposant un langage de description de pilotes de périphériques robustes.

Le code écrit par le développeur tirera sa robustesse des nombreuses phases de vérification et de validation pendant la compilation afin d'éliminer un maximum de problèmes potentiels liés à une approche classique de la programmation de pilotes. Cette description unifiée d'un pilote permettra à la fin de l'étape de compilation de générer le code du pilote voulu pour 3 systèmes d'exploitation: OpenBSD,Windows XP et Linux.

L’équipe Rathaxes a mis au point, en partenariat avec le LSE (Laboratoire Système et Sécurité de l’EPITECH), un langage spécifique au domaine (DSL), un compilateur et une librairie de patrons qui permettent de générer des codes implémentant différentes couches d’un pilote pour plusieurs systèmes d’exploitation.

Le projet

Selon plusieurs études, près de 70% du code d’un système d’exploitation est composé de drivers (pilotes). Cette partie du code est  extrêmement technique (connaissance du système d’exploitation et de l’électronique) et très sensible aux bugs.
L’objectif de Rathaxes est donc de limiter grandement ce problème en se proposant de créer un générateur de drivers :

  • Avec un langage de description simple et aussi naturel que possible
  • Multi plateformes, facilitant grandement l’intégration de nouveaux périphériques aux petits systèmes d’exploitation

Afin de mener à bien ce projet, l’équipe de Rathaxes a découpé ce générateur 4 grandes parties :

  • Un langage descriptif simple pour décrire le fonctionnement du périphérique
  • Une librairie adaptable selon le système vise
  • Un générateur de code à partir du fichier descriptif et de la librairie de liaison
  • Une documentation exhaustive, permettant une prise en main facile pour les développeurs de drivers.

Le processus de génération sera donc le suivant :


Architecture Rathaxes

EPITECH en France

EPITECH en France

Rathaxes: générateur de drivers


Rathaxes a pour objectif d’apporter une solution aux problèmes de génération de pilotes de périphériques.

Partenaires