Projets

Control of Accuracy and Debugging for Numerical Application

CADNA est une bibliothèque qui permet de faire du calcul scientifique sur ordinateur en estimant et contrôlant la propagation des erreurs d'arrondi

a Graphical Unified Model

aGrUM est une librairie en C++ de manipulation de modèles graphiques.
Son spectre est assez large puisqu'elle est conçue pour faire de l'apprentissage (de réseaux bayésiens par exemple), de la planification (FMPDs) ou bien encore de l'inférence (réseaux bayésiens, GAI, diagrammes d'influence).

library for easily modeling and operating on networks

Lemon est une boite à outils graphique (au sens GUI) en C++ pour manipuler des modèles graphiques. Elle s'appuie sur aGrUM en ce qui concerne les manipulations graphiques (au sens de la théorie des graphes) et les aspects calculatoires (inférence, apprentissage, etc, de modèles graphiques).

COMBIEN?

Le logiciel COMBIEN? est un système pédagogique construit pour aider les étudiants dans le domaine mathématique de la combinatoire (les dénombrements). L'étudiant apprend à résoudre des problèmes de combinatoire en utilisant le langage et les concepts mathématiques du domaine. Le système propose différentes interfaces, chacune correspondant à une classe de problèmes et à une méthode de résolution.
Chaque interface propose une batterie d'exercices. Pour chaque exercice, l'étudiant construit une solution, guidé par une interface pédagogique qui offre des outils appropriés et qui détecte les erreurs incrémentalement.

FoCaLize

Atelier de développement intégré pour les logiciels critiques

CPN-AMI est un environnement conçu sur FrameKit: une plate-forme logicielle d'intégration permettant un couplage rapide d'outils de provenance diverses. CPN-AMi est ainsi l'assemblage le plus complet d'outils de vérifications à partir de réseaux de Petri. Ces outils ont été développés dans le cadre des travaux de SRC ou par des partenaires universitaires (Université de Turin, Université d'Helsinki, Bell-Labs, Université de Munich, Université Humbolt à Berlin). CPN-AMI est composé d'un serveur d'outils et d'une interface utilisateur déporté à laquelle on se connecte.

Plate-forme pour la production d'infrastructures d'exécution optimisées

C'est un projet ANR

MODELing solution for comPLEX software systems

The European IST MODELPLEX project has three major objectives:
* Objective A: Develop an open solution for complex systems engineering improving quality and productivity;
* Objective B: Lead its industrialisation;
* Objective C: Ensure its successful adoption by the industry.

ModFact est un projet ObjectWeb sous licence GPL LIP6. Il fournit un framework pour la construction d'applications réparties selon une approche orientée modèle, conformément aux standards de l'OMG (Object Management Group) relatifs au Model Driven Architecture (MDA). ModFact inclut plusieurs projets. Le projet "Repository" offre le service de génération de référentiels MOF. Le projet "QVT" offre le service de transformations de modèles. Enfin, le projet "Model bus", en cours d'élaboration, offre le service d'interopérabilité entre outils MDA à travers la mise en oeuvre du concept de "MDA service", à l'instar des "Web services".

PNML Framework est l'implémentation prototype du standard ISO/IEC-15909 (partie 2), le format d'échange normalisé pour les réseaux de Petri. L'objectif principal de PNML est d'aboutir à l'interopérabilité des outils basés sur les réseaux de Petri. PNML Framework est conçue pour implémenter le standard au fur et à mesure de son élaboration, afin d'en mesurer la faisabilité et de servir de référecne pour es outils de la communauté. Il propose une API de manipulation permettant de créer, sauver, charger et parcourir des réseaux de Petri au format PNML.

PolyORB: un intergiciel Schizophrène

PolyORB est un projet joint entre le LIP6 et l'ENST

Spot Produces Our Traces

SPOT (Spot Produces Our Traces) est une bibliothèque de model-checking facilement extensible. À la différence des model-checkers existants, dont le mode opératoire est immuable, SPOT fournit des briques que l'utilisateur peut combiner entre elles pour réaliser un model-checker répondant à ses propres
besoins. Une telle modularité permet d'expérimenter facilement différentes combinaisons, et facilite le développement de nouveaux algorithmes. D'autre part, cette bibliothèque est centrée autour d'un type d'automates particulier permettant d'exprimer les propriétés à vérifier de façon plus compacte, qui n'a jamais été utilisé dans un outil jusqu'à présent.

L’explosion de l’Internet et l’émergence des technologies d’accès à haut débit permettant l’intégration de la voix, des données et de la vidéo ont remis le réseau domestique sur le devant de la scène en lui offrant la panoplie d’applications qui lui avait fait cruellement défaut jusqu’à présent. Le projet Authone a pour objectif le développement du concept d’autonomie et de l’informatique ubiquitaire au sein des réseaux domestiques du futur. Les recherches menées dans ce contrat visent la conception et la mise en place de nouvelles architectures, de protocoles et de modèles d’auto-configuration, d’auto-gestion et d’auto-monitorage des communications dans les réseaux domestiques.

Modèle, contrôle et gestion du nomadisme par un réseau autonome

L’objectif de cette proposition est de concevoir et développer une maquette permettant de prendre en compte un modèle du nomadisme et de l’utiliser pour réaliser un contrôle et une gestion des terminaux utilisateurs et des équipements de réseaux pour que les clients puissent être nomades. Les moyens conceptuels pour réaliser cet environnement proviennent des équipements de réseaux qui peuvent travailler de façon autonome et que nous appelons ici un réseau autonome.

Le besoin en QoS pour les services informatiques en général, les services multimédia, nomades et/ou ubiquitaires en particulier, qui connaissent actuellement un grand développement, est d'une importance capitale dans le développement futur des réseaux sans fils.
La diversité permet d'améliorer de façon importante la probabilité d'erreur et surtout de fiabiliser le lien par rapport aux évanouissements rapides du signal (« fadings ») dus à la propagation multi-trajets. On parle alors de réseaux ad-hoc à diversité de coopération où la technologie MIMO généralisée à des noeuds coopérants, induisant ainsi la notion de MIMO virtuelle, apportera la QoS recherchée.
Dans un schéma de communication coopérative, chaque utilisateur du réseau sans fil est supposé transmettre ses propres données et agir comme un agent coopérant pour d'autres utilisateurs. Comme c'est le cas pour les systèmes MIMO, les schémas de coopération vont apporter un gain en diversité qui permettra de rendre le réseau auto-configurable et beaucoup plus fiable.

Service Ubiquity in Mobile and Wireless Realm

Dans les dix ans à venir, la plus grande partie du monde moderne communiquera sans fil. Par conséquent, la communication sans fil deviendra omniprésente et transparente à l'utilisateur. Les utilisateurs voudront accéder aux services sans avoir à s'inquiéter des types de connexions disponibles pendant leur déplacement. Toutes les technologies sans fil et mobiles (cellulaires) coexisteront pour satisfaire les besoins des fournisseurs et des clients. Les consommateurs souhaiteront accéder à tous leurs services en tout lieu et à tout instant.
Le but principal du projet SUMO est de garantir la continuité des services de bout-en-bout pendant la mobilité de l'utilisateur.

Situated Ubiquitous Network

Plusieurs solutions se dessinent pour les nouvelles générations de réseaux hertziens incluant les réseaux de mobiles, les réseaux sans fil (IEEE 802.11, .15 .16, .20, .21, .22), les réseaux de capteurs, les réseaux ad hoc, les réseaux d’étiquettes électroniques (RFID) et plus généralement les réseaux de « choses communiquant par une interface air ». Cette solution donne naissance à un nouveau réseau qui connecte a peu près tout et n’importe quoi que l’on peut nommer l’Internet des « choses » à interface air, abrégé dans la suite en IoTcR : Internet of Things connected by Radio (Internet des choses connectées en radio). Ce réseau a la propriété d’être ubiquitaire dans le sens où les TcR peuvent se connecter de partout et à tout moment. Un réseau IoTcR peut être défini de façon très simplifiée comme un ensemble de cellules dont les points d’accès sont liés entre eux par des liens Ethernet fixes ou hertziens. L’objectif de ce projet est de proposer une solution de continuité de service dans le cadre du réseau IoTcR en proposant une architecture de signalisation unifiée pour le support et le maintien de la qualité de service et la sécurité.

Les étiquettes électroniques, fréquemment désignées sous le terme RFIDs, vont vraisemblablement créer une révolution culturelle et économique comparable à celle de l’Internet des années 90. Ces composants très peu coûteux, produits à des milliards d’exemplaires, généralement télé alimentés pas des champs électromagnétiques, sont en passe d’être intégrés aux objets de la vie quotidienne. L’internet des objets (Internet Of Things) désigne une architecture permettant à ces objets d’échanger des données via le réseau IP, et donc de conduire des communications inter-objets. Cependant les RFIDs n’ont pas de ressources matérielles et informatiques suffisantes pour s’intégrer nativement dans l’Internet. Ce projet propose de définir et de standardiser une pile globale de communication répartie entre les RFIDs et différentes entités IP, de telle manière que tout objet soit vu comme un noeud IP ordinaire.

Circuits Analogiques Intégrés Réutilisables et Optimisés

L'objectif du projet CAIRO est de développer des méthodes et des outils autorisant une réutilisation des cellules analogiques et une capitalisation de connaissances du concepteur sous forme des cellules IP (Intellectual Property) portables d’une technologie à l'autre et d’un jeu de spécifications à l'autre.
Le langage CAIRO+, ensemble de fonctions C++, est un langage de création d’IP analogiques permettant de structurer, de formaliser et d’automatiser en grande partie le flot de conception analogique. Il est utilisé pour créer une procédure appelée «générateur» pour une cellule analogique. A l'étape actuelle d'avancement du projet, la structure électrique de la cellule (i.e. le schéma électrique non dimensionné) est figée par le concepteur. Le générateur doit permettre un dimensionnement des composants de la cellule (définition de la taille des transistors, des capacités etc.) et de synthétiser le layout – le tout en fonction des spécifications de la cellule et des paramètres technologiques. L'écriture du générateur de la cellule est à la charge du concepteur, notamment, la partie qui concerne le dimensionnement électrique du circuit.
Un des points forts du langage CAIRO+ est, sans doute, la possibilité de synthétiser le layout d'une manière quasi-automatique, à partir du schéma électrique dimensionné – la fonction de génération du layout fait partie des modules «natifs» du langage. De plus, le dimensionnement électrique peut prendre en compte les éléments parasites du layout (nous disons «peut», car tout dépend de la volonté du concepteur qui définit la procédure de dimensionnement). Dans ce cas, plusieurs cycles «dimensionnement de la cellule – synthèse du layout» peuvent être nécessaires.
Un des pôles d'intérêt de ce groupe est la conception de modulateurs sigma-delta temps continu. Dans cette activité nous nous attachons à capitaliser l’effort de conception en développant des méthodes et des outils permettant une réutilisation des résultats. La structure complexe des modulateurs, incluant un grand nombre de cellules de fonctionnalité identique mais de spécifications différentes (telles que GmC, amplificateurs), offre un contexte approprié pour l’application de la méthodologie implémentée dans CAIRO+.

Plate-forme pour la synthèse physique de circuits intégrés

Coriolis est une plate-forme logicielle pour la recherche d'algorithmes, le développement d'outils et l'évaluation de nouveaux flots de conception physique VLSI. Les procédés technologiques actuels, nanométriques, posent de nouveaux défis aux flots de CAO. Les recherches académiques concernent souvent la résolution de problèmes trop spécifiques, indépendemment d'autres algorithmes, faute de pouvoir inter-opérer avec eux. Or il est capital de pouvoir évaluer les interactions entre les différents outils au sein d'un flot complet de conception. La plate-frome CORIOLIS, conçue en C++, est faite pour permettre l'inter-opérabilité des différents briques logicielles qui l'utilisent. Elle propose actuellement dessolutions aux problèmes de partitionnement, de placement et routage de circuits numériques, en technologie nanométrique.