ANR Projects 2007

For more details, please contact the laboratories or the project coordinator.

Le projet C-Mantic vise à élaborer une méthodologie inédite de détection de l'information et d'organisation des masses de données documentaires dans une perspective multilingue. La méthode proposée est fondée sur une analyse sémiotique et linguistique approfondie prenant en considération l'ensemble des critères textuels et pas seulement les mots-clés.
En effet, le sens des textes ne repose pas uniquement sur le sens des mots, en particulier pour les textes non techniques. Dans des travaux précédents, on a pu montrer que les textes racistes sur le Web ne répondent pas toujours aux mots-clés supposés les caractériser. Cela se vérifie sur la plupart des textes relatifs à des faits de société dès lors qu'ils s'adressent au grand public.
Pour C-mantic, l'enjeu est donc d'approfondir et d'enrichir la méthodologie d'analyse tout en élargissant sa gamme d'applications (GED, Recherche d'Information, production de ressources textuelles, etc.).
 Le champ d'application choisi est la lutte contre le tabagisme en raison de sa dimension sanitaire et sociale. Outre le français, nous avons retenu comme langues d'expérimentation l'anglais et le chinois : d'une part, parce que les Etats-Unis et la Chine sont des acteurs majeurs en tant que consommateur et/ou producteur ; d'autre part, parce que la diversité culturelle et linguistique que représentent ces langues constitue un enjeu scientifique majeur.

Complex systems, such as embedded systems are often distributed, timed, and open.
The aim of the DOTS project is to associate researchers specialized in verification of different aspects mentioned above in order to tackle problems that emerge when considering several features simultaneously. In this way we plan to significantly advance both theory as well as algorithmics of design and verification of distributed, open and timed systems.
The area of formal verification covers now a wide range of problems that share a common theoretical basis, but require specific approaches and techniques. In addition to model checking —the classical problem that consists in deciding whether a given model satisfies a given specification— the DOTS project will mainly address two important verification problems: control and non-interference.

IdM++ is a project involving ILOG, CEA, Prima Solutions, and AtlanMod. The main goal is to investigate advanced issues in model engineering. The team is particularly in charge of WP 2, on global model management. In this context, the navigability between various DSLs will be studied. One of the case studies is provided by ILOG and the other one is a typical project management organization. In addition to these direct tasks, the team will participate to joint study with ILOG of the configuration problem.

Développement d'outils logiciels pour aider les PME à concevoir des réseaux communs de livraison aux clients. Ces outils doivent déterminer la localisation d'entrepôts partagés et les itinéraires de livraison répondant le mieux aux critères de minimisation des coûts de distribution et d'impact sur l'environnement.

Forte pression pour réduire la taille des antennes dans les terminaux portables du futur
Le projet NAOMI cherche à apporter des réponses innovantes au défi technique, mais aussi économique et ergonomique lié à l’intégration de plusieurs antennes dans les futurs terminaux mobiles. Il contribue ainsi à simplifier la vie de l’utilisateur en lui permettant l’accès de façon transparente à plusieurs réseaux et dans les meilleures
conditions de qualité et de prix.
Une solution de rupture pour la miniaturisation des antennes
Alors que les techniques classiques utilisées à ce jour pour réduire la taille des antennes ont atteint leur limite théorique, le projet NAOMI propose une approche de rupture combinant les caractéristiques uniques de nouveaux matériaux avec les méthodes de conception les plus avancées dans le domaine des antennes.

The PHERMA project (Parallel Heterogeneous Energy efficient Real-time Multiprocessor Architecture) proposes to reconsider the control scheme (RTOS) in a MPSOC architecture :
•To propose a performant Sw/Hw architecture model with deterministic behaviours in a way to guaranty maximum response times;
•To adapt and ease the schedulability analysis on the basis of this architectural model to hold an “a priori” verification of task deadline meeting;
•To propose methods for offline and online optimization of power consumption considering this architectural model.

L’électronique embarquée joue le rôle fédérateur de l’ensemble des fonctions d’un véhicule et participe très significativement au coût global : amplificateur de freinage, antipatinage, contrôle de direction, régulateur d'allure, contrôle moteur, télématique, gestion des ouvrants, climatisation, ...
De plus, la sécurité des personnes impose un très haut niveau de sûreté de fonctionnement. Pour autant, toute cette technologie ne doit pas augmenter le prix des véhicules car elle s'insère dans un cadre économique où le contrôle des coûts est une contrainte majeure.
Economiquement, le projet SADAJ s'inscrit dans cette double problématique de réduction des coûts, alliée à une plus grande fiabilité des modules électroniques embarqués dans un véhicule. A travers SADAJ, est clairement ambitionnée une forte réduction des temps d'accès aux marchés ainsi qu'un abaissement de 30% des coûts globaux des produits automotives. Technologiquement, les objectifs de SADAJ sont :
- de rendre possible la programmation Java et/ou Javalike
- sur microcontrôleurs 8bits, pour lesquels cet objectif est une rupture technologique forte.
- d'adresser particulièrement le Java temps réel automotive, donc déterministe,
- de protéger les logiciels embarqués par des protections matérielles adhoc.

This project aims to develop a real time IP deep packets inspection (DPI) platform including hardware and software. The packet processing (level 2 to 7) is done at network speed (up to 10 GB/s per link). This project includes several application whose one named “IP lawful interception” (IP/LI).
- Make available a very powerful DPI platform at very low shop cost.
- To develop first applications using and demonstrating the platform potential : IP/LI, Watermarking.

Ce projet a pour vocation le développement des connaissances sur les singularités du modèle géométrique direct des robots parallèles, et la transmission de ces nouvelles connaissances aux futurs acteurs de la robotique parallèle. Les auteurs de cette proposition sont convaincus, au regard des expériences qu'ils ont déjà menées, que le développement effectif des robots parallèles dans l'industrie passe par une meilleure connaissance de leurs singularités. Pour cela, les objectifs importants que nous nous fixons sont les suivants :
- la proposition de nouveaux outils et de nouvelles méthodologies permettant de détecter et d'éviter les configurations singulières dans l'espace de travail
- la définition d'indices pertinents de proximité de singularités ayant un sens physique
- le développement d'outils permettant le calcul et l'évaluation de l'espace de travail dextre ;
- l'étude de la séparation et du tri des modes d'assemblages ;
- l'écriture d'une condition exploitable d'existence de points triples et la classification des robots parallèles en fonction de l'existence de tels points.