Section: Other Grants and Activities
The AutoCHEM project aims at investigating and exploring the use of chemical languages (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.
ANR Arpège ASOPT : Analyse Statique et OPTimisation
The ASOPT (Analyse Statique et OPTimisation) project [end of 2008-2011] brings together static analysis (INRIA-POP ART, VERIMAG, CEA LMeASI), optimisation, and control/game theory experts (CEA LMeASI, INRIA-MAXPLUS) around some program verification problems.
Many abstract interpretations attempt to find "good" geometric shapes verifying certain constraints; this not only applies to purely numerical abstractions (for numerical program variables), but also to abstractions of data structures (arrays and more complex shapes). This problem can often be addressed by optimisation techniques, opening the possibility of exploiting advanced techniques from mathematical programming.
The purpose of ASOPT is to develop new abstract domains and new resolution techniques for embedded control programs, and in the longer run, for numerical simulation programs.
POP ART is the coordinator of the project.
Action INRIA d'envergure nationale “Synchronics”
The Synchronics (Language Platform for Embedded System Design) project [beginning of 2008-2011] gathers 9 permanent researchers on the topic of embedded systems design: B. Caillaud (IRISA), A. Cohen, L. Mandel, & M. Pouzet (INRIA-Saclay), A. Girault & B. Jeannet (INRIA-Grenoble – Rhône-Alpes), E. Jahier & P. Raymond (VERIMAG).
Synchronics capitalizes on recent extensions of data-flow synchronous languages, as well as relaxed forms of synchronous composition or compilation techniques for various platform, to address two main challenges with a language-centered approach: (i) the co-simulation of mixed discrete-continuous specifications, and more generally the co-simulation of programs and properties (either discrete or continuous); (ii) the ability, inside the programming model, to account for the architecture constraints (execution time, memory footprint, energy, power, reliability, etc.).
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 and T. Priol ( Paris , Irisa / Inria -Rennes) and with R. Douence ( Obasco , Ecole des Mines de Nantes).
A. Girault cooperates with the Moais project (CR Grenoble – 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 D. Le Métayer ( Licit action, CR Rhône-Alpes), H. de Jong ( Ibis project, CR Rhône-Alpes), and G. Batt ( Contraintes project, CR Rocquencourt).
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.
E. Rutten is working with Vertecs at Irisa / Inria -Rennes on applications of discrete controller synthesis, and in particular on the tool Sigali . He is working with the DaRT project at CR Futurs in Lille, on the synchronous modelling of massively parallel application, and the introduction of control and mode automata in the Gaspard framework. He is working on model-based control of adaptive systems with Sardes (at the middleware level) and with NeCS (at the task management level).
Cooperations with other laboratories
P. Fradet cooperates with J.-L. Giavitto ( CNRS /Université d'Evry) and 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 ), C. Dima (Université of Paris XII), and H. Kalla (University of Batna, Algeria).
P. Fradet and A. Girault collaborate with T. Ayav (University of Izmir, Turkey).
G. Goessler cooperates with J. Sifakis and S. Bensalem ( Verimag ) and M. Majster-Cederbaum (University of Mannheim, Germany).
B. Jeannet cooperates with N. Halbwachs and M. Péron ( Verimag ) on static analysis and abstract interpretation.
E. Rutten collaborates with H. Alla (GIPSA, Grenoble).