Page de travail

L'ingénierie Système (approche globale, systémique, normes, certifications, qualité, simulation, …) et du Génie Logiciel (outils, modèles, agilité, prototypage, tests…) sont des domaines de recherche et applicatifs en constante évolution. La modélisation est au cœur de ceux-ci, sous des formes variées et complémentaires. La thématique T2 vise à développer ces aspects avec des apports méthodologiques mais également pratiques illustrés à l'aide de plateformes.

Ingénierie système, génie logiciel, modélisation (UML, SYSML, DSL, besoins …), IDE, environnement de développement

• 09h00-09h30 : Pourquoi et comment modéliser pendant l'analyse et le développement d'un logiciel? - Jean-Michel Bruel, IRIT, Toulouse pdf vidéo
• 09h30-10h00 : Présentation d'UML - - Laurent Perochon, METAFORT, Lempdes pdf vidéo
• 10h00-10h30 : SysML - Nicolas Belloir, LIUPPA, Pau pdf vidéo
• 10h30-11h00 : Pause
• 11h00-11h45 : DSL, DSML et l'ingénierie par les modèles - Benoît Combemale, INRIA/IRISA pdf vidéo
• 11h45-12h30 : Papyrus et Moka : un environnement standard, open source de modélisation et de simulation Jérémie Tatibouët, CEA LIST pdf vidéo

• T2.AP01 : fusionné avec T2.AP02
• T2.AP02 : Présentation générale d'UML - La modélisation objet et le diagramme de classe UML - Initiation - Etienne Gondet, Observatoire Midi-Pyrénées)
• T2.AP03 : Initiation au MBSE (Model-Based System Engineering) avec SysML - J.-M. Bruel, IRIT

• T2.GT01: Modélisation et agilité pendant l'analyse et le développement d'un logiciel? REX et veille - Pascal Dayre(IRIT/ENSEEIHT, Toulouse)
• T2.GT02: Comment capturer et modéliser les besoins dans un projet de recherche? REX et veille. Limitation d'UML et de SysML et potentiel de Goal-Oriented Requirements Engineering (GORE). Prise en compte des tests (tests d'acceptation. définition de finitude, TDD …). J.M. Bruel
• T2.GT03:fusionné avec T8.GT03 comment vérification et validation son développement dans un contexte de recherche (validation scientifique du code ….)
• T2.GT04: pourquoi et comment créer son DSL? REX, veille, apport pour sa thématique scientifique - Pascal Dayre (IRIT, Toulouse)
• T2.GT06: Intérêt de la modélisation conceptuelle dans la production de logiciel scientifique (en lien avec la thématique T8) - pdf - Laurent Pérochon, UMR METAFORT
• T2.GT07: La modélisation et la vraie vie, la modélisation libre - Christophe Guychard (openflexo.org)

• T2.A04 :Atelier Sysml - Nicolas Belloir LIUPPA, Univ. Pau
• T2.A06 :(fusionné avec le T2.A10)
• T2.A07 :Modéliser, exécuter et simuler des Statecharts UML et SCXML (librairie PauWare) - Franck Barbier LIUPPA, Univ. Pau
• T2.A08 :Maximiser l’ exploitation de vos modèles avec Modelio Studio (Tony Marchand, Modelio)
• T2.A09 :Plateforme TTool (UML, SysML) : sûreté ET sécurité (Ludovic Avrille, Télécom ParisTech)
• T2.A10 :Papyrus et Moka - Contrôler un robot à l'aide de modèles exécutables Papyrus (CEA LIST)
• T2.A11 :Plateforme Sirius, créer son propre outil de modélisation graphique - Maxime Porhel Obeo
• T2.A12 :Plateforme Openflexo, comment faire l'ingénierie de votre modélisation conceptuelle (IDM) - Christophe Guychard (openflexo.org)
• T2.A13:Plateforme MPS (DSL: Créer votre propre langage à l’aide d’un éditeur projectionnel) - Sébastien Mosser (I3S,Nice)