Action-IDM
Accueil  
Positionnement scientifique  
Fonctionnement  
Initiatives  
Journées thématiques et événements  
Projets Recherche/Industrie  
Bourses Etudiantes  
Thèses et Habilitations  
Membres de l'Action IDM  
Devenir membre  
Responsables et Comité de Pilotage  



Projets Recherche/Industrie liés aux activités de l'Action IDM
Acceleo
Partenaires utilisateurs : TopCased, Edona, Obeo, CEA, Inria, Usine Logicielle

L'objectif d'Acceleo est de fournir un outil libre permettant de mettre en pratique au sein de la plateforme Eclipse la partie Model-to-Text de l'IDM.
Acceleo a donc été mis au point pour simplifier la création de générateur de code (de n'importe quel métamodèle vers n'importe quel technologie) et pour fournir plusieurs générateurs de référence.
Site du projet Acceleo

AOSD

AOSD : European Network of Excellence, 2004-2008

Partenaires : University of Lancaster, Technical University of Darmstadt, INRIA, VUB, Trinity College Dublin, University of Malaga, Katholieke Universiteit Leuven, Technion, Siemens, IBM Hursley

Résumé : Aspect-Oriented Software Development (AOSD) supports systematic identification, modularisation, representation and composition of crosscutting concerns such as security, mobility, distribution and resource management. Its potential benefits include improved ability to reason about the problem domain and corresponding solution; reduction in application code size, development costs and maintenance time; improved code reuse; architectural and design level reuse by separating non-functional concerns from key business domain logic; improved ability to engineer product lines; application adaptation in response to context information and better modelling methods across the lifecycle. AOSD-Europe will harmonise and integrate the research, training and dissemination activities of its members in order to address fragmentation of AOSD activities in Europe and strengthen innovation in areas such as aspect-oriented analysis and design, formal methods, languages, empirical studies and applications of AOSD techniques in ambient computing. Through this harmonisation, integration and development of essential competencies, the AOSD-Europe network of excellence aims to establish a premier virtual European research centre on AOSD.

Site du réseau AOSD

ARTIST2

ARTIST2: European Network of Excellence, 2004-2008

Partenaires : voir le site internet
ARTIST2 

Résumé : The strategic objective of the ARTIST2 Network of Excellence is to strengthen European research in Embedded Systems Design, and promote the emergence of this new multi-disciplinary area. Artist2 gathers together the best European teams from the composing disciplines, and will work to forge a scientific community. Integration will be achieved around a Joint Programme of Activities, aiming to create critical mass from the selected European teams.
The ARTIST2 Network of Excellence on Embedded Systems Design is implementing an international and interdisciplinary fusion of effort to create a unique European virtual centre of excellence on Embedded Systems Design. This interdisciplinary effort in research is mandatory to establish Embedded Systems Design as a discipline, combining competencies from electrical engineering, computer science, applied mathematics, and control theory. The ambition is to compete on the same level as equivalent centres in the USA (Berkeley, Stanford, MIT, Carnegie Mellon), for both the production and transfer of knowledge and competencies, and for the impact on industrial innovation.

Site du réseau ARTIST2

ATESST

ATESST, projet européen, 2006-2008 (terminé)

Partenaires : CEA LIST, Daimler Chrysler, ETAS, KTH, Mentor Graphics, Siemens VDO, TU Berlin, Volvo

Résumé : le projet ATESST vise à fournir un langage de description d’architecture (ADL) dédié à l’automobile, basé sur l’ADL du projet ITEA EAST-EEA et fédérant les initiatives AUTOSAR ainsi que les profils UML2 pour l’embarqué (MARTE et SysML) en cours de standardisation à l’OMG.

Le projet a été terminé en mars 2008.

Site du projet ATESST

ATL

Partenaires : Inria, Obeo, C-S, etc.

ATL est issu de nombreux travaux de recherche mené par le Lina et des projets collaboratifs pour mettre au point un langage et un outillage permettant la transformation de modèles.
ATL supporte tous types de métamodèles, est OpenSource et est bâti sur la plateforme Eclipse.

Les partenaires de ATL
Site du projet ATL

DOMINO

DOMINO, projet RNTL, 2007-2009.

Partenaires : Airbus, CEA LIST, CNES, ENSIETA, IRISA, IRIT, Soft-Maint.

Résumé : le projet DOMINO (DOMaINes et prOcessus méthodologique) propose une démarche basée sur la description d’un système par divers modèles exprimés dans des langages de modélisation dédiés différents, en exploitant l'Ingénierie Des Modèles pour fiabiliser tout processus d'ingénierie accompagnant le développement de logiciels.

Site du projet DOMINO

EDONA

Ancré sur les normes industrielles de l’automobile (Autosar, ISO 26262), le projet EDONA s’attache à offrir une évolution des méthodologies et de l’outillage en continuité avec les pratiques actuelles pour réduire l’effort de développement des projets et consolider la maîtrise de la qualité et de la sûreté de fonctionnement des équipements et des systèmes. L’objectif du projet est la constitution d’un référentiel technique et conceptuel facilitant l’intégration et l’interopération de nouvelles technologies de développement logicielles avec l’outillage existant.

Site du projet EDONA

EMODE

EMODE, projet européen ITEA, 2005-2008

Partenaires : Thales-TRT (coordinateur), ENSTB, UJF, CEA, IntuiLab,  Lyria, FT R&D, SAP, BASF, Fraunhofer, Darmstadt Univ., Dresden Univ.,  Daimler-Chrysler, IKV++, Philips, Bilbomatica, Robotiker,

Résumé : Le projet EMODE (Enabling Model Transformation-Based Cost  Efficient Adaptive Multi-modal User Interfaces) a pour objectif de  produire des Interfaces Homme-Machine multimodales capables de  s'adapter au contexte d'interaction (plate-forme, environnement  physique et social, utilisateur) tout en préservant leur utilisabilité.  L'IDM sert de principe directeur à cet objectif.

Site du projet EMODE

FAROS

FAROS, projet RNTL, 2005-2008.

Partenaires : EDF R&D, FT R&D, I3S, IRISA, LIFL

L'objectif du projet FAROS est de définir un environnement de composition pour la construction fiable d'architectures orientées services. La démarche adoptée consiste à :

  • Prendre en compte des éléments contractuels permettant d'offrir des des garanties lors des compositions de services.
  • Mettre au point un procédé de construction allant des modèles métiers jusqu'à leur projection vers des plateformes d'exécution.
Site du projet FAROS

Flex-eWare

Flex-eWare, projet RNTL. 2007-2010.


Partenaires : CEA LIST, ENST, France Telecom, INRIA, LiP6, Schneider Electric, ST Microelectrnics, THALES, Teamlog, Trialog


Résumé : Les objectifs principaux de Flex-eWare sont les suivants :
• Fédérer et unifier – par la construction en commun de modèles de composants de référence et la formalisation des passerelles entre les différentes technologies
• Consolider – par l’adaptation des technologies existantes aux exigences de l’embarqué sous les contraintes des domaines applicatifs considérés
• Capitaliser et pérenniser – par la mise à disposition sous la forme de logiciel libre des briques technologiques de référence, la constitution d’une activité de support dédiée à l’exploitation de ces résultats selon les exigences industrielles des systèmes embarqués et des actions de standardisation.

Site du projet Flex-eWare

GENEAUTO

GENEAUTO, Projet du pôle de compétitivité AESE «Aerospace Valley» reconnue par l'ITEA et financé pour la partie française par la DGE.


Partenaires : Airbus, Alcatel Alenia Space, BARCO, CRIL-Technologies, EADS-Astrium, FéRIA-IRIT/Acadie, IAI, IB/Krates, INRIA/METALAU, SIEMENS/VDO, TTU

Résumé : L'objectif de GENEAUTO est le développement d'un générateur de code qualifiable par les autorités de certification des domaines Aéronautique, Automobile et Spatial. La langage d'entrée du générateur est défini au sein du projet à partir d'un sous-ensemble bien défini de SimuLink/StateFlow. Le langage cible est du code C respectant les normes usuelles des domaines concernés avec différents niveaux d'optimisation possible et une forte traçabilité. Le générateur est composé d'une suite d'étapes élémentaires de transformation de modèles pour faciliter la validation. La validation du générateur et des modèles reposera autant que possible sur l'utilisation de techniques formelles de vérification.

Site Web de la forge

IMOFIS

IMOFOS, projet PREDIT du pôle de compétitivité System@tic Paris-Région.

Partenaires : ALSTOM, AONIX, CEA-LIST, OBEO, RENAULT, SYSTEREL, UTC/HEUDIASYC


Le projet a pour objectifs de développer des techniques et des outils permettant de modéliser et vérifier les exigences de sécurité depuis le niveau Système jusqu’au niveau Application Critique Logiciel.

Site web de IMOFIS

MOANO

  MOANO - Modèles et Outils pour Applications NOmades de découverte de territoire

Résumé : MOANO project is related to mobile applications which allow to complete/increase the discovery of a territory. MOANO aims to investigate how to allow business experts (like botanists) to build themselves their mobile applications. Such end-users design applications from a dedicated modelling tool providing an underlying articulation with technical aspects managed by software engineering. The execution is possible thanks to a platform which is specialised in geographic information systems and where the services composition may be intelligent.

Partenaires : LIUPPA (équipe T2I, leader), LIFL (Adam, Cocoa, Noce), LIG (Sigma, Steamer), IRIT (IC3)

Terrain d'expérimentation : Espaces Naturels Lille Métropole


MoPCoM-SoC

MoPCoM-SoC est un projet du “pôle de compétitivité Images & Réseaux” en Bretagne. 2007-2010.


Partenaires : Thalès Systèmes Aéroportés, Thomson, Sodius, ENSIETA, LESTER, Supelec Rennes, INRIA.


Résumé : The project focuses on the use of model driven engineering for the development of embedded system typically based on system-on-chip (SOC). The project will produce a complete methodology and development environment dedicated to the domain. In 2006, the main activity for the team was the mounting of the projects that will concretly start in 2007.

Site du projet MoPCoM-SoC

MyCitizSpace

ANR 2007-2010
Coordinateur : GENIGRAH (Olivier Nicolas)
Partenaires académiques :
- INRIA (Dominique Scapin)
- IRIT (Marco Winckler)
- LIG (Gaëlle Calvary)
Partenaires industriels :
- Almetis
- GENIGRAPH
Sites pilotes
- Ministère du Travail
- Région Midi-Pyrénées

Résumé
Depuis quelques années, l'Administration Française met en place une politique de dématérialisation des procédures pour simplifier les démarches du citoyen et faciliter la gestion administrative. Pour exemples, la télé-déclaration d'impôt sur le revenu, les demandes d'intervention sur la voie publique ou encore les demandes d'actes d'état civil. Toutefois, la complexité des procédures (diversité des intervenants, durée de réalisation, volume et sensibilité des informations personnelles), la diversité des types de points d'accès et l'incohérence des Interfaces Homme-Machine (IHM) restent aujourd'hui des difficultés clé. Le projet MyCitizSpace vise à doter les administrations locales (Collectivités Locales et Territoriales) et centrales (Ministères, Organismes Nationaux) d'outils logiciels performants et agiles, garants, pour le citoyen, d'IHM de qualité, satisfaisant en particulier les exigences de sécurité, ubiquité et accessibilité.
L'approche explorée dans le projet est une Ingénierie Dirigée par les Modèles (IDM). L'ambition est de produire un atelier IDM permettant aux différents acteurs (Maîtrise d'ouvrage, Maîtrise d'oeuvre, Expert Métier, CNIL) de produire, de façon itérative et collaborative, des télé-procédures efficaces, capables de s'adapter aux dispositifs d'interaction de l'utilisateur (PC, téléphone, etc.) dans le respect des propriétés attendues (fonction et ergonomie).

En savoir plus

OpenEmbeDD

OpenEmbeDD : Projet de type plateforme du Réseau National de recherche et d’innovation en Technologies Logicielles (RNTL) de l'ANR. 2006 - 2009.

Partenaires : Airbus, Anyware Technologies, CEA/LIST, CS SI, France Telecom, INRIA, LAAS, THALES AEROSPACE, THALES Research & Technology, VERIMAG

Résumé : L'objectif de OpenEmbeDD est de construire une plate-forme open-source d'ingénierie dirigée par les modèles pour le temps réel et l'embarqué. Voir le résumé du projet.

Site du projet OpenEmbeDD

PRESTO Artemis 2011-2014

PRESTO: "ImProvements of industrial Real Time Embedded SysTems develOpment process"

Partenaires: Teletel (leader), Thales Communication, VTT, MilTech, PragmaDev, MetaCase, PrismTech, SoftTeam, SarokalSolutions, Rapita Systems, INRIA Aoste, Thales Italy, University l'Aquila

Description: Le projet PRESTO a pour but d’améliorer le développement de systèmes embarqués appliqués aux processus de développement logiciels dirigés par les tests, en tenant compte des contraintes propres aux projets industriels.
Ce projet intègre :
(a) l’exploitation des traces de test (générés par l’exécution des tests en phase d’intégration logicielle, lors de la validation des exigences du système) avec
(b) la modélisation de la plateforme logicielle et matérielle et
(c) les techniques d’analyse d’exploration des allocations logicielle / matérielle (appelées design space exploration).
Le résultat attendu du projet est d’établir des capacités d’analyse de vérification fonctionnelle d’une part et d’analyse de performance d’autre part très tôt dans le processus de développement des applications embarquées temps réel.
L’approche de PRESTO est de modéliser l’allocation logicielle/matérielle, par l’utilisation d’environnements de modélisation, tels que le profil UML pour le développement orienté modèle des systèmes embarqués temps réel MARTE.


Site du projet PRESTO

RT-Simex ANR 2009-2011

Partenaires: Obeo (leader), Thales, Aonix, CEA, INRIA AOSTE, UBO

Description:
Ce projet s’inscrit dans l’ambition générale d’amélioration des méthodes et outils de conception de logiciels embarqués.
Il a pour objet le développement de techniques permettant de relier entre elles différentes prédictions et observations du comportement temps-réel de logiciels.
Les comportements attendus sont définis formellement au niveau d'un modèle de conception qui s'appuie sur le profil UML/MARTE. Ce modèle permet l'instrumention d'un code
qui sera exécuté sur différentes plateformes d'exécution (Linux-RT, Java-RT, Accord).
Les observations sont matérialisées par des modèles de trace qui sont reconciliés puis analysés hors ligne avant d'être ré-injecté dans le modèle de conception.

Site du projet RT-Simex

SALTY ANR 2009-2012

SALTY (Self-Adaptive very Large disTributed sYstems) : consortium of 4 academics (UNS MODALIS, INRIA ADAM, LIP6/MoVe, Paris 8), 3 small-to-medium-enterprises (EBM WebSourcing, Deveryware, MAAT) and one large company (Thales).

This project aims at providing an innovative self-managing software framework at run-time for Very-Large Scale Distributed Systems (VLSDS).

SALTY addresses this challenge by considering the complementarities between two major trends in computer science and computer system engineering: Service Oriented Architecture (SOA) and Autonomic Computing. The scientific breakthroughs that have to be achieved in order to fill this gap are:
1. Making run-time self-adaptation capabilities a first class concern into VLSDSs,
2. Making self-adaptation capabilities an effective tool in the hands of software engineers.

Site du projet SALTY

SMNG
Projet SMNG du pôle de compétitivité SCS
 
Partenaires : Atos-Origin, Castify Networks, CHU de Nice, CSTB,  France-Telecom R&D, Institut Eurécom, NXP, SESIN, UMM, UNSA/I3S.
 
Résumé : les objectifs du projet SMNG sont d'inventer des plateformes et des services télécoms de nouvelle génération permettant communications multimédia, multimodales et sécurisées, accessibles depuis des réseaux d’accès multiples, et s’appuyant sur les nouvelles infrastructures de services basées sur l’Internet Protocol (IP) comme par exemple IMS.
Les outils issus des travaux relatifs à l'IDM sont utilisés dans ce développement.
Site du projet SMNG

SPaCIFY

SPaCIFY, Projet du pôle de compétitivité AESE «Aerospace Valley» financé par le RNTL pour l'ANR.


Partenaires : Alcatel Alenia Space, Anyware-Technology, CNES, EADS-Astrium, ENSTBr/RIRE, FéRIA-IRIT/Acadie, INRIA/Expresso, LaBRI, TNI-Software

Résumé : L'objectif de SPaCIFY est de proposer un environnement de développement de systèmes critiques embarqués avec les caractéristiques suivantes :
- Ingénierie Dirigée par les Modèles,
- Formalisme synchrone multi-horloge,
- Validation par vérification des modèles,
- Raffinement par transformation de modèles vérifiées,
- Plate-forme d'exécution distribuée, partitionnée et adaptable dynamiquement.

Cet environnement reposera principalement sur des composants libres. Il peut être considéré comme une spécialisation de l'approche TOPCASED au domaine spatial.

Site Web

SCorWare

SCorWare, project RNTL, 2007-2008

Partenaires : Inria, ObjectWeb, Obeo, eBMWebSourcing, OpenWide, Edifixio, ...

Le projet SCOrWare a pour ambition de fournir une implantation en logiciel libre des récentes spécifications Service Component Architecture (SCA) définies par l’Open SOA Collaboration, un regroupement d’industriels du logiciel. En bref, SCA définit un nouveau modèle d’architecture et de programmation d’applications orientées services (SOA) basé sur le paradigme composant.
L’implantation SCOrWare comprend :
- une plate-forme d’exécution supportant divers langages de description des services, de programmation des composants, et divers protocoles de communication.
- un outillage basé sur une approche modèle et sur la plateforme Eclipse STP.

Le projet fait un usage intensif de technologies IDM telles que Acceleo, ATL et GMF.

Site du projet SCorWare

SPEEDS

SPEEDS: projet IST, 2006-2009

Partenaires : Airbus Deutschland GmbH (A-D), Airbus France S.A.S. (A-F), DaimlerChrysler AG (DC), Israel Aircraft Industries Ltd (IAI), Robert Bosch GmbH, INRIA, Kuratorium OFFIS e.V., PARADES, Universite Joseph Fourier, TNI, I-Logix Israel Ltd, Extessy AG, Knorr Bremse Fekrendszerek Kft, Steyr GmbH & Co KG, SAAB AB, Esterel Technologies SA

Résumé : SPEEDS is an IST Integrated Project defining the new generation of end-to-end methodologies, processes and supporting tools for safety-critical embedded system design. They will enable European systems industry to evolve from model-based design of hardware/software systems, towards integrated component based construction of complete virtual system models. SPEEDS aims at improving substantially the competitiveness of the European industry in this critical economic sector by marrying design competence with deep technical insights and theoretical foundations. SPEEDS partners are companies active in the entire supply chain: OEMs, suppliers, and tool vendors, supported by leading European research institutions
.


THeSys

THeSys est un groupe de chercheurs du laboratoire LISE (Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués) du CEA, LIST, du Département Informatique de Supélec et de l'École Centrale qui travaillent en commun sur la modélisation des systèmes hétérogènes.

Site du groupe THeSys

TOPCASED

TOPCASED, Projet du pôle de compétitivité AESE «Aerospace Valley», régions Midi-Pyrénées/Aquitaine

Partenaires actuels : ADACORE, AIRBUS-FRANCE, ANYWARE-TECHNOLOGIES,ATOS-ORIGIN, CNES, CS, EADS-ASTRIUM, ELLIDISS-TECHNOLOGIES, ENSEEIHT, ENSIETA, ESEO, FéRIA-IRIT, FéRIA-LAAS-CNRS, FéRIA-ONERA, INRIA-ATLAS, INRIA-EXPRESSO, INRIA-VASY, INSAT, IRIT, MICOUIN-CONSULTING, MIPS,ROCKWELL-COLINS, SIEMENS-VDO, SODIFRANCE, SOGETI-HIGHTECH, SOPRA-GROUPE, TECTOSAGES, THALES, TNI-SOFTWARE, TURBOMECA, UFSC-DAS, UPS

Résumé : Le projet TOPCASED vise la construction d'un atelier de développement libre «Open Source» avec les objectifs suivants :
- pérenniser les méthodes et outils pour le développement de systèmes embarqués critiques allant de la spécification des systèmes jusqu'à la réalisation logicielle et matérielle en passant par la définition des équipements ;
- minimiser les coûts de possession ;
- assurer l'indépendance par rapport aux plate-formes de développement ;
- intégrer aussi tôt que possible les derniers résultats issus des laboratoires de recherche ainsi que les changements méthodologiques ;
- offrir une capacité d'adaptation des outils au processus et non pas du processus aux outils comme c'est le cas aujourd'hui ;
- prendre en compte les contraintes de qualification.

Pour répondre à ces objectifs, TOPCASED s'appuie, d'une part sur les dernières technologies en Ingénierie Dirigée par les Modèles dans le cadre de la plate-forme Eclipse et sur des approches de vérification formelles et d'autre part sur la définition d'un processus commun basé sur les modèles dérivé de l'EIA
632.

Site web du projet TOPCASED
Site Web de la forge

Usine Logicielle

Usine Logicielle, projet de pôle de compétitivité SYSTEM@TIC PARIS REGION.

Partenaires : CEA, CS, Dassault Aviation, EADS, EDF, Esterel Technologies, Hispano Suiza, IFP, INRIA, LIP6, LRI, MBDA,Ecole Polytechnique, Softeam, Supelec, Thales, Trialog.

Résumé : au sein du pôle SYSTEM@TIC PARIS REGION, le projet "Usine Logicielle" propose de mettre en œuvre l'ingénierie logicielle à base de modèles qui permet de standardiser et d'automatiser la conception, l'intégration, la validation et la maintenance des logiciels équipant ces produits de haute technologie.
La solution issue d’« Usine Logicielle » se concrétisera par de nouveaux outils, de nouvelles organisations de travail, de nouveaux métiers et de nouvelles formations, avec à la clé, des gains de productivité, des innovations plus rapides, une compétitivité accrue et une attractivité plus grande de la région Ile-de-France
.

Site du projet Usine Logicielle

UsiXML - 2009-2012 -

Partenaires :
Thales (THA), Université catholique de Louvain (UCL), PYAutomation (PYA), Gostai(GOS), DefiMedia (DEF), See & Touch (SAT), Namahn (NAM), ProDevelop (PRO), Company for Software and Development (CSD), VR Sense (VRS), Baum Engineering (BAU), Institut Télécom (ITB), Telefónica I+D (TID), Institutul National de Cercetare-Dezvoltare in Informatica (ICI), Univ. Joseph Fourier (UJF), Laboratoire d'Informatique de Paris 6 (LIP), Univ. of Namur (UND), DAI-Labor (DAI), University of Rostock (ROS), Univ. of Valencia (UPV), Univ. Castilla-La Mancha (CLM), Univ. of Madeira (UMA), Informatics and Telematics Institute (ITI), Agence Wallonne des Télécommunications (AWT)

Résumé : UsiXML will define, validate, and standardize an open User Interface Description Language increasing productivity & reusability and improving usability & accessibility of industrial interactive applications by supporting the "µ7" concept: multi-device/user/linguality/organisation/context/modality/platform

Site web

 
  Nouveau PRESTO Artemis 2011-2014

  En Cours: Flex-eWare, MyCitizSpace, RT-Simex, SALTY.

CEA - Mise à jour : 06/01/2012 13:31:12 - Mentions Légales
© CEA 2003 - 2014 Tous droits réservés