Projet ACCORD. Projet ACCORD Sébastien Gérard

Save this PDF as:
 WORD  PNG  TXT  JPG

Dimension: px
Commencer à balayer dès la page:

Download "Projet ACCORD. Projet ACCORD Sébastien Gérard"

Transcription

1 Projet ACCORD CEA-LIST Contact : CEA LIST Journées de l Action IDM 21 mai Paris 1 Projet ACCORD Sébastien Gérard Une équipe du CEA-LIST / / SOL / LLSP (Prof. F. Terrier) Equipe: 11 permanents (chercheurs/ingénieurs) : Sébastien GERARD, Hubert DUBOIS, Agnès LANUSSE, Chokri MRAIDHA, Ansgar RADERMACHER, Sylvain ROBERT, David SERVAT, Rémi SCHNEKENBURGER, Yann TANGUY, Patrick TESSIER, Patrick VANHUXEM 12 thésards, post-docs et ingénieurs experts Points-clés: Développement de techniques basées sur UML pour la conception de systèmes embarqués distribués temps-réel Outils de conception basés sur transformation de modèles UML et génération automatique de code CEA LIST Journées de l Action IDM 21 mai Paris 2

2 Modélisation UML par composants Vérification d 'in t r o d u c t io n d e c r o is s a n c e d e m a t u r i t é d e d é c l in RegulatorScreen T e m p s T o t a l d e s v e n t e s Traçabilité des exigences Ordonnancement Analyse de performances Transformation de modèles Modèles spécifiques aux plateformes cibles Modèles de plateformes «component» SpeedRegulator «component»» RegulatorScreen «component» ControlRegul «component» Syst1 «component» Syst2 CORBA CCM, EJB Middleware dédié Génération de code Cp 1 Cp 2 CEA LIST Journées de l Action IDM 21 mai Paris 3 Les domaines de recherche et d activités Systèmes embarqués temps-réel Prise en compte dans UML : MARTE Prise en compte de la plateforme et de l OS Noyau TR : Accord Génération de code embarqué Vérification de modèles : analyses temporelles Middlewares dédiés: CCM, EJB Modélisation par composants Suivi des exigences IDM : Transformation de modèles Génération de code Méta-modélisation et profils Méthodologie pour le développement de CEA LIST Journées de l Action IDM 21 mai Paris 4

3 Projets de recherche en cours (1/2) Programme CARROLL ( ) avec Thalès et INRIA CORTESS: profil MARTE pour les syst. TR/E DYONISOS: Middleware et composants pour les syst. TR/E Programme Usine Logicielle ) OpenDevFactory: plateforme standard pour l intégration de technologies pour définir des outils de modélisation INFLEXION: infrastructure d exécution adaptable et flexible MeMVaTEx (ANR ) Modélisation, validation et traçabilité des exigences dans un processus d IDM REVE (ANR ) Modèle de composant, support d'exécution et système de typage pour les applications TR/E CEA LIST Journées de l Action IDM 21 mai Paris 5 Projets de recherche en cours (2/2) OpenEmbeDD (ANR ) Plateforme open-source d IDM pour les SE/TR Flex-eWare (ANR ) Infrastructures d exécution flexibles pour l embarqué DOMINO (ANR ) fiabiliser un processus d'ingénierie accompagnant le développement de logiciels ATESST (STREP ) Description d un langage d architecture pour l automobile ARTIST2 (NoE ) Modélisation à base de composants pour les syst. embarqués MODELPLEX (IST ) Solution basée sur l'idm pour la modélisation de systèmes d'ingénierie complexes améliorant la qualité et la productivité. CEA LIST Journées de l Action IDM 21 mai Paris 6

4 Activités de recherche Action IDM du CNRS Voir : Ł Mise en place d une journée transverse sur la transformation de modèles (cf. groupe «Transformation de programmes et de modèles» du GdR GPL) Organisation de workshops RTAS «Feedback on the usage of the UML profile for SPT» UML SIVOES 2004 (MDA pour l embarqué) Ecole d été sur le MDA pour les systèmes TR embarqués CEA LIST Journées de l Action IDM 21 mai Paris 7 Papyrus overview Papyrus is a dedicated tool for modelling within UML2. This open source tool is based on the Eclipse environment Key features: Eclipse UML2 compliance Full respect of the UML2 standard as defined by the OMG Full respect of the DI2 (Diagram Interchange) standard Extendable architecture of Papyrus that allows users to add new diagrams, new code generators, etc. Profile development support facilities for UML2 profiles Nested profiles support A web site: CEA LIST Journées de l Action IDM 21 mai Paris 8

5 UML diagrams supported in Papyrus Version of Papyrus supports the following UML2 diagrams: Activity diagram (partially) Class diagram Composite diagram Use Case diagram Deployment diagram State Machine diagram CEA LIST Journées de l Action IDM 21 mai Paris 9 Next steps in Papyrus Papyrus 1.7 Date : Begin of July 2007 Functionnalities : To be compliant to Eclipse 3.3 Europa version of Eclipse A SVN web site for development Finalization of: Activity diagram State Machine diagram Component diagram Requirement diagram Document generation CEA LIST Journées de l Action IDM 21 mai Paris 10

Résultats des projets CARROLL. Bilan et perspectives. Validation et Vérification

Résultats des projets CARROLL. Bilan et perspectives. Validation et Vérification Résultats des projets CARROLL Bilan et perspectives Validation et Vérification Paul Le Guernic, INRIA Workshop CARROLL 23 septembre 2005 Contexte Validation & Vérification dans CARROLL Perspectives Contexte

Plus en détail

Urbanisation de Système d'information

Urbanisation de Système d'information Urbanisation de Système d'information L'approche Togaf 2008 The Open Group 1 TOGAF : The Open Group Framework Architecture «The Open Group Architecture Framework, également connu sous l'acronyme Togaf,

Plus en détail

Résultats des projets CARROLL. Bilan et perspectives. Ingénierie logicielle orientée modèle MDD

Résultats des projets CARROLL. Bilan et perspectives. Ingénierie logicielle orientée modèle MDD Résultats des projets CARROLL Bilan et perspectives Ingénierie logicielle orientée modèle MDD Serge Salicki, THALES Workshop CARROLL 23 septembre 2005 THALES et le MDE Le MDE est dans la strategie de THALES

Plus en détail

AG de l action IDM Nancy, 25 mars 2009

AG de l action IDM Nancy, 25 mars 2009 AG de l action IDM Nancy, 25 mars 2009 1)Point sur les membres de Action IDM 2)Bilan de l Année 3)Mailing-list & site WEB 4) de Action IDM & organisation 5) envisagées, souhaitées 6) 1 Bilan - Membres

Plus en détail

Le modèle de composants CORBA

Le modèle de composants CORBA Agenda Le modèle de composants La plate-forme Les composantes principales Evaluation de performances Perspectives 21 mars 2005 Réunion de démarrage ARC COA 1 Le modèle de composants Défini par Object Management

Plus en détail

Journée IDM Inforsid. Réunir les communautés SI et IDM. Exigence, Traçabilité et Co conception dans les processus de développement

Journée IDM Inforsid. Réunir les communautés SI et IDM. Exigence, Traçabilité et Co conception dans les processus de développement Journée IDM Inforsid Réunir les communautés SI et IDM Exigence, Traçabilité et Co conception dans les processus de développement Communauté SI / INFORSID 1973 : faciliter les échanges entre chercheurs

Plus en détail

Point d avancement ACOTRIS Travaux du CEA-LIST

Point d avancement ACOTRIS Travaux du CEA-LIST Point d avancement ACOTRIS Travaux du CEA-LIST 1. Base méthodologique modélisation UML 2. Évolution pour implantation synchrone 3. Dissémination/valorisation Base méthodologique Reprise méthode ACCORD/UML

Plus en détail

Réunion technique de travail Point important : Comment transformer la boite au lettres des machines à états de UML en Signal?

Réunion technique de travail Point important : Comment transformer la boite au lettres des machines à états de UML en Signal? C o m p t e R e n d u d e R é u n i o n DATE : vendredi 5 juillet 2002 OBJET : CR Réunion du 27/05/2002 N/RÉF : DTSI/SLA Participants : Michel Nakhlé (C-S) Thierry Gautier (INRIA IRISA) Yves Sorel (INRIA

Plus en détail

Récapitulatif des tests

Récapitulatif des tests Scénarios de tests système Partenaire : Nom de l'outil : Date test : 1er avril 2008 Cellule OpenEmbeDD Version de l'outil : v0.4.0 (Japet) Site Update level 1 (Modelling) Plateforme de test (OS + processeur)

Plus en détail

Le Programme Carroll: Axes de recherche et projets

Le Programme Carroll: Axes de recherche et projets Le Programme Carroll: Axes de recherche et projets Nicolas Farcet Carroll Program Manager, Thales Workshop Carroll 23 Septembre 2005 Contexte Technologique Thales 1. Productivité, protection des investissements

Plus en détail

Modélisation Principe Autre principe

Modélisation Principe Autre principe Modélisation Principe : un modèle est une abstraction permettant de mieux comprendre un objet complexe (bâtiment, économie, atmosphère, cellule, logiciel, ). Autre principe : un petit dessin vaut mieux

Plus en détail

AVATAR. Un profil SysML temps réel outillé

AVATAR. Un profil SysML temps réel outillé AVATAR Un profil SysML temps réel outillé Ludovic Apvrille, Pierre de Saqui-Sannes ludovic.apvrille@telecom-paristech.fr pdss@isae.fr SysML France, 6 décembre 2010 Agenda De TURTLE à AVATAR Le langage

Plus en détail

Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations

Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations Journées GDR GPL Transformations de modèles et de programmes 18 janvier 2008

Plus en détail

Extensions à la formation. Laurent Pérochon, 28-30 avril 2008, RMT Modelia, modélisation conceptuelle, formation UML, INRA Castanet Tolosan

Extensions à la formation. Laurent Pérochon, 28-30 avril 2008, RMT Modelia, modélisation conceptuelle, formation UML, INRA Castanet Tolosan Extensions à la formation Diagramme de timing FinEpreuve SautBarrière CourseAvantBarrière SautMur {>2 et 10 et 2 et 10 et

Plus en détail

Ingénierie des modèles

Ingénierie des modèles 14 Janvier 2008 Ecole Centrale Plan Mise en bouche... Un modèle? 1 Mise en bouche... Un modèle? 2 MDA? 3 UML Eclipse 4 Plan Mise en bouche... Un modèle? 1 Mise en bouche... Un modèle? 2 MDA? 3 UML Eclipse

Plus en détail

Introduction au développement avec des composants logiciels

Introduction au développement avec des composants logiciels ENVOL 2012 Introduction au développement avec des composants logiciels Jean-Christophe Souplet jcsouplet@lri.fr Licence CC BY-NC-SA 3.0 Constat Lors d un développement beaucoup de développeurs partent

Plus en détail

Nos formations. Im Info, centre de formation agréé depuis 1995, vous propose ses formations techniques avec : Sur toute la France. avec le sourire!

Nos formations. Im Info, centre de formation agréé depuis 1995, vous propose ses formations techniques avec : Sur toute la France. avec le sourire! Nos formations Im Info, centre de formation agréé depuis 1995, vous propose ses formations techniques avec : Des formateurs à votre service Sur toute la France Avec expertise et compétence (depuis 1995)

Plus en détail

[2016][AA1] Consignes

[2016][AA1] Consignes [2016][AA1] Consignes Consignes pour le bilan architecture d'août 2014 {EPITECH.} 2016_AA1_Consignes.docx Description du document Titre [2016][AA1] Consignes Date 07/12/2014 Auteur Responsable E-Mail Julien

Plus en détail

Le langage UML 2.0 Diagramme de Déploiement

Le langage UML 2.0 Diagramme de Déploiement Claude Belleil Université de Nantes Le langage UML 2.0 Diagramme de Déploiement 1 Introduction Le diagramme de déploiement spécifie un ensemble de constructions qui peuvent être utilisées pour définir

Plus en détail

Méthodologie de modélisa/on du circuit du médicament ~~~~ CHU Gabriel Montpied

Méthodologie de modélisa/on du circuit du médicament ~~~~ CHU Gabriel Montpied Journées GDR MACS Albi 29/30 Mars 2012 Johan Royer Doctorant 1 ière année Méthodologie de modélisa/on du circuit du médicament ~~~~ CHU Gabriel Montpied Directeurs : Jean-Luc PARIS (Institut Pascal) et

Plus en détail

Stratégie de Convergence de VisualAge Pacbase

Stratégie de Convergence de VisualAge Pacbase IBM Software Group Stratégie de Convergence de VisualAge Pacbase Philippe Bauquel, VisualAge Pacbase Product Line Manager, IBM Rational SWG, Enterprise Tools & Compilers 2008 IBM Corporation Genèse du

Plus en détail

Modélisation: outillage et intégration

Modélisation: outillage et intégration Modélisation: outillage et intégration Emmanuel Gaudin emmanuel.gaudin@pragmadev.com Un réel besoin Le logiciel double tous les deux ans. Le volume final rend extrêmement difficile de garantir le niveau

Plus en détail

Evolution, Maintenance et Réutilisation des logiciels, aka: E/M/R.

Evolution, Maintenance et Réutilisation des logiciels, aka: E/M/R. Evolution, Maintenance et Réutilisation des logiciels, aka: E/M/R. Olivier Inizan - Bureau PEPI IDL - INRA - GAP - URGI La Londes Les Maures, 5-9 décembre 2011 Objectifs de la session Dans votre expérience

Plus en détail

Systèmes Logiciels et Applications Réparties

Systèmes Logiciels et Applications Réparties des Systèmes Logiciels et Applications Réparties GOAL/ADAM Team Laboratoire d Informatique Fondamentale de Lille & INRIA Institut National des Télecommunications, Evry 16 janvier 2008 Plan Introduction

Plus en détail

Industrialisation des développements

Industrialisation des développements Industrialisation des développements NovaForge, l usine de développement logiciel de Bull Emmanuel Rias emmanuel.rias@bull.net 1 Agenda Introduction NovaForge Processus d un projet dans NovaForge et Fonctionnalités

Plus en détail

- Couches - Éléments - Domaines - ArchiMate et les techniques du BABOK

- Couches - Éléments - Domaines - ArchiMate et les techniques du BABOK ArchiMate et l architecture d entreprise Par Julien Allaire Ordre du jour Présentation du langage ArchiMate - Couches - Éléments - Domaines - ArchiMate et les techniques du BABOK Présentation du modèle

Plus en détail

Un méta-modèle pour l automatisation du déploiement d applications logicielles

Un méta-modèle pour l automatisation du déploiement d applications logicielles Équipe Adèle Un méta-modèle pour l automatisation du déploiement d applications logicielles Noelle.Merle@imag.fr 28/10/2004 Conférence DECOR'04 1 Plan Motivations et contexte Méta-modèle de déploiement

Plus en détail

Domaines Réutilisables Dirigés par les Modèles

Domaines Réutilisables Dirigés par les Modèles Publié à IDM05, Paris, les 30 Juin et 1 er Juillet 2005. Domaines Réutilisables Dirigés par les Modèles Anca Daniela Ionita, Jacky Estublier, German Vega LSR-IMAG, Grenoble, France Résumé Pour faciliter

Plus en détail

RMLL. Acceleo and Eclipse Modeling

RMLL. Acceleo and Eclipse Modeling RMLL Acceleo and Eclipse Modeling 20/07/2009 1 Summary 2 History Historic v1.0 : initial version Mars 2006 v1.1 : compatibility (uml,linux, e3.2) September 2006 v1.2 : EPL + OW2, Chain Action January 2007

Plus en détail

CCT SIL. Profil MARTE pour la modélisation des systèmes temps réel embarqués Jeudi 14 novembre 2013, 9H30

CCT SIL. Profil MARTE pour la modélisation des systèmes temps réel embarqués Jeudi 14 novembre 2013, 9H30 CENTRES DE COMPETENCE TECHNIQUE Architecture des Systèmes Informatiques & Génie Logiciel Informatique & Réseaux Embarqués CCT SIL Profil MARTE pour la modélisation des systèmes temps réel embarqués Jeudi

Plus en détail

Projet TEAP. Présentateurs : Stéphane Lacrampe (Obeo) Hugo Brunelière (AtlanMod)

Projet TEAP. Présentateurs : Stéphane Lacrampe (Obeo) Hugo Brunelière (AtlanMod) Projet TEAP Présentateurs : Stéphane Lacrampe (Obeo) Hugo Brunelière (AtlanMod) 1 Introduction Obeo : PME de 45 salariés crée en 2005 Implantée à Nantes, Paris, Toulouse Fournisseur de technologies ouvertes

Plus en détail

Ingénierie des modèles (b)

Ingénierie des modèles (b) Ingénierie des modèles b. Exploiter et produire Raphaël Marvie LIFL - IRCICA Université de Lille I marvie@lifl.fr http://www.lifl.fr/~marvie 1 Menu Introduction Model Driven Architecture PIM, PAM, POUM

Plus en détail

Développement logiciel pour l Architecture Orientée Services avec IBM Rational Software Development Platform

Développement logiciel pour l Architecture Orientée Services avec IBM Rational Software Development Platform IBM Software Group Développement logiciel pour l Architecture Orientée Services avec IBM Rational Software Development Platform Thierry Bourrier, Techical Consultant thierry.bourrier@fr.ibm.com L Architecture

Plus en détail

Ingénierie dirigée par les modèles Model Driven Architecture

Ingénierie dirigée par les modèles Model Driven Architecture Ingénierie dirigée par les modèles Model Driven Architecture Laurent Pérochon INRA URH 63122 Saint Genès Champanelle perochon@clermont.inra.fr La conception d un programme classique Niveaux d abstraction

Plus en détail

rad-framework Software development plan document version 01 Oussama Boudyach April 20, 2011

rad-framework Software development plan document version 01 Oussama Boudyach April 20, 2011 rad-framework Software development plan document version 01 Oussama Boudyach April 20, 2011 1 Contents 1 Introduction 3 2 Documents et matériels 3 2.1 Document et matériel octroyé:....................................

Plus en détail

En 2000 l OMG propose une approche nommée MDA Model Driven Architecture, S appuyant sur le standard UML pour

En 2000 l OMG propose une approche nommée MDA Model Driven Architecture, S appuyant sur le standard UML pour MDA (Model Driven Architecture) Ingénierie logicielle guidée par les modèles S.N Historique: En 2000 l OMG propose une approche nommée MDA Model Driven Architecture, S appuyant sur le standard UML pour

Plus en détail

A-TEAM. ProManager Jalon de lancement Version 1.0 Groupe : C. Site Web: http://mooproject.neocities.org

A-TEAM. ProManager Jalon de lancement Version 1.0 Groupe : C. Site Web: http://mooproject.neocities.org A-TEAM ProManager Jalon de lancement Version 1.0 Groupe : C Site Web: http://mooproject.neocities.org 1 SOMMAIRE : I. Planning des phases 4 1-Lancement..5 2-Elaboration. 5 3-Construction 5 4-Transition.6

Plus en détail

Nouvelles architectures informatiques embarquées à base de COTS. Retour d expérience, étude des contraintes de Portage d un Logiciel Bord Lanceur

Nouvelles architectures informatiques embarquées à base de COTS. Retour d expérience, étude des contraintes de Portage d un Logiciel Bord Lanceur Nouvelles architectures informatiques embarquées à base de COTS Retour d expérience, étude des contraintes de Portage d un Logiciel Bord Lanceur EADS Launch Vehicles Patrick CORMERY - Le Vinh Quy RIBAL

Plus en détail

UML 1ère partie. Référence: http://uml.developpez.com/lp/cours/uml_free_fr_cours.html UML

UML 1ère partie. Référence: http://uml.developpez.com/lp/cours/uml_free_fr_cours.html UML UML UML 1ère partie Référence: http://uml.developpez.com/lp/cours/uml_free_fr_cours.html LOG2000 Éléments du génie logiciel 2002 Bayomock André-Claude PLAN Définition et historique Vue générale A quoi

Plus en détail

Quick Start Guide This guide will help you install a base configuration of IBM Tivoli Key Lifecycle Manager.

Quick Start Guide This guide will help you install a base configuration of IBM Tivoli Key Lifecycle Manager. IBM Tivoli Key Lifecycle Manager Version 2.0.1 Quick Start Guide This guide will help you install a base configuration of IBM Tivoli Key Lifecycle Manager. National Language Version: To obtain the Quick

Plus en détail

La Famille Rational Rhapsody d IBM

La Famille Rational Rhapsody d IBM IBM Software Conception et développement La Famille Rational Rhapsody d IBM Des solutions pour un développement collaboratif guidé par la modélisation 2 La famille Rational Rhapsody d'ibm Le développement

Plus en détail

Examen professionnel Développement d applications TIC

Examen professionnel Développement d applications TIC Examen professionnel Développement d applications TIC Informations sur l examen Pour chaque problème, le nombre maximal de points que vous pouvez obtenir en cas de bonne réponse est mentionné. Le nombre

Plus en détail

IFT2255 - Génie logiciel. Cycle de vie du logiciel. Activités de développement. Planification (étude préliminaire) Processus de développement

IFT2255 - Génie logiciel. Cycle de vie du logiciel. Activités de développement. Planification (étude préliminaire) Processus de développement IFT2255 - Génie logiciel Processus de développement Cycle de vie du logiciel Bruno Dufour dufour@iro.umontreal.ca Activités de développement 3 Planification (étude préliminaire) 4 Planification du projet

Plus en détail

IFT2255 - Génie logiciel. Processus de développement

IFT2255 - Génie logiciel. Processus de développement IFT2255 - Génie logiciel Processus de développement 1 Cycle de vie du logiciel 2 Activités de développement 3 Planification du projet Analyse et spécification Conception Implémentation Vérification Installation

Plus en détail

Commentaires du testeur. Récapitulatif des tests. Scénarios de tests système

Commentaires du testeur. Récapitulatif des tests. Scénarios de tests système Scénarios de tests système Partenaire : Cellule OpenEmbeDD Nom de l'outil : Site Update level 1 (Modelling) Date test : 2008 12 05 Version de l'outil : Rhea 0.5.0 Version d'eclipse : 3.4.1 Plateforme de

Plus en détail

JEE - Cours et TP. Mickaël Montassier. 15 février 2007. Institut Universitaire de Technologie Département Informatique

JEE - Cours et TP. Mickaël Montassier. 15 février 2007. Institut Universitaire de Technologie Département Informatique et TP Institut Universitaire de Technologie Département Informatique 15 février 2007 J2EE? J2EE : Java 2 Enterprise Edition Norme prosposée par SUN visant à définir un standard de développement d applications

Plus en détail

Rédaction de cas d utilisation (Use Case)

Rédaction de cas d utilisation (Use Case) labsticc.univ-brest.fr/pages_perso/babau/ Rédaction de cas d utilisation (Use Case) Jean-Philippe Babau Département Informatique, UFR Sciences, Laboratoire Lab-STICC 2 1 Plan Objectif des Cas d Utilisation

Plus en détail

Parcours Aigle, LMD4 Architecture et Ingénierie du logiciel et du web

Parcours Aigle, LMD4 Architecture et Ingénierie du logiciel et du web Parcours Aigle, LMD4 Architecture et Ingénierie du logiciel et du web Clémentine Nebut, Pierre Pompidor 9 avril 2015 Cette formation vise à former des cadres en informatique dans le domaine du développement

Plus en détail

Cours Java. Cours en ligne Développement Java pour le web. Académie Libre info@academielibre.fr

Cours Java. Cours en ligne Développement Java pour le web. Académie Libre info@academielibre.fr Cours Java Cours en ligne Développement Java pour le web Académie Libre info@academielibre.fr Programme général du Cours Développement Java pour le web Module 1 - Programmation J2ee A) Bases de programmation

Plus en détail

Ingénierie Dirigée par les Modèles IDM

Ingénierie Dirigée par les Modèles IDM Ingénierie Dirigée par les Modèles Pierre Laforcade Master EIAH 2007 Présentation personnelle Statut Enseignements Lieu : IUT de Laval Matières : modélisation objet en UML, programmation objet, JavaEE/EJB,...

Plus en détail

SCIC Openflexo. Open Platform - Open Innovation

SCIC Openflexo. Open Platform - Open Innovation SCIC Openflexo Open Platform - Open Innovation Openflexo Une équipe Au sein d Openflexo Sylvain Guérin, architecte logiciel Christophe Guychard, porteur du projet Les partenaires Agile Birds Dominique

Plus en détail

MAGILLEM: environnement de contrôle de flot pour la conception ESL (Electronic System Level)

MAGILLEM: environnement de contrôle de flot pour la conception ESL (Electronic System Level) MAGILLEM: environnement de contrôle de flot pour la conception ESL (Electronic System Level) Atelier «outils pour l IDM» Mardi 27 janvier 2009 ENSEEIHT - Toulouse Moving from traditional flow to ESL (Electronic

Plus en détail

Les nouveautés TOPCASED dans Indigo et MDT Papyrus. Tristan FAURE, Pierre Gaufillet

Les nouveautés TOPCASED dans Indigo et MDT Papyrus. Tristan FAURE, Pierre Gaufillet Les nouveautés TOPCASED dans Indigo et MDT Papyrus Tristan FAURE, Pierre Gaufillet Agenda Contexte TOPCASED 5.0 Changements techniques Nouveautés TOPCASED Indigo Conclusion 2 / 34 Agenda Contexte TOPCASED

Plus en détail

(Document de 14 pages) Fabrice Douchant Xuan-Tuong Le. Nicolas Gibelin Lom Messan Hillah

(Document de 14 pages) Fabrice Douchant Xuan-Tuong Le. Nicolas Gibelin Lom Messan Hillah Master Informatique 2ème Année SAR Année 2007-2008 RAPPORT FINAL Livrable # 3 (Document de 14 pages) Participants Fabrice Douchant Xuan-Tuong Le Encadrants Nicolas Gibelin Lom Messan Hillah UFR 922 - Informatique

Plus en détail

Journée de rencontre Activités de Recherche 2 mars 2007

Journée de rencontre Activités de Recherche 2 mars 2007 INSTITUT D INFORMATIQUE 1 Journée de rencontre Activités de Recherche 2 mars 2007 Institut d'informatique 21 rue Grandgagnage - B-5000 Namur http://www.info.fundp.ac.be INSTITUT D INFORMATIQUE 2 L institut

Plus en détail

Plan de la partie UML

Plan de la partie UML UML Sources principales: P.A. Muller, Modélisation objet avec UML, Eyrolles Chris Kobryn, Object Modeling with OMG UML Tutorial Series, OMG, 2002 Jean-Marie Favre, Ioannis Parissis, cours UML, IDM, Grenoble,

Plus en détail

PLAN. I. Pourquoi : les besoins, les types d applications

PLAN. I. Pourquoi : les besoins, les types d applications PLAN I. Pourquoi : les besoins, les types d applications II. Comment : les technos et pratiques dont on dispose pour mettre en œuvre les applications III. Avec quels outils III.1 Introduction aux IDE III.2

Plus en détail

AMSI - Chapitre 3 Perspectives de modélisation et UML

AMSI - Chapitre 3 Perspectives de modélisation et UML AMSI - Chapitre 3 Perspectives de modélisation et UML Philippe Thiran Année académique 2010-2011 Notes de cours: Patrick Heymans, Isabelle Pollet & Philippe Thiran The University Of Namur Version du vendredi

Plus en détail

SEG 2506 Construction de logiciels

SEG 2506 Construction de logiciels SEG 2506 Construction de logiciels Devoir 04: Programmation avec concurrence présenté à: prof. G. Bochmann, Ph.D. par: Alexandre Bradley 4548582 abrad087@uottawa.ca et Kevin Mottashed 4490866 kmott071@uottawa.ca

Plus en détail

Cours de Génie Logiciel

Cours de Génie Logiciel Cours de Génie Logiciel Sciences-U Lyon MDE Model Driven Engineering http://www.rzo.free.fr Pierre PARREND 1 Mai 2005 Sommaire MDE : principe MDE et le génie logiciel MDE et UML MDE et les Design Patterns

Plus en détail

Informatique Répartie

Informatique Répartie INSA - ASI InfoRep : Conception de Systèmes Répartis 1/27 Informatique Répartie Conception d Architectures Réparties Alexandre Pauchet INSA Rouen - Département ASI BO.B.RC.18, pauchet@insa-rouen.fr INSA

Plus en détail

Le but de cet article est de présenter de façon non-exhaustive le langage SysML.

Le but de cet article est de présenter de façon non-exhaustive le langage SysML. Date : 30 septembre 2010 Auteur : Guillaume FINANCE UML, langage de modélisation très répandu pour les développements logiciels, a été utilisé et adapté pour définir un langage de modélisation des systèmes

Plus en détail

Chaîne de développement : Compilation croisée

Chaîne de développement : Compilation croisée Chaîne de développement : Compilation croisée Principe d'une chaîne de développement Dépendances entre processus de «production» et architecture opérationnelle Compilation croisée, MDE et génération de

Plus en détail

Projet de développement. Gestion de projet avec. Personnes cahier des charges. Philippe Collet. Organisation. Cours 1 : principes généraux - svn

Projet de développement. Gestion de projet avec. Personnes cahier des charges. Philippe Collet. Organisation. Cours 1 : principes généraux - svn 1 Organisation Projet de développement Gestion de projet avec Philippe Collet Cours 1 : principes généraux - svn Cours 2 : TRAC et gestion de projet Cours 3 : Introduction à Eclipse Cours 4 : Eclipse C

Plus en détail

Ingénierie des Modèles. Méta-modélisation

Ingénierie des Modèles. Méta-modélisation Ingénierie des Modèles Méta-modélisation Eric Cariou Master Technologies de l'internet 2 ème année Université de Pau et des Pays de l'adour UFR Sciences Pau Département Informatique Eric.Cariou@univ-pau.fr

Plus en détail

A-t-on encore besoin de génie logiciel?

A-t-on encore besoin de génie logiciel? A-t-on encore besoin de génie logiciel? Guy.Ferran@inria.fr Nantes, mai 2000 1 Nantes, mai 2000 2 Web: vite fait, bien fait? Plus de problème d interface Navigateur et protocole HTTP, et XML Plus de problème

Plus en détail

Architecture d Entreprise et des Systèmes d Information. 06 Urbanisation et SOA en pratique : PRAXEME et MODELIO. Introduction PRAXEME et MODELIO 1

Architecture d Entreprise et des Systèmes d Information. 06 Urbanisation et SOA en pratique : PRAXEME et MODELIO. Introduction PRAXEME et MODELIO 1 Plan du chapitre Master Informatique et Systèmes Architecture d Entreprise et des Systèmes d Information 06 Urbanisation et SOA en pratique : PRAXEME et MODELIO 1 2 3 4 5 6 Introduction PRAXEME et MODELIO

Plus en détail

Modélisation sous Eclipse

Modélisation sous Eclipse Modélisation sous Eclipse Programmation / Edition textuelle / Edition graphique/ Modèle Lecture Modèle Traitement Présentation des résultats Solutions apportées par Eclipse? http://www.eclipse.org/ Introduction

Plus en détail

UMTS 22.05 Services and Service capabilities version 3.2.0

UMTS 22.05 Services and Service capabilities version 3.2.0 3GPP TSG SA WG1-01/05-02/99 S1-99056 Agenda: 6.2.3 UMTS 22.05 Services and Service capabilities version 3.2.0 Le présent document contient des informations qui sont la propriété de France Télécom. L'acceptation

Plus en détail

Examen CAR 2 Heures Tout documents autorisés le 17 Novembre 2005

Examen CAR 2 Heures Tout documents autorisés le 17 Novembre 2005 Examen CAR 2 Heures Tout documents autorisés le 17 Novembre 2005 Rappel : Tout méta-modèle ou profil doit être commenté! 1 Question de compréhension du cours barème indicatif : 5 points Q : Lorsque l on

Plus en détail

MI3/GL Cours de Génie Logiciel Programmation Orientée Objet (Avancée)

MI3/GL Cours de Génie Logiciel Programmation Orientée Objet (Avancée) MI3/GL Cours de Génie Logiciel Programmation Orientée Objet (Avancée) Daniel Le Berre CRIL-CNRS FRE 2499, Université d Artois, Lens, FRANCE {leberre}@cril.univ-artois.fr 4 novembre 2004 MI3GL 2004/2005

Plus en détail

Europa. Développement JEE 5. avec Eclipse. K a r i m D j a a f a r. A v e c l a c o n t r i b u t i o n d e O l i v i e r S a l v a t o r i

Europa. Développement JEE 5. avec Eclipse. K a r i m D j a a f a r. A v e c l a c o n t r i b u t i o n d e O l i v i e r S a l v a t o r i Développement JEE 5 avec Eclipse Europa K a r i m D j a a f a r A v e c l a c o n t r i b u t i o n d e O l i v i e r S a l v a t o r i Groupe Eyrolles, 2008, ISBN : 978-2-212-12061-5 Table des matières

Plus en détail

Besoin d'aide pour assurer la migration vers Microsoft Vista? Véronique Kaçar

Besoin d'aide pour assurer la migration vers Microsoft Vista? Véronique Kaçar Besoin d'aide pour assurer la migration vers Microsoft Vista? Véronique Kaçar 13 Agenda Pourquoi migrer à Vista Le défi Pourquoi Tivoli Provisioning Manager for OS Deployment Scénario de migration et vidéo

Plus en détail

CB-WR-MED: Case study Presentation and achievements

CB-WR-MED: Case study Presentation and achievements Capacity building for Direct Water Reuse in the Mediterranean Area (FP7-INCO-2010-6, ERAWIDE, Area INCO.2010-6.2) CB-WR-MED: Case study Presentation and achievements 7 December 2011 Tunis Frame CB-WR-MED

Plus en détail

Gestion des architectures dynamiques

Gestion des architectures dynamiques Gestion des architectures dynamiques pour l adaptabilité des applications distribuées coopératives Ismael Bouassida Rodriguez Directeurs : Christophe Chassot et Khalil Drira Laboratoire d Architecture

Plus en détail

NORME INTERNATIONALE INTERNATIONAL STANDARD

NORME INTERNATIONALE INTERNATIONAL STANDARD NORME INTERNATIONALE INTERNATIONAL STANDARD CEI IEC 61229 1993 AMENDEMENT 1 AMENDMENT 1 1998-02 Amendement 1 Protecteurs rigides pour travaux sous tension sur des installations à courant alternatif Amendment

Plus en détail

Unique centre Oracle university en Algérie. Catalogue de formation Oracle 2016. Catalogue des formations Oracle

Unique centre Oracle university en Algérie. Catalogue de formation Oracle 2016. Catalogue des formations Oracle Unique centre Oracle university en Algérie Catalogue de formation Oracle 2016 Catalogue des formations Oracle 2016 ITCOMP, PARTENAIRE PRIVILEGIE D ORACLE Forte de ses certifications accumulées au cours

Plus en détail

Générer du code à partir d une description de haut niveau

Générer du code à partir d une description de haut niveau Cedric Dumoulin Générer du code à partir d une description de haut niveau Ce projet vise à fournir un environnement de développement permettant de modéliser des UI Android à un haut niveau d abstraction,

Plus en détail

Squale : le portail qualimétrie open-source

Squale : le portail qualimétrie open-source Squale : le portail qualimétrie open-source Avancement et nouveautés 13 janvier 2009 - Fabrice BELLINGARD - Plan Présentation de Squale Rappel Principe et architecture Historique avec Air France System@tic

Plus en détail

GROUND COMPUTER NETWORK PRINCIPLES APPLIED TO SPACE AVIONICS: THE CNES EXPERIMENT

GROUND COMPUTER NETWORK PRINCIPLES APPLIED TO SPACE AVIONICS: THE CNES EXPERIMENT Centres de Compétence Technique Informatique & Réseaux Embarqués CCT IRE WORKSHOP GROUND COMPUTER NETWORK PRINCIPLES APPLIED TO SPACE AVIONICS: THE CNES EXPERIMENT 24th of April 2014. 9AM to 12AM. Toulouse

Plus en détail

La plate-forme DotNet dans le contexte du MDA

La plate-forme DotNet dans le contexte du MDA La plate-forme DotNet dans le contexte du MDA Jean Bézivin Université de Nantes CRGNA Centre de Recherche en Gestion de Nantes-Atlantique Faculté des Sciences et Techniques 2, rue de la Houssinière BP

Plus en détail

La démarche MDA. Auteur : Projet ACCORD (Assemblage de composants par contrats en environnement ouvert et réparti)*

La démarche MDA. Auteur : Projet ACCORD (Assemblage de composants par contrats en environnement ouvert et réparti)* La démarche MDA Auteur : Projet ACCORD (Assemblage de composants par contrats en environnement ouvert et réparti)* Référence : Livrable 1.1-5 Date : Mai 2002 * : Les partenaires du projet ACCORD sont CNAM,

Plus en détail

Demande d attribution de ressources informatiques. Sur le Centre de Calculs Interactifs de l Université de Nice Sophia-Antipolis

Demande d attribution de ressources informatiques. Sur le Centre de Calculs Interactifs de l Université de Nice Sophia-Antipolis Demande d attribution de ressources informatiques Sur le Centre de Calculs Interactifs de l Université de Nice Sophia-Antipolis Titre du projet : Nom du laboratoire : Nom de l établissement hébergeur :

Plus en détail

EUDAT and CINES data preservation services. Workshop PREDON Stéphane Coutin 05 nov 2014

EUDAT and CINES data preservation services. Workshop PREDON Stéphane Coutin 05 nov 2014 EUDAT and CINES data preservation services Workshop PREDON Stéphane Coutin 05 nov 2014 Le CINES Basé à Montpellier (Hérault, France) EPA créé en 1999, succédant au CNUSC (Centre National Universitaire

Plus en détail

Valorisez vos actifs logiciels avec Rational Asset Manager. Jean-Michel Athané, Certified IT Specialist IBM Rational Software

Valorisez vos actifs logiciels avec Rational Asset Manager. Jean-Michel Athané, Certified IT Specialist IBM Rational Software Valorisez vos actifs logiciels avec Rational Asset Manager Jean-Michel Athané, Certified IT Specialist IBM Rational Software 13 Qu est-ce qu un actif logiciel (Software Asset)? Un asset est une collection

Plus en détail

Fiche descriptive d une unité d enseignement (UE) et de ses éléments constitutifs (ECUE)

Fiche descriptive d une unité d enseignement (UE) et de ses éléments constitutifs (ECUE) Fiche descriptive d une unité d enseignement (UE) et de ses éléments constitutifs (ECUE) Intitulé de l UE Système d informations Nombre de crédits 07 Code UE.UE12.. Université : Université de Manouba Etablissement

Plus en détail

Modelio by Modeliosoft

Modelio by Modeliosoft Modelio by Modeliosoft Solutions d entreprise basées sur l atelier leader de modélisation open source Modelio (modelio.org) L atelier de modélisation open source de référence Une solution sur étagère,

Plus en détail

Quick Start Guide This guide is intended to get you started with Rational ClearCase or Rational ClearCase MultiSite.

Quick Start Guide This guide is intended to get you started with Rational ClearCase or Rational ClearCase MultiSite. Rational ClearCase or ClearCase MultiSite Version 7.0.1 Quick Start Guide This guide is intended to get you started with Rational ClearCase or Rational ClearCase MultiSite. Product Overview IBM Rational

Plus en détail

ATTESTATION D ACCREDITATION. N 1-1061 rév. 1

ATTESTATION D ACCREDITATION. N 1-1061 rév. 1 Section Laboratoires ATTESTATION D ACCREDITATION ACCREDITATION CERTIFICATE N 1-1061 rév. 1 Le Comité Français d'accréditation (Cofrac) atteste que : The French Committee for Accreditation (Cofrac) certifies

Plus en détail

Système de Gestion Assistée. de travail. Limite des systèmes de gestion conventionnels

Système de Gestion Assistée. de travail. Limite des systèmes de gestion conventionnels n Un Guide pour l application des procédures de travail n Un Outil d archivage de documents Le SGA est un outil de gestion moderne dont la vocation est de guider l utilisateur dans l application de procédures

Plus en détail

GRID-TLSE : un site d expertise en algèbre linéaire creuse p. 1/17

GRID-TLSE : un site d expertise en algèbre linéaire creuse p. 1/17 0.5 setgray0 0.5 setgray1 GRID-TLSE : un site d expertise en algèbre linéaire creuse Marc Pantel Marc.Pantel@enseeiht.fr CERFACS, FERIA-IRIT, LaBRI, LIP Projet GRID-TLSE ENSEEIHT 2, rue Camichel, 31071

Plus en détail

Fontainebleau Paris Pierrefitte-sur-Seine. SIA - Praxeme

Fontainebleau Paris Pierrefitte-sur-Seine. SIA - Praxeme Fontainebleau Paris Pierrefitte-sur-Seine SIA - Praxeme SIA Praxeme Présentation du 18/07/2013 Ordre du jour Présentation des AN Contexte du projet SIA Méthodologie Les livrables projet : SFG, POS, SFD

Plus en détail

Projet ANR SAMOGWAS. Specific Advanced MOdels for Genome-wide Association Studies. Journée de lancement officielle. Nantes - vendredi 11 octobre 2013

Projet ANR SAMOGWAS. Specific Advanced MOdels for Genome-wide Association Studies. Journée de lancement officielle. Nantes - vendredi 11 octobre 2013 Projet ANR SAMOGWAS Specific Advanced MOdels for Genome-wide Association Studies Journée de lancement officielle Nantes - vendredi 11 octobre 2013 1 Les partenaires LINA Nantes GIGA-R Liège INSERM Nantes

Plus en détail

Modélisation Principe Autre principe

Modélisation Principe Autre principe Modélisation Principe : un modèle est une abstraction permettant de mieux comprendre un objet complexe (bâtiment, économie, atmosphère, cellule, logiciel, ). Autre principe : un petit dessin vaut mieux

Plus en détail

Dossier de conception. Conception d un site E-learning

Dossier de conception. Conception d un site E-learning Conception d un site E-learning Encadré par : Mr. LACHGAR Mohamed Réalisé par : LECHQER Younesse ELEOUAD Abdelhadi SOMMAIRE I. PERIMETRE DU PROJET... 2 1.1. ENJEUX ET VISION DU PROJET... 3 1.2. ARCHITECTURE

Plus en détail

Intégration des middlewares dans la conception logicielle. Sujets spéciaux en génie logiciel

Intégration des middlewares dans la conception logicielle. Sujets spéciaux en génie logiciel Intégration des middlewares dans la conception logicielle Sujets spéciaux en génie logiciel Intégration des middlewares dans la conception logicielle Introduction UML Approche orientée composant Approche

Plus en détail

Etape 1 Installation de Tomcat et Eclipse

Etape 1 Installation de Tomcat et Eclipse Comment installer et exécuter wsig examples en 5 étapes Auteur : Sebastien Heymann Date : 29 décembre 2008 Pré requis : Savoir utiliser l'ide Eclipse est fortement

Plus en détail

Introduction. Règlement général des TPs - Rappel. Objectifs du cours. Génie logiciel. Génie logiciel

Introduction. Règlement général des TPs - Rappel. Objectifs du cours. Génie logiciel. Génie logiciel Introduction Génie logiciel Philippe Dugerdil Génie logiciel «The disciplined application of engineering, scientific and mathematical principles, methods and tools to the economical production of quality

Plus en détail

SDL: 20 ans de programmation basée modèle

SDL: 20 ans de programmation basée modèle SDL: 20 ans de programmation basée modèle Emmanuel Gaudin emmanuel.gaudin @ pragmadev.com Principes MDE, MDA et MDD: Approche orienté modèle PIM: Platform Independant Model PDM: Platform Definition Model

Plus en détail

Informatique Répartie

Informatique Répartie INSA - ASI InfoRep : Client-Serveur 1/36 Informatique Répartie Architectures Client-Serveur Alexandre Pauchet INSA Rouen - Département ASI BO.B.RC.18, pauchet@insa-rouen.fr INSA - ASI InfoRep : Client-Serveur

Plus en détail