Construction par modélisation d’intergiciel pour systèmes répartis temps réel embarqués:vers une généralisation des formalismes de description.
Directeurs de thèse:
Sujet:
Les intergiciels fournissent les briques de base pour la construction d’applications réparties (CORBA,RMI,SOAP,…). Ils simplifient l’écriture de ces applications,tout en étant configurables. Typiquement,l’instanciation d’intergiciel pour la répartition utilise des mécanismes classiques de programmation,tels que les patrons de conception et les mécanismes issus de l’orienté objet. Des normes comme les Enterprise Java Beans,CORBA Component Model définissent ces mécanismes qui sont adoptés par l’industrie (Thalès,Airbus,Agence Spatiale Européenne …). Un frein à leur utilisation dans les domaines critiques comme l’avionique,le spatial reste le coût de ces mécanismes (coût à l’exécution,au test,à la qualification).
Au sein du département INFRES,nous avons développé un ensemble de technologies pour la construction statique d’intergiciels à partir d’une description AADL du système à construire (http://aadl.enst.fr),et reposant sur une architecture canonique d’intergiciel:l’intergiciel schizophrène (http://polyorb.objectweb.org). Ces technologies permettent de garantir la qualité du code généré,faciliter son analyse et sa qualification.
Nous souhaitons étendre ce projet en définissant une description indépendante du formalisme de description du système. Ceci passera par la définition d’un modèle canonique d’applications réparties pivot qui permettra de projeter une description d’application (UML/ MARTE,CCM,EJB …) vers ce modèle en vue de la génération de l’intergiciel. La définition de ce modèle canonique,la définition des règles de transformation et leur cohérence restent des problèmes critiques:des approches telles que OMG MDA ne fournissent que des réponses balbutiantes. On cherchera donc à se rapprocher des techniques de description plus formelles,issues de la modélisation des langages de programmation pour définir cette solution.
