Sites Inria

Version française


Laurence Hermant - 17/10/2013

Inria is involved in India-France technology summit in New-Delhi


The India-France Technology Summit to be held in New Delhi on October 23 and 24 is an opportunity for Inria to intensify contacts and opportunities of collaboration with India. The Institute will participate under different modes: demonstration of technologies, organization and participation in round tables, presentation of work and activities on its booth. 

At the summit, Inria will also sign a Memorandum of Understanding with the Department of Science and Technology (DST) of the Indian Government. This signature officially launches the "Joint Targeted program in Information and Communication Science and Technology", which also involves the CNRS. This program allows the co-financing of scientific research projects between France and India. It is launched under the aegis of the CEFIPRA (Franco-Indian Centre for Promoting Advanced Research). The objectives of this program are to strengthen existing collaborations between the two countries, to support new projects and exchanges of researchers and students involved.

Inria's program:

Gazelle software, for shared patient information exchange

Eric Poiseau  (IHE Gazelle, Inria Rennes Bretagne Atlantique), will present Gazelle, a suite of tools developed by IHE Europe, which Inria is a founding member. This non-profit organization brings together a wide range of stakeholders to advance shared patient information exchange. Gazelle tools test the interoperability of health systems as well as the compliance of messages and documents produced by these systems. Gazelle provides a management solution for testing interoperability of software components in the field of health.

Presentation on Inria’s booth and in the technology showcases program (see beside)

SOFA platform, dedicated to interactive physical simulations, particularly medical simulation 

Jérémie Dequidt  (Shacra team, Inria Lille Nord Europe) will present SOFA (Simulation Open Framework Architecture), a research and development platform dedicated to interactive physical simulations, particularly medical simulation. SOFA works with numerous algorithms from a variety of research fields. Very different kinds of models can be combined so as to produce complex simulations which remain compatible with optimal computation times. The possible fields of application for SOFA include the learning and planning of medical procedures, bio-mechanics, and video games.

Open-source software, SOFA aims to promote collaboration between research groups, to simplify the prototyping and development of medical systems through interoperability and reusability, and finally to facilitate technology transfer between research and industry.
Each of these objectives will be highlighted with several examples including working with the NGO HelpMeSee to deploy a simulator cataract surgery

Presentation on Inria’s booth and in the technology showcases program (see beside)

Researches in mathematics to better understand cardiac electrical dysfunction

Nejib Zemzemi  (Carmen team, Inria Bordeaux Sud-Ouest) will present the works of his team in simulation of cardiac electrophysiology. In collaboration with physicians of the University Hospital Institute of Bordeaux, the team conducted several simulations that have an impact on medical science as the numerical simulation of the effect of drugs on cardiac activity.

Cardiac electrophysiology is a complex science that studies the organization of cardiac electrical phenomena from the molecular scale up to the scale of the body. Mathematical modeling and numerical simulations are used to build experimental tools that guide our understanding of cardiac electrical dysfunction. 

Présentation on Inria’s booth

Models of spatio-temporal structure for high-resolution image & video processing

Yuliya Tarabalka (Ayin team, Inria Sophia-Antipolis Méditerranée) will present her research in development of spatio-temporal models for processing images and videos in high resolution (applied to remote sensing data and medical data).

Présentation on Inria's booth

TravelDashBoard, mobile crowdsourcing to the service of users of transport

Animesh Pathak (Arles team, Inria Paris – Rocquencourt) will present TravelDashboard, an open source middleware platform, enriched with personalized mobility services for urban travelers. A pan-European team of partners works together on the project such as Alcatel/Lucent, Ambientic, Systematic, Thales, Transport for London (TfL), and University College London (UCL). They can pool their resources together to take into account users experience via real-life demonstrators’ assessment, or propose novel business models.

The project partners, Inria and Ambientic have participated in the contest open data RATP (Paris Transport) and leveraged their experience to create two applications - Sardines box to inform the crowd in the subway, and NeverBLate to enable citizens to achieve their destination while meeting milestones such as buying flowers. This last application was awarded by the RATP in the first round in spring 2013, and the finals will take place on 23 October.

Presentation on Inria's booth. Intervention in the round-tables and in the technology showcases programs (see beside).

Focus on Inria’s software assets

Patrick Moreau , Inria Software assets manager, will present a selection of Inria’s opensource softwares. Extracts from the catalog of software are available beside.

Presentation on Inria's booth.

Correct and Efficient Manycore Processor Programming

Applications of manycore processors cover a very wide spectrum, including:

  • supercomputing clusters for numerical simulations;
  • server workloads such as packet analysis, quantitative models in finance;
  • mobile computing for enhanced visual experience;
  • embedded sensors such as smart cameras, advanced radar systems.

GPUs have emerged as a popular architecture for such computationally intensive applications, but more power-efficient and general-purpose architectures have also been successful (Intel Xeon Phi, Tilera GX, Kalray MPPA). Effective programming tools are essential to the wide adoption of programmable accelerators. Given the scale and complexity of the concurrency in manycore processors, correct-by construction approaches are particularly welcome.  

Albert Cohen (Parkas team, Inria Paris-Rocquencourt) will survey ongoing work in the areas of compiler construction, runtime systems, and (domain-specific) programming languages to harness these challenges..

Intervention on Inria's booth and in the round-table co-organised by Inria (cf below).

Extending Synchronous Languages for Hybrid System Modeling

Synchronous languages have been invented for programming reactive systems for which safety properties must be statically ensured. With those languages, systems are modeled with high-level and mathematically precise constructs so that models are used both for simulation, test, formal verification and code generation. This is the typical use of the tool SCADE from Esterel-Technologies, which is used now for programming the most critical control software in plane, trains, subways, nuclear plants, etc. thus contributing to the use of formal methods in industry.

Synchronous languages do not address the problem of hybrid system modeling, that is, the modeling of a whole system including the software together with a physical environment evolving on a continuous time basis. A wide range of tool exist and to cite only a few of them: Simulink/StateFlow, LabView, Modelica, etc. Nonetheless, the mix of discrete-time and continuous-time behavior pose serious scientific challenges in term of language design, semantics and efficient implementation.

Marc Pouzet (Parkas team, Inria Paris-Rocquencourt) will show recent advances in research on this topic, showing in particular how synchronous languages can be conservatively extended to deal with continuous-time behaviors described
by Ordinary Differential Equations (ODEs).

Intervention on Inria's booth and in the round-table co-organised by Inria (cf below).

Inria round-table

Inria co-organizes a round-table untitled « IT systems in the industry: how to ensure software reliability?”

What are the consequences of IT systems last evolutions in terms of quality, safety and security? What are the expectations of industry and the answers that research can provide (in terms of proof tools, new programming languages, modeling tools,...)? The round-table will bring together the views of researchers and industry professionals on these issues and propose angles of attack to provide solutions.

Among the speakers: Hélène Kirchner , Inria’s international relations director who will conduct the debate, Albert Cohen and Marc Pouzet (Parkas team, Inria Paris-Rocquencourt)

24 October 2013, 10:00-12:00

Keywords: Interoperability Crowdsourcing Programming Simulating surgical procedures Open source Image processing Simulation