INRIA

Public science and technology institution established in 1967, Inria is is the only public research body fully dedicated to computational sciences. Combining computer sciences with mathematics, Inria’s 3,400 researchers strive to invent the digital technologies of the future.

Educated at leading international universities, they creatively integrate basic research with applied research and dedicate themselves to solving real problems, collaborating with the main players in public and private research in France and abroad and transferring the fruits of their work to innovative companies. The researchers at Inria published over 4,800 articles in 2010. They are behind over 270 active patents and 105 start-ups. In 2010, Inria’s budget came to 252.5 million euros, 26% of which represented its own resources.

Type
Research Institute
Country
France
Website
http://www.sophia.inria.fr
http://www.inria.fr
http://inria.fr

Projects

EMBrACE

ITEA 3 Call 5

Environment for model-based rigorous adaptive co-design and operation of CPS

ASSUME

ITEA 3 Call 1

Affordable Safe & Secure Mobility Evolution

OPENCPS

ITEA 3 Call 1

Open Cyber-Physical System Model-Driven Certified Development

COLOC

ITEA 2 Call 8

The COncurrency and LOcality Challenge

MERgE

ITEA 2 Call 6

Multi-Concerns Interactions System Engineering

MODRIO

ITEA 2 Call 6

Model Driven Physical Systems Operation

MANY

ITEA 2 Call 5

Many-core programming and resource management for high-performance Embedded Systems

TIMMO-2-USE

ITEA 2 Call 4

Timing Model - TOols, algorithms, languages, methodology, USE cases

Care4Me

Care4Me

ITEA 2 Call 3

Cooperative Advanced REsearch for Medical Efficiency

OPEES

ITEA 2 Call 3

Open Platform for the Engineering of Embedded Systems

OPENPROD

OPENPROD

ITEA 2 Call 3

Open Model-Driven Whole-Product Development and Simulation Environment

ViCoMo

ViCoMo

ITEA 2 Call 3

Visual Context Modelling

Metaverse1

ITEA 2 Call 2

Global standards among real and virtual worlds

SEMbySEM

SEMbySEM

ITEA 2 Call 2

Services Management by Semantic

EUROSYSLIB

EUROSYSLIB

ITEA 2 Call 1

European Leadership in System Modeling and Simulation through advanced Modelica Libraries

ExpeShare

ExpeShare

ITEA 2 Call 1

Experience sharing in mobile peer communities

CANTATA

CANTATA

ITEA Call 8

Content Analysis & Networked Technologies towards Advanced and Tailored Assistance.

Gene-Auto

Gene-Auto

ITEA Call 8

Automatic Software Generation for Real-Time Embedded Systems.

GGCC

GGCC

ITEA Call 8

Global GNU compiler collection.

MARTES

MARTES

ITEA Call 7

Model driven approach to Real-Time Embedded System Developement

Passepartout

Passepartout

ITEA Call 7

Exploitation of advanced AV content protocols (MPEG 4/7)

PELOPS

PELOPS

ITEA Call 7

Networked Media for Sport production Workflow

S4ALL

S4ALL

ITEA Call 7

Services for all, an implementation of the concept of Ambient Service Space

SERKET

SERKET

ITEA Call 7

Open platform as a global approach to security provision of places, locations and events

FAMILIES

FAMILIES

ITEA Call 5

FAct-based Maturity through Institutionalisation Lessons-learned and Involved Exploration of System-

Jules Verne

Jules Verne

ITEA Call 5

Addressing the issues of matching the capabilities of the interactive digital broadcast industry for

OSMOSE

OSMOSE

ITEA Call 5

Open Source Middleware for Open Systems in Europe

Prompt2Implementation

Prompt2Implementation

ITEA Call 4

Providing a system-level co-design methodology to unambiguously specify, simulate, test, prototype a

Proteus

Proteus

ITEA Call 4

Developing a generic software platform for polyvalent remote technical support tool handling informa

Cafe

Cafe

ITEA Call 3

From Concept to Application in System-Family Engineering

EAST-EEA

ITEA Call 3

Embedded Electronic Architecture

Vivian

Vivian

ITEA Call 2

Middleware platform for mobile terminals (smart phones, PDAs, laptops) supporting the mobility aspec

DESS

DESS

ITEA Call 1

software Development Process for Real-Time Embedded software Systems

ESAPS

ESAPS

ITEA Call 1

Engineering Software Architectures, Processes and Platforms for System Families

RTIPA

RTIPA

ITEA Call 1

Real-Time Internet Platform Architectures