Projects

Control of Accuracy and Debugging for Numerical Application

CADNA is a library which allows to perform scientific computations with the estimation and the control of the round-off error propagation.

a Graphical Unified Model

aGrUM is a C++ library designed for easily manipulating graphical models. Its range of applications is quite large as it is designed, e.g., for performing learning tasks (for instance, learning Bayes nets from data), planning tasks (FMDPs) and inference (Bayes nets, GAI-nets, influence diagrams).

library for easily modeling and operating on networks

Lemon is a GUI toolkit written in C++ for manipulating graphical models. It relies on aGrUM both for graph theoretic algorithms and for computations within the graphical models (e.g., inference, learning).

HOW MANY?

The "COMBIEN?" software (meaning "HOW MANY?" in French) is a pedagogical system to help students learn combinatorics. The student learns to solve combinatorics problems using mathematical language and concepts. The system offers several interfaces, each corresponding to a class of problems and a solving method. Each interface offers a set of exercises. For each exercise, the student builds a solution, guided by an interface with appropriate tools and an incremental detection of errors. You can find the details on our site (only in French, sorry).

FoCaLize

Critical software IDE

is a Petri Net based CASE environment. It offers a set of services to perform specification, validation, formal verification, model checking, compute structural properties (invariants, traps, syphons etc.) simulate and generate code. These services have been implemented either by members of our team or university partners (Technical university of Helsinki, University of Torino, Technical university of Munchen, Bell laboratories). The second geration of CPN-AMI, build on top of FrameKit, is available on the Internet since March 1997.

Platform to producecustoized executio infrastructures

This is an ANR funded project.

PNML Framework is a prototype implementation of ISO/IEC-15909 part 2, International Standard on Petri Net Markup Language. The primary purpose of PNML is to enable interoperability among Petri net tools. PNML framework has thus been designed to back the Standard. It will enable Petri nets tools developers to seamlessly integrate PNML support into their tools. It provides an extensive and comprehensible API to create, save, load and browse PNML models.

PolyORB: A schizophrenic midleware

PolyORB is a join project between LIP6 and Telecom Paris

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.

Nuage

The "nuage" consortium was formed in early 2011. It is composed by 7 innovative companies and 2 teams of LIP6 laboratory (REGAL and Phare) in French areas of excellence: networks, systems, data centers and storage. It has been supported from the outset by the ADEN, Association for the Development of the Digital Economy. Nuage (French word for cloud) presented an ambitious research project. The vision is to create the future of cloud computing: open to external hardware and software components, distributed over a French regional network, and hosted in ecological datacenters.

The world is going towards autonomic equipment. The Authone project aims at developing the autonomic paradigm in home networks with the goal of creating a competitive technological edge for European players in the domain of home networking. The main objective of Authone is to design a very innovative home network communication architecture with autonomous components allowing self-managing properties necessary for future home and pervasive scenarios. This new architecture will be composed of 4 planes (data, control, management and knowledge planes) allowing the system to self-configure, self-secure and self-monitor in real time so that the home-network is always optimised depending on the knowledge plane information. The project will develop this key concept of knowledge plane for driving home-networks in an autonomic way.

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

The objective of this proposal is to conceive and develop a model able to take into account a model of a nomadic system and to use it to carry out a control and a management of the terminals equipment and network elements so that the customers can be mobile (nomadic). The conceptual means to carry out this environment come from the network equipment which can work in an autonomic way and which we call here an autonomous network.

The QoS requirements of the multimedia, nomads, and ubiquitous services are of utmost importance in the development of the next-generation wireless networks. The use of diversity reduces the error probability and allows to increase the robustness of the wireless links to the effects of fading due to the multi-path propagation. It involves ad hoc networks with cooperative diversity in which the MIMO technology generalized to the context of cooperating nodes (virtual MIMO) will increase the QoS. In a cooperative environment, each user transmits its own data and acts as a cooperative support to the communications of the other users. Similarly to the MIMO systems, the cooperative schemes will bring a diversity gain which will increase the reliability of the network.

Service Ubiquity in Mobile and Wireless Realm

SUMO project will target these multi-dimensional mobile communications. The goal of the project is to address the multitude of opportunities and challenges we see are coming with innovations in software methodology and new wireless technologies, in a framework of what are important business enablers. The project will experiment new mobility services on a generalized wireless access infrastructure with horizontal and vertical handover, seamless service provisioning and optimisation, negotiation capability, security and QoS based on end-to-end IP service architecture. The technologies of the “vertical communication model” (selecting/switching through 2.5G/3G/WLAN, and even ultimately WiMAX, DVB-H) will be transparently integrated on a common and expandable platform to complement each other in an optimal way and to satisfy different service requirements.

Situated Ubiquitous Network

The SUN project has the ambition to build what it is called today IoTcR (Internet of Things Connected by Radio). From a technical point of view, an interesting issue in the IoTcR context is to ensure end-to-end service continuity and security during user mobility. For this purpose, a deep research will be conducted to design an effective vertical handover. This is very challenging since the IoTcR network is built on top of various technologies having different constraints in term of radio coverage, bandwidth, QoS and security. The objective of this project is to develop service continuity in the particular context of the IoTcR network based on a unified signalling architecture to provide QoS and security support.

Electronic tags, usually refereed as RFIDs, are likely to create a technological and cultural revolution similar to the one initiated by the internet technology in the early nineties. These very cheap components usually remotely feed by electromagnetic fields, are manufactured by billions, and are going to be inserted in quite all our everyday objects. Internet Of Things is a paradigm dealing with an architecture that enables such objects to exchange information through internet, and therefore to conduct inter-objects communications. But due to their lack of hardware and computing resources, RFIDs can’t natively handle IP connectivity. This project aims at defining and standardizing a global communication stack, distributed between RFIDs and several IP entities, so that every object could act as an ordinary IP mode.

Analog IP Design

Our purpose is to provide a language for designing generators of analog functions, that can be easily ported to new set of specfications and new technologogy processes. We are currently developing such a language that is called CAIRO+ The CAIRO+ language supports the four steps of a design flow based on net-list and layout templates. This language is aimed to help the designer to capture his knowledge, thus creating a library of layout-aware analog functions. It is based on C++ language. The design flow relevant to CAIRO+ is the following : ->net-list and layout template capture, ->design space exploration (managing electrical constraints) ->shape function computation (managing geometrical constraints) ->layout generation (place and route) CAIRO+ allows creating complex hierarchical analog function generators by using existing generators of simpler functions. It is an answer to the problem of Analog and Mixed IPs. As a demonstration of the CAIRO+'s capabilities, we are developping Analog to Digital converters, specially Sigma Delta.

Platform for physical synthesis of integrated circuits

Coriolis is an experimental integrated platform for the research, development and evaluation of new back-end VLSI design flows. Interconnect scaling to nanometer processes presents many difficult challenges to CAD flows. Currently academic research on back-end tend to address only specific algorithmic issues separately, although one key issue to address is the cooperation of multiple algorithmic tools. CORIOLIS, our platform, is based on an integrated C++ database around which all tools consistently interact and collaborate. This platform currently includes a timing-driven global place and route flow.