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.

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.

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.

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.

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.

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.

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.

MeMVaTEx, projet RNTL, 2006-2009.

Partenaires : CEA LIST, Continental, INRIA/UNSA, Monditech, UTC/HEUDIASYC.

Résumé : l’objectif du projet MeMVaTEx est de compléter le processus de développement basé sur des modèles par une méthodologie de modélisation et de gestion de la continuité du développement dans le raffinement de modèles tout en supportant l’inter opération entre des formalismes de modélisation hétérogènes.

Modelplex, projet IST, 2006-2009.

Partenaires : Adaptive, CEA, ESI, FhG, IBM, INRIA, LiP6, THALES, SAP, SINTEF, Sodifrance, Softeam, Telefonica, TUD, TUBS, University of York, Western Geco, Xactium Limited, XJ Technologies

Résumé : le projet Modelplex vise à développer une solution basée sur l'IDM pour la modélisation de systèmes d'ingénierie complexes améliorant la qualité et la productivité.

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.

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.

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.

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.