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.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.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.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.A13:Plateforme
MPS (DSL: Créer votre propre langage à l’aide d’un éditeur projectionnel) -
Sébastien Mosser (
I3S,Nice)