Le nouveau défi de la coordination des langages de modélisation. Gestion de l'hétérogénéité des modèles dans le développement et l'exécution de systèmes logiciels complexes
- Others:
- Reliable and efficient component based software engineering (TRISKELL) ; Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) ; Université de Rennes 1 (UR1) ; Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) ; Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1) ; Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) ; Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique ; Institut National de Recherche en Informatique et en Automatique (Inria)
- Models and methods of analysis and optimization for systems with real-time and embedding constraints (AOSTE) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Inria Paris-Rocquencourt ; Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED) ; Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S) ; Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S) ; Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)
- Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)
- Thales Research and Technologies [Orsay] (TRT) ; THALES [France]
- Thales Research and Technology [Palaiseau] ; THALES [France]
- ANR-12-INSE-0011,GeMoC,Un framework de modèles de calcul génériques pour l'exécution et l'analyse dynamique de modèles(2012)
Description
L'ingénierie dirigée par les modèles (IDM) vise à réduire la complexité accidentelle des développements de systèmes logiciels complexes. L'IDM vise à résoudre ce problème par l'utilisation de techniques de modélisation qui prennent en charge la séparation des préoccupations et la génération automatique des artefacts du système à partir de modèles (e.g., cas de tests, code d'implantation, scripts de déploiement et de configuration). Un modèle décrit un aspect du système et est généralement créé ou dérivé pour un objectif particulier. Les modèles des différents aspects du système sont toutefois rarement manipulés indépendamment les uns des autres. Les ingénieurs systèmes sont donc confrontés à la tâche difficile de relier et synchroniser des informations issues de différents modèles. Les environnements modernes de conception et d'implantation de langages de modélisation offrent un bon support pour le développement d'un langage de modélisation, mais offrent peu ou pas de support pour permettre une utilisation coordonnée de plusieurs langages de modélisation. Supporter l'utilisation conjointe de plusieurs langages de modélisation pour la définition d'un système correspond au défi que nous qualifions de coordination des langages de modélisation, c'est-à-dire l'utilisation de plusieurs langages de modélisation pour soutenir le développement coordonné des aspects hétérogènes d'un système. Dans cet article, nous faisons tout d'abord un bilan sur l'adoption de l'IDM et le constat de la multiplication des langages de modélisation dans les processus de développement industriels. Nous exposons ensuite le nouveau défi que constitue la coordination des langages de modélisation, et présentons les pistes de solutions actuellement explorées par les partenaires de l'initiative GEMOC.
Abstract
National audience
Additional details
- URL
- https://hal.inria.fr/hal-00854221
- URN
- urn:oai:HAL:hal-00854221v1
- Origin repository
- UNICA