L’écriture de ce type de programme étant très complexe, Rathaxes va la simplifier 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.

Ainsi, 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.