Team Pop Art

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Other Grants and Activities

National actions

ACI “Sécurité & Informatique” Alidecs : integrated development environment for safe embedded components

Participants : P. Fradet, A. Girault, G. Goessler.

The objective of the Alidecs project ( )is to study an integrated development environment for the construction and use of safe embedded components. The consortium includes LRI (Orsay), Inria (Rhône-Alpes and Sophia Antipolis), Verimag (Grenoble) and Lami (Evry). We have proposed weaving-like techniques for enforcing fault tolerance properties to reactive systems. We have also studied an approach to automatically synthesize adaptors in order to assemble off-the-shelf real-time components. The project has ended in October 2007.


The AutoCHEM aims at investigating and exploring the use of rule-based languages such as Hocl (see section  6.7.1 ) to program complex computing infrastructures such as Grids and real-time deeply-embedded systems. The consortium includes Irisa ( Paris project team, Rennes), Inria -Rhône-Alpes (Pop Art project team, Montbonnot), IBISC ( CNRS /Université d'Evry) and Cea List (Saclay). The project has started at the end of 2007.

ACI “Sécurité et informatique” Apron : analysis of numerical programs

Participant : B. Jeannet.

The Apron (Analyse de PROgrammes Numériques) project ( ) [2004-2006] involves the team Analyses, transformations et instrumentations de programmes (Centre de Recherche en Informatique, École des Mines de Paris [coordinator]), the Synchrone team (Verimag, Grenoble), the VERTECS and now POP-ART project (INRIA), and the team Sémantique, preuves et interprétation abstraite (École Polytechnique, Palaiseau).

The focus of this project is on the theory of numerical abstract domains and their application to the static analysis of the numerical variables of a program. The first, theoretical goal of the project is to advance the research in numerical abstract domains. The second, more practical goal, is to mature the field by bringing together five actors to define their needs, and then design and implement a common software platform suited for a broad range of static analysis applications. This project has lead to 29 publications in international conferences, workshops, and journals, four technical reports, four Ph.D. theses, and the design and implementation of the APRON numerical abstract domain library ( 5.4 ). The project started in October 2004 and ended in October 2007.

In 2007, most of the effort of Pop Art was spent on the implementation and the dissemination of the APRON library.


Participant : D. Le Métayer.

The goal of the PRIAM ARC is to put forward technological and legal solutions to enhance privacy protection in the “ambient intelligence” context. The project has started in January 2007. The partners are INRIA (POP ART, ACES, ARES), the law faculty of Saint-Etienne (Joël Moret-Bailly) and the university of Twente (Sandro Etalle).

CNRS RTP 21: fault tolerance

We are collaborating to this RTP entitled Sûreté de fonctionnement des systèmes informatiques complexes ouverts ( ).

Collaborations inside Inria

Cooperations with other laboratories


Logo Inria