Partenaires
Rechercher
Navigation
Accueil du site > Français > Thèmes de recherche > Thème 7 - Sûreté de développement du logiciel > Equipe MACAO > Axes de recherche
Axes de recherche
Nos travaux ont pour dénominateur commun l’assistance au processus de développement au travers d’un outillage vérifiant la conformité et la qualité des modèles attendus en rapport avec la démarche métier préconisée. Dans ce contexte, l’équipe étudie plus particulièrement les processus de développement à base de modèles ; ces processus sont tels qu’ils attachent un ou plusieurs modèles interprétables et manipulables par la machine à chacune de leurs étapes. Se manifeste alors le besoin d’exprimer formellement des transformations, rendant les modèles productifs. Tout au long du développement, un intérêt particulier est accordé aux composants, modules de code réutilisables dans d’autres contextes, concernant leur interopérabilité et leur capacité à satisfaire les exigences des utilisateurs. Plus en aval, nous cherchons à intégrer des modèles de code directement dérivés des langages de programmation, mais aussi de faire interopérer des langages dédiés à un même secteur d’activités. Dans les deux cas, il s’agit de permettre aux experts d’un domaine d’exploiter des programmes à partir de leurs modèles métier.
Les processus de développement à base de modèles
Dans les concepts véhiculés par les méta-modèles standards, la dimension du temps sur les différents artefacts de conception ou éléments de modélisation n’est pas prise en compte. Or, les cycles de vie sont principalement itératifs, ce qui entraîne différents niveaux d’affinage des modèles d’analyse et de conception. Dès lors, les liens existants entre modèles affinés ou transformés ne sont pas pris en compte en l’absence d’outillage ad-hoc. Il s’agit donc de mettre en place des techniques de suivi des (...)
L’ingénierie système et les composants
Depuis quelques années, le logiciel des systèmes embarqués vit une véritable révolution. En effet l’usage de ces systèmes dans tous les secteurs de l’industrie, comme l’aéronautique, l’automobile, le nucléaire, et dans la vie courante, comme les télécommunications et la domotique connaît une croissance fulgurante. Ils sont utilisé sous divers formes (des systèmes autonomes, des sous systèmes périphériques au systèmes de calculs intégré,..), proposés dans des dispositifs différents (les capteurs, unités de (...)
L’interopérabilité des modèles et des langages
Un domaine est un champ d’expertise formalisé à l’aide de langages de modélisation dédiés appelés DSL (Domain Specific Language) élaborant des modèles spécifiques a priori réutilisables. La modélisation d’un système nécessite la coordination de points de vue hétérogènes, les uns relevant de spécificités des DSL, les autres relevant d’artefacts plus conventionnels qu’il faut souvent adapter au moyen de profils dédiés. Il s’agit donc d’intégrer (tisser, fusionner, ...), lors de la définition d’un processus, des (...)
Les transformations de modèles
Dans cette étude, il s’agit de prendre en compte deux points de vue de modélisation indépendants, l’un fonctionnel intégrant les exigences métier, l’autre technique s’attachant davantage à définir le déploiement de ces exigences vis-à-vis de la cible. Une telle approche en Y implique de fusionner les deux points de vue ou de construire un modèle dont les éléments de modélisation résultent d’opérations de combinaison d’éléments extraits de modèles déjà existants. Symétriquement, une opération courante de (...)