Eric Rutten

Eric Rutten

INRIA Rhône-Alpes
Inovallée -- 655, avenue de l'Europe, Montbonnot -- 38334 Saint-Ismier cedex, FRANCE
Tel: +33 476 61 55 50, Fax: +33 476 61 52 07, Eric.Rutten@inria.fr


PhD position on Validation and Control of Dynamically Reconfigurable Embedded Systems
upcoming events:
FeBID 2010, Fifth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (with the ACM SIGOPS EuroSys 2010 Conference), April 13, Paris, France.
DANCE 2010, first workshop on Distributed Architecture modeling for Novel Component Embedded systems (with the 10th NOTERE 2010 int. conf.), Tozeur, Tunisia, May 29-June 2, 2010.
J.M. Muller, E. Niel, L. Pietrac, E. Rutten (editors). Special section on Interactions of discrete-event automation and computer sciences, JUCS vol. 15 nr. 17, dec. 2009.
recent papers on:
Model-based control of adaptive and reconfigurable computing systems [DR10] [DMR10] [DMR09] [ADR09] [GR09] [ER09]
Control and synchronous modeling of data intensive applications [YDGR09] [YGRD08] [GRYBD08] [GYR08]

publications events documents positions/internships

I am an INRIA researcher at INRIA Grenoble Rhône-Alpes. My general research interests concern the programming of reactive and real-time systems [jDEDS07, MSR05], the synchronous programming languages [JES09, SLAP08, SLAP03, SLAP02], and the techniques for the design and validation of programs and systems, particularly discrete controller synthesis. I am interested in their applications in embedded and control systems [R99] and in the control of adaptive systems [ER08b]. I am contributing in the real-time systems community (e.g. the ARTIST European Network of Excellence), as well as in initiatives such as the French competitiveness cluster MINALOGIC on micro- and nano-technologies, or the cooperation between INRIA and CEA concerning Systems on Chip (SoC).

I am building up a new activity on the model-based control of adaptive and reconfigurable computing systems [ER09] [ER08a], based on discrete control theory techniques. Particularly, I apply discrete controller synthesis, in cooperation with the VerTecs team, for the correct design of closed-loop management of resources and energy, e.g. in mobile devices [ADR09, [YDGR09], and of fault recovery [GR09, DCDS07]. I encapsulate these automated formal techniques into programming environments [ACMR03] and integrate them in model-based engineering methodologies, to favor the spreading of their use [YDGR09, DR07]. The approach is explored at different levels:

In the past I have worked with the POP ART team, wich I founded in january 2003 and lead until december 2004, as a follow-up of the BIP team which I lead from january 2001. I worked in 2005-2006 with the DaRT team, at INRIA Lille. Long before, I was with the Ep-Atr team at IRISA/INRIA-Rennes, now transformed amongst others into Espresso.


PhDs and post-doc colleagues, present and past:
Dernière modification / last modified: 2 feb. 2010