Section: Other Grants and Activities
ACI “Sécurité & Informatique” Alidecs : integrated development environment for safe embedded components
The objective of the Alidecs project (http://www-verimag.imag.fr/SYNCHRONE/alidecs/ )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 ( http://www.cri.ensmp.fr/apron/ ) [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 (http://www.laas.fr/RTP21-SdF ).
Collaborations inside Inria
Aoste at Inria -Rocquencourt is working with us on fault tolerant heuristics for their software SynDEx .
Vertecs at Irisa / Inria -Rennes is working with us on applications of discrete controller synthesis, and in particular on the tool Sigali .
P. Fradet cooperates with J.-P. Banâtre, T. Priol and Y. Radenac ( Paris , Irisa / Inria -Rennes) and with R. Douence and M. Südholt ( Obasco , Ecole des Mines de Nantes).
A. Girault cooperates with the Moais project (UR Rhône-Alpes) on multi-criteria scheduling. In particular, we have a common industrial contract with DCN. A. Girault cooperates also with the Verimag lab on model-based design and a compilation tool chain from Simulink to distributed platforms, and with the Demon team of LRI (Orsay) on the distribution of higher-order synchronous data-flow programs.
G. Goessler cooperates with H. de Jong ( Helix project, UR Rhône-Alpes) and F. Lang ( Vasy project, UR Rhône-Alpes).
B. Jeannet cooperates with T. Le Gall ( Vertecs , Irisa / Inria -Rennes) on the analysis of communicating systems, and with C. Constant, T. Jéron and F. Ployette ( Vertecs , Irisa / Inria -Rennes) on test generation.
D. Le Métayer cooperates with the ARES (Stéphane Ubéda, Marine Minier, Frédéric Le Mouël) and ACES (Ciaran Bryce) Inria project-teams within the PRIAM ARC.
E. Rutten is working with the DaRT project at UR Futurs in Lille, on the synchronous modelling of massively parallel application, and the introduction of control and mode automata in the Gaspard framework.
Cooperations with other laboratories
P. Fradet cooperates with S. Hong Tuan Ha ( Cea Saclay).
A. Girault cooperates with X. Nicollin ( Verimag ), M. Pouzet ( LRI , University of Paris VI), D. Trystram and É. Saule from ( ID - Imag ), and C. Dima (Université of Paris XII).
G. Goessler cooperates with J. Sifakis and S. Graf ( Verimag ) and M. Majster-Cederbaum (University of Mannheim, Germany).
B. Jeannet cooperates with N. Halbwachs and L. Gonnord ( Verimag ) and A. Miné (ENS Paris) on the static analysis of numerical variables.
D. Le Métayer cooperates with faculté de droit de Saint-Etienne, université de Twente within the PRIAM ARC.
E. Rutten cooperates with H. Alla (GIPSA).