>>> Thématique 1: Ingénierie logicielle dirigée par les modèles  
EVENEMENTS

PRESENTATION DU PROGRAMME

CONVENTION CARROLL

PROJETS

CONTACT: THALES, CEA, INRIA

L’ingénierie du logicielle dirigée par les modèles (MDE, Model-Driven Engineering) est une approche du développement logiciel qui met la notion de modèle (plutôt que de code) au centre du cycle de développement. Cette approche s’appuie principalement sur le langage de modélisation UML et sur l’initiative MDA (Model-Driven Architecture), menés par l’OMG (Object Management Group), dont THALES est membre contributeur.

L’initiative MDA vise à organiser le développement dirigé par les modèles en couches, allant des « PIM » (Platform Independent Models) aux « PSM » (Platform-Specific Models). Cette approche en couches permet une meilleure rationalisation des développements (qui permet en particulier d'améliorer le découplage entre les préoccupations métiers et techniques), ainsi qu’une capitalisation plus importante (on réutilise les modèles et on génère le code).

Les 4 thèmes de recherche suivants ont été définis dans CARROLL afin de consolider l’approche MDE:

1.1 Transformation de modèles
Au sein de la problématique de l’ingénierie logicielle dirigée par les modèles, la transformation de modèle est la technologie clé, sous-jacente à la plupart des autres. En effet, la transformation de modèle est la technologie qui va fournir le squelette de l'approche d’ingénierie logicielle à base de couches de modèles (MDA). La transformation est le lieu technique où une part importante de l’expérience du développement système et logiciel va se réaliser, permettant ainsi la focalisation des ressources sur la plus-value « métier » du développement du système.

1.2 Validation par génération de tests dans le contexte MDE
Le test reste encore le meilleur moyen de vérifier la qualité d’un système tout au long de son cycle de développement. Les coûts d’écriture des tests restent cependant importants et les activités associées sont parfois peu valorisantes. Dans ce thème, on étudie comment les tests et la validation peuvent être automatisés et les technologies associées généralisées aux approches MDE (permettant ainsi le test des modèles et des transformations de modèle).

1.3 Architecture et qualité de service des systèmes logiciels
On sait qu’il est important pour THALES de capitaliser davantage sur l’architecture de ses systèmes, et en particulier sur la base de modèles de cette architecture. Ce thème étudie ces approches de modélisation de l'architecture et vise ainsi une meilleure maîtrise des coûts d’intégration des systèmes et surtout une meilleure synergie entre les activités d’ingénierie système et d’ingénierie logicielle.

1.4 Ingénierie dirigée par les modèles des systèmes temps réel embarqués
Les systèmes développés par THALES qui font partie du segment très contraint du temps réel et de l’embarqué sont nombreux (radio logicielle, calculateur embarqué, équipement de guerre électronique, etc.). Ce thème vise à étudier une déclinaison l’approche MDE pour ce segment. On souhaite ainsi obtenir à terme un meilleur support au découplage entre les préoccupations spécifiques du temps réel et les préoccupations métier. On envisage également le développement d’outils d’analyse permettant d’aider le concepteur d’un système dans ces choix technologiques et de dimensionnement.
 

Dernière mise à jour: 07/01/2004 - Mentions Légales

Le cycle du développement logiciel
vu par MIRROR et ALICE,
deux programmes pilotes menés par THALES sur l'ingénierie dirigée par les modèles et les middleware. Les recherches menées par CARROLL s'inscrivent dans les besoins de ces programmes pilotes