Following the publication of its first White Paper on Artificial Intelligence, Inria unveils a second document, this time on autonomous and connected vehicles, in which it identifies and highlights all the issues surrounding the major advances and innovations in this field. What are the technological and scientific challenges, the economic, social and environmental issues, and the legal and ethical implications? This White Paper is a reference text that evaluates, questions and looks ahead.

A European consortium led by Inria and funded by the EU ICT H2020 program, TeamPlay aims at developing new techniques that will allow execution time, energy, security and other important non-functional properties of parallel software to be treated as first-class citizens. As Project Coordinator Olivier Zendra points out, this research is expected to have a significant impact on various sectors of the industry. Results will be evaluated through use cases from various domains such as computer vision, cybersecurity, satellites and drones.

The start-up Hikob, created in 2011 at Inria, has been bought by TagMaster, the leading manufacturer of advanced RFID products and traffic sensors and of ANPR cameras for vehicle identification in traffic and rail solutions.

A security research team based at Inria center, in Rennes, Brittany, France, Tamis recently partnered with American networking hardware giant Cisco Systems in a move meant to design an innovative method for uncovering malware at code execution.

As a major player in Europe's research ecosystem, Inria considered important to clarify its expectations with regard to FP9, the future framework programme to succeed H2020. The institute has therefore forwarded its proposals to the European Commission "to provide food for thought during the active phase of drawing up the next framework programme for research and innovation
".

The CNIL (French Data Protection Authority) and Inria have awarded the 2017 "privacy protection" Prize to a European research team. During the 11th international conference Computers Privacy and Data Protection
(CPDP) to Seda GÜRSES, Carmela TRONCOSO and Claudia DIAZ for their article « Engineering privacy by design reloaded
».

The CCSD (Centre for Direct Scientific Communication) and Software Heritage have announced their collaboration beginning early 2018: it will enable the data repository in HAL to be extended to software and, as a result, contribute to the recognition of the work of research software developers.

Facebook is investing an additional 10 million Euros and doubling the Facebook AI Research (FAIR) team in order to accelerate research on artificial intelligence in France. As a result, Facebook's European hub is strengthening its partnership with Inria.

Facebook is investing an additional 10 million Euros and doubling the Facebook AI Research (FAIR) team in order to accelerate research on artificial intelligence in France. As a result, Facebook's European hub is strengthening its partnership with Inria.

InriaSoft aims for the durable development of large-scale software programs by bringing together their user communities within consortia that will finance a team of engineers tasked with their maintenance and evolution. The InriaSoft headquarters are based in Rennes, as Claude Labit, director, and David Margery, technical director of this national action backed by the Fondation Inria, explain.

Team presentation

AOSTE is the follow-up project-team of the former INRIA teams TICK and OSTRE, and the I3S Sports team (I3S is an associated laboratory between the CNRS and the University of Nice). AOSTE should become a joint project-team between INRIA, CNRS and UNSA.detailed technical description of our goals

Research themes

We conduct research on design of real-time embedded systems.

Here "design" means altogether:

High-Level Modeling

Transformation and Analysis

Implementation onto Embedded platforms

To cover this vast spectrum we need to specialize the type of formalisms
considered. We focus on synchronous reactive formalisms, such as
Esterel/SyncCharts, and on the AAA/SynDEx codesign methodology.

Part of our activities will be devoted to enrich the appropriate UML
modeling diagrams and profiles with elements allowing for efficient
representation and embedding of synchronous designs. We insist on
full-fledge sound semantic definitions of our constructs, using the
so-called "synchronous" hypothesis, to allow and justify powerful
techniques for analysis, optimization, verification, and
synthesis/compilation onto distributed embedded architectures under
real-time constraints.

International and industrial relations

We are active members of the "Synchronous" community, in connection
with the S4, ESPRESSO, and POP-ART INRIA project-teams, with the
VERIMAG CNRS laboratory, and with the univeristies of Columbia
(New York).

The spin-off company Esterel-Technologies was launched from the
former Meije project. This company markets the software environments
Esterel Studio and SCADE, based on synchronous technology.

In the framework of the PROTES project, inside the CARROLL joint
INRIA/Thales/CEA initiative, we built the MARTE UML profile RFP that was
voted at OMG. MARTE stands for "Modelling and Analysis of Real-Time
Embedded systems". This work was conducted together with the Espresso
and DaRT INRIA project-teams.

In the context of the CIM PACA regional mutualization Center for
microelectronics we collaborate on System-on-Chip design topics with
Texas Instruments, ST Microelectronics, and Philips.

The AAA methodology and SynDEx are used in industrial context by
MBDA, Mitsubishi ITE, and Robosoft.