
Le projet Isaac a pour objectif d'intégrer les concepts objets de haut niveau au coeur même des systèmes d'exploitation. Son langage objet à prototypes Lisaac a été réalisé à cet effet. Ses prédispositions à la programmation système permettent une programmation de bas niveau tout en profitant d'une technologie des langages objets de haut niveau.
Ainsi, l'héritage statique, la liaison dynamique et l'héritage dynamique deviennent des outils puissants de modélisation de couche basse comme les pilotes de périphérique. La programmation par contrat et l'héritage automatique de ces contrats permettent de rendre plus robuste l'écriture de morceau de code spécifique à un matériel. Le système d'exploitation Isaac constitue une mise à l'épreuve de notre modèle avec une adaptation sur 5 architectures différentes. Les tests réalisés sur notre compilateur Lisaac face au compilateur SmartEiffel et C montrent qu'il est maintenant réellement possible d'utiliser des langages de haut niveau sans une perte de performance d'exécution conséquente.