ENSTA Bretagne : archéo-robotique au sub-meeting

Ingénierie dirigée par les modèles : des modèles de spécification à la génération de code

ENSTA Bretagne Formation Continue référençable (Datadock)
La complexité grandissante des logiciels et des systèmes implique aujourd’hui des activités de modélisation avec l’utilisation des techniques permettant de gérer cette complexité. Les modèles conçus doivent permettre une adaptation aisée aux évolutions matérielles rapides, l’intégration de nouvelles fonctionnalités et faciliter la maîtrise de la fiabilité. Ces différents objectifs sont intégrés dans une approche globale d’ingénierie dirigée par les modèles.
Cette approche repose avant tout sur l’utilisation de différents langages de modélisation aussi formels que semi-formel que nous illustrons à travers l’utilisation du langage modélisation UML.

Détails de formation

#Sciences et Technologies de l’Information et de la Communication
Objectifs
Afin de maîtriser un ensemble de langages de modélisation et les outils associés, ce cours présente les approches par méta-modélisation comme méthode définition de langages de modélisation. Deux approches sont illustrées à travers la définition de langage spécialisé à des domaines et par spécialisation de langage généraliste comme UML.
Les transformations de modèles sont utilisées pour établir la jonction entre les différents langages et ainsi créer une chaîne d'outils continue. Des outils ou langages dédiés sont utilisés afin de réaliser un outillage spécialisé à la chine d'outils voulue. Les transformations de modèles incluent également la phase de génération de code qui permet d'obtenir automatiquement le code de l'application finale.
Prérequis
Utilisation de langages de modélisation comme UML.
Bonne maîtrise du concept de programmation orientée objet.
Pédagogie
Séances de cours et de travaux pratiques sont réalisées en alternance.
La journée de cours se déroule de 8h30 à 12h00 et 13h30 à 17h00.
Niveau du stage
Perfectionnement / Spécialisation
Dispositif d'évaluation
Évaluation à chaud en fin de formation par les stagiaires. Transmission au client, du compte-rendu d’évaluation et des feuilles d’émargement en complément de la facturation. Les attestations de stage sont remises directement aux stagiaires à la fin de la session de formation. Les stagiaires ou le responsable Formation Continue sont susceptibles de recevoir par mail, un « questionnaire de satisfaction à froid » quelques mois après le déroulement de la formation.
Programme détaillé
  • Problématique de la modélisation système et logicielle
  • Introduction à la metamodélisation
  • Réalisation de metamodèle dans l’environnement Eclipse
  • Domain Specific Language (DSL) ou profils UML
  • Exemple du domaine de l’embarqué
  • Notion de transformations de modèles
  • Exemple de transformation de modèles à modèles
  • Exemple de transformation pour de la génération de code
  • Vers la notion de chaîne d’outils
Responsable de la formation et équipe pédagogique
Joël Champeau
Enseignant-chercheur
Membre du Lab-STICC, UMR CNRS 6285
Jean-Christophe Le Lann
Enseignant-chercheur
Membre du Lab-STICC, UMR CNRS 6285

contact

Catherine Le Lagadec
Enseignante
Responsable de la formation continue
02 98 34 88 24