Prospectives

Les prospectives actuelles concernent la poursuite du développement de l'approche méta-objet que nous avons décrite. Elle consiste en fait à étudier et à développer un environnement de programmation d'application tolérant les fautes et les intrusions. L'environnement d'exécution sous-jacent basé sur la technologie micro-noyau sera développé en parallèle. Les recherches actuelles s'effectuent selon trois axes principaux :

-

Environnement de programmation par méta-objets

Il s'agit de concevoir une architecture à méta-niveaux multiples et des méta-objets en utilisant l'héritage. Notre langage favori actuellement est OpenC++, cependant, d'autres langages à méta-objets devront être analysés. Enfin, la conception de hiérarchies d'héritage de classes au méta-niveau mêlant des aspects de tolérance aux fautes et de sécurité sera poursuivie et expérimentée.

-

Environnement opérationnel

Le développement de la plate-forme expérimentale sur Chorus sera poursuivi et enrichi de services de base à définir pour la mise en oeuvre des méta-objets. L'expérimentation des mécanismes à méta-niveaux multiples devra être menée sur cette plate-forme. De nouvelles versions des protocoles xAMp seront étudiées ainsi que d'autres sous-systèmes de gestion de groupe et de protocoles de diffusion atomique.

-

Réutilisation et test de méta-objets.

La réutilisation de mécanismes qui va de pair avec la notion d'héritage nécessite l'utilisation de techniques de test adaptées à la programmation par objet. Dans une première étape, on commencera par analyser les techniques classiques de test (couverture du graphe de contrôle, du graphe d'appel, etc.), pour identifier leurs limites vis-à-vis de la structure et des mécanismes internes --- lors de l'exécution --- de plusieurs langages de programmation orientée-objets. A l'issue de cette étape, on définira et expérimentera des stratégies de test spécifiques à différents langages à objets.