↑ Return to Eric Rutten

infos


new in 2013-16

activity in 2011-13

papers in 2011-13

BZR language and compiler

selected papers




Brand new in 2016

Additionally to what is below, in the last few months :

  • papers :
    (see also Ctrl-A publications)

    [ICAC16]
    Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Eric Rutten, Jean-François Méhaut.
    Autonomic Parallelism and Thread Mapping Control on Software Transactional Memory.
    In ICAC 2016 – 13th IEEE International Conference on Autonomic Computing , Jul 2016, Würzburg, Germany.
    http://icac2016.uni-wuerzburg.de

    [HPCS16]
    Naweiluo Zhou, Gwenaël Delaval, Bogdan Robu, Eric Rutten, Jean-François Méhaut.
    Control of Autonomic Parallelism Adaptation on Software Transactional Memory.
    In Internatioanal Conference on High Performance Computing & Simulation (HPCS), Jul 2016, Innsbruck, Austria.
    http://hpcs2016.cisedu.info

  • conferences e.a. :
    • I am invited editor of the Cluster Computing journal, the Journal of Networks, Software Tools and Applications, Springer, for a special issue on ICCAC 2015 Best Papers.
    • I co-chair the Program Committee of the International Workshop on Autonomic High Performance Computing,
      AHPC 2016, part of The International Conference on High Performance Computing & Simulation, HPCS 2016, July 18 – July 22, 2016, The University of Innsbruck, Innsbruck, Austria
    • I am on program committees of :

      FACS 2016 : 13th International Conference on Formal Aspects of Component Software, Besançon, France, October 19-21, 2016



    Statement

    On the research topic of automated management of reconfigurable and self-adaptive computing systems, I define and explore model-based control methods and tools for the design of Autonomic Computing systems with safety and performance guarantees on their dynamic behaviors.

    In order to address my vision of the design of well-regulated Autonomic Computing (AC), I acquired and integrated the necessary and different competences in both Software Engineering for self-adaptive systems and Discrete Event Systems (DES). I mastered the integration of the two domains and searched and built appropriate cooperations with experts on the different sides. I autonomously constructed my position in the emerging community. In order to strengthen the positioning of Inria in this emerging and promising domain, I founded the Inria Team Ctrl-A, first a 2 years Exploratory Team, currently submitted as a long-term Project Team.

    In the last 8 years, I began my interest in Autonomic Computing around 2008, because there I could deploy in a wider context my activities in control of multi-task embedded systems.
    I produced and published (many of them A-ranked) results both on high-level modeling and languages, and on contoller design on concrete targets.
    I designed a reactive language, BZR, targeted at automata-based controller design [LCTES10 (A), jDEDS (main DES journal)].
    I integrated it with the component-based framework Fractal [CBSE10 (then A ; best paper), EMSOFT11 (A)], in the MIND project (ANR/Minalogic).
    I defined controllers design methods for Dynamically Partially Reconfigurable (DPR) architectures based on FPGA [ACM-TRETS (A), SCOPES12 (A), ICAC13 (main AC conf.)], in the project Famous (ANR).
    I designed model-based controllers for reconfigurable software components and coordination [jFGCS (A), CCORD13 & COORD14 (A), ECC13 (control), CBSE14, WODES14 (main DES conf.)], in the project Ctrl-Green (ANR).
    I was invited as PC co-chair of the FeBiD10 workshop, as PC member in a number of conferences and workshops, and to participate in invited workshops at Dagstuhl and Lund (LCCC).
    I founded in 2013 the new INRIA Exploratory Team Ctrl-A on Feedback Computing.

    In the last year (2015-16), I published results from recent work on control of DPR architectures : ACM-TODAES, JSA, ACM-TECS (3 A-ranked journals) ; software components and coordination : IEEE-TSE (A*-ranked), jFACS (A), ECAS15 (A), ICAC15 (main AC conference) ; and integrating Software Engineering and Control : 2 chapters in a LNCS book to appear.
    I started a new 3 years project HPeC (ANR) on drone-embedded HPC, where I will develop advanced controllers for the DPR architectures in relation with the mission planning.
    I work on an ongoing project HPES (ANR Labex) on self-adaptive combination of parallelism and synchronization (STM) in HPC.
    My position in the AC and Self-Adaptive Systems community, and the DES community, is recognized by my invitation as PC co-chair ICCAC15 (https://cs.gmu.edu/cac2015/?3e3ea140) and AHPC16 (a workshop at HPCS16), PC member of main conferences in AC and DES, and others.
    I started the foundation of an Inria Project Team, following the 2 years Exploratory Team Ctrl-A.



    new in 2013-16

    • papers in 2014/16:
      (see also Ctrl-A publications)

      [TECS16]
      Xin An, Eric Rutten, Jean-Philippe Diguet, Abdoulaye Gamatie.
      Model-based design of correct controllers for dynamically reconfigurable architectures.
      ACM Transactions in Embedded Computing Systems, Association for Computing Machinery, 2016.
      (to appear)
      (A-rank journal)

      [BRPG15]
      Nicolas Berthier, Éric Rutten, Noël De Palma, Soguy Mak-Karé Gueye.
      Designing Autonomic Management Systems by using Reactive Control Techniques.
      IEEE Transactions on Software Engineering (TSE), 2015.
      (A*-rank journal)

      [FACS15]
      Narges Khakpour, Farhad Arbab, Eric Rutten.
      Synthesizing structural and behavioral control for reconfigurations in component-based systems.
      journal of Formal Aspects of Computing, Springer Verlag, 2015.
      (A-rank journal)

      [TODAES15]
      Gilberto Ochoa Ruiz, Guillet Sébastien, Florent De Lamotte, Éric Rutten, El-Bay Bourennane, Jean-Philippe Diguet, Guy Gogniat.
      An MDE Approach for Rapid Prototyping and Implementation of Dynamic Reconfigurable Systems.
      ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, 2015, Vol. 21 Issue 1, Article No. 8, Nov. 2015 ., 21 (1), Article No. 8
      (A-rank journal)

      [ECSA15]
      Frederico Alvares, Eric Rutten, Lionel Seinturier.
      High-level Language Support for the Control of Reconfigurations in Component-based Architectures.
      In 9th European Conference on Software Architecture (ECSA), Sep 2015, Dubrovnick, Croatia. Springer, 9278, pp.285-293, 2015, LNCS.
      (A-rank conference)

      [ICAC15]
      Frederico Alvares, Eric Rutten, Lionel Seinturier.
      Behavioural Model-based Control for Autonomic Software Components.
      In 12th IEEE International Conference on Autonomic Computing, ICAC, July 7-10, 2015, Grenoble, France.

      [DCDS15]
      Gwenaël Delaval, Soguy Mak-Karé Gueye, Eric Rutten. Distributed Execution of Modular Discrete Controllers for Data Center Management.
      In Proc. of the 5th IFAC international workshop on Dependable Control of Discrete Systems, DCDS, Cancun, Mexico, may 27-29, 2015.

      [AGR15] Xin An, Abdoulaye Gamatié, Eric Rutten.
      High-level Design Space Exploration for Adaptive Dataflow Ap- plications on Multiprocessor Systems-on-Chip.
      Journal of Systems Architecture, 2015.
      (A-rank journal)

      [ICDCIT15] Xin An, Gwenaël Delaval , Jean-Philippe Diguet, Abdoulaye Gamatié, Soguy Gueye, Hervé Marchand, Noël de Palma, Eric Rutten.
      Discrete control-based design of adaptive and autonomic computing systems.
      In 11th International Conference on Distributed Computing and Internet Technology ICDCIT-2015, Bhubaneswar, India, 5–8 February 2015.
      LNCS 8956, p. 93 (invited paper and talk)

      [ZPAR14] Mengxuan Zhao, Gilles Privat, Hassane Alla, Eric Rutten.
      Discrete Control for Smart Environments through a Generic Finite-State-Models-Based Infrastructure.
      In European Conference on Ambient Intelligence, AmI- 14, November 11 – 13, 2014, Eindhoven, The Netherlands.
      LNCS 8850

      [DGRP14] Gwenaël Delaval, Soguy Mak-Karé Gueye, Eric Rutten, Noël de Palma.
      Modular coordination of multiple autonomic managers.
      In 17th International ACM Sigsoft Symposium on Component-Based Software Engineering, CBSE 2014,
      Lille, France, June 30 – July 4, 2014.
      (22,5% rate)

      [CDR14] Julio Cano, Gwenaël Delaval, Eric Rutten.
      Safe coordination of ECA rules by verification and control.
      In 16th International Conference on Coordination Models and Languages, COORDINATION,
      June 3-6, 2014, Berlin, Germany.
      (A-rank conference)

      [GLRGD14] Sébastien Guillet, Florent de Lamotte, Eric Rutten, Guy Gogniat, Jean-Philippe Diguet.
      Combining control and decision for partial dynamic reconfiguration.
      ACM Transactions on Reconfigurable Technology and Systems (TRETS), Vol. 7, No. 3, Article 27, August 2014.
      http://dx.doi.org/10.1145/2629628

      [KAR14] Narges Khakpour, Farhad Arbab, Eric Rutten.
      Supervisory Controller Synthesis for Safe Software Adaptation.
      12th IFAC – IEEE International Workshop on Discrete Event Systems, WODES,
      Cachan, France, May 14-16, 2014.

      [GPRTB14] Soguy Mak-Karé Gueye, Noël de Palma, Eric Rutten, Alain Tchana, Nicolas Berthier.
      Coordinating self-sizing and self-repair Managers for Multi-tier Systems.
      Journal of Future Generation Computer Systems, vol. 35, june 2014.
      (A-rank journal)

    • new projects in 2013-2016:
    • conferences in 2013-2016:
      • I co-chair the Program Committee of the IEEE International Conference on Cloud and Autonomic Computing (CAC 2015), with Prashant Shenoy, September 21-25, 2015, Cambridge, MA, USA.
        (http://autonomic-conference.org)
      • I am on program committees in international conferences in 2015-16:

        ICAC 15 & 16 (IEEE International Conference on Autonomic Computing), in 15 also workshops co-chair ;

        CAC 16 (IEEE International Conference on Cloud and Autonomic Computing 2016)

        WODES 16 (IEEE/IFAC Workshop on Discrete Event Systems)

        ADHS 15 (IFAC Conference on Analysis and Design of Hybrid Systems)

        ESLsyn 15 (Elec- tronic System Level Synthesis Conference, Co-located with DAC)

        DCDS 15 (IFAC international workshop on Dependable Control of Discrete Systems)

    • advising begun in 2013-2016:
      • PhD (U. Grenoble) : Adja Sylla (co-advised with M. Louvel, F. Pacull, CEA) (jan. 2015 – 2018)
      • Post-Doc : Frederico Alvares (co-advised with L. Seinturier, Inria Lille) (nov. 2013 – march 2015)
      • PhD (U. Grenoble) : Naweiluo Zhou (co-advised with J.F. Méhaut) (oct. 2013 – 2016)
      • Post-Doc : Julio Cano (co-advised with G. Delaval, LIG, L. Gurgen, CEA) (apr. 2013 – march 2014)
    • invited talks in 2013-2016
      • 9th Cloud Control Workshop, Stockholm, June 27-29 2016
        (http://cloudresearch.org/workshops/9th) (by invitation only)
      • ICDCIT, 11th International Conference on Distributed Computing and Internet Technology, Bhubaneswar, India, 5–8 February 2015
      • Journée Architectures Logicielles pour la Robotique Autonome, les Systèmes Cyber-Physiques et les Systèmes Auto-Adaptables, 1er décembre 2014, LIP6 Paris
      • GT COSMAL du GdR GPL, juin 2014, Paris
      • Dagstuhl workshop on Software Engineering for Self-Adaptive Systems: Assurances, dec. 2013
        from which a resulting book chapter publication is ongoing. (http://www.dagstuhl.de/13511/)
    • organisation in 2013-2016:


    BZR language and compiler

    A   BZR web page is up, featuring downloading info and user manual





    activity in 2011-13






    papers in 2011-13

    [ZPRA13] Mengxuan Zhao, Gilles Privat, Eric Rutten, Hassane Alla.
    Discrete Control for the Internet of Things and Smart Environments .
    In Handouts (no Proc.) of the 8th International Workshop on Feedback Computing,
    In conjunction with ICAC 2013, San Jose, California, June 25, 2013.

    [ARDLG13] Xin An, Eric Rutten, Jean-Philippe Diguet, Nicolas Le Griguer, Abdoulaye Gamatié.
    Coordination Control of Component-based Autonomic Administration Loops.
    In Proc. of the 13th International Conference on Autonomic Computing, ICAC,
    San José, California, june 26-28, 2013.

    [GPR13] Soguy Mak-Karé Gueye, Noël de Palma, Eric Rutten.
    Coordination Control of Component-based Autonomic Administration Loops.
    In Proc. of the 15th International Conference on Coordination Models and Languages, COORDINATION,
    Florence, Italy, 3-6 June, 2013.

    [DGPMR13] Gwenael Delaval, Soguy Mak-Karé Gueye, Noël de Palma, Hervé Marchand, Eric Rutten.
    Discrete control for the coordination of administration loops.
    In Proc. of the 12th European Control Conference (ECC13),
    Zurich, Switzerland, July 17-19, 2013.

    [DRM13] Gwenael Delaval, Eric Rutten, Hervé Marchand.
    Integrating Discrete Controller Synthesis in a Reactive Programming Language Compiler.
    journal of Discrete Events Dynamical Systems, 2013.


    [GRT12] Soguy Mak-Karé Gueye, Eric Rutten, Alain Tchana.
    Discrete control for the coordination of administration loops.
    In Proc. of the 3rd International Workshop on Green and Cloud Management (GCM’2012),
    In conjunction with IEEE/ACM 5th International Conference on Utility and Cloud Computing
    ,
    November 5 –  8, 2012, Chicago, Illinois, USA.


    [GPR12b] Soguy Mak-Karé Gueye, Noël de Palma, Eric Rutten.
    Discrete control for the coordination of administration loops (extended abstract).
    In Handouts of the 7th International Workshop on Feedback Computing,
    San Jose, California,  September 17, 2012.


    [GLLRDG12b] Sébastien Guillet, Florent de Lamotte, Nicolas Le Griguer, Eric Rutten, Jean-Philippe Digue, Guy Gogniat.
    Modeling and Synthesis of a dynamic and Partial reconfiguration Controller.
    In Proceedings of the poster session of the 22nd International Conference on Field Programmable Logic and Applications, FPL 2012,
    Oslo, Norway, Aug. 29-31, 2012.


    [GLLRDG12a] Sébastien Guillet, Florent de Lamotte, Nicolas Le Griguer, Eric Rutten, Jean-Philippe Digue, Guy Gogniat.
    Designing formal reconfiguration control using UML/MARTE.
    In Proceedings of the 7th International Workshop on Reconfigurable and Communication Centric Systems-on-Chip, ReCoSoC 2012,
    York, UK, 9–11 july, 2012.


    [GPR12b] Soguy Mak-Karé Gueye, Noël de Palma, Eric Rutten.
    Synthèse de contrôleurs discrets pour l’administration de systèmes informatiques.
    In Actes de la Conférence Internationale Francophone d’Automatique, CIFA 2012,
    4-6 juillet 2012, Grenoble, France.


    [AGR12] Xin An, Abdoulaye Gamatié, Eric Rutten.
    CLASSY: a Clock Analysis System for Rapid Prototyping of Embedded Applications on MPSoCs.
    In Proc. of the 15th International Workshop on Software and Compilers for Embedded Systems, Map2MPSoC/SCOPES 2012,
    Schloss Rheinfels, St. Goar, Germany, May 15-16, 2012.
    (longer version here)

    [BDPGR12] Fabienne Boyer, Gwenael Delaval, Noel de Palma, Olivier Gruber, Eric Rutten.
    Discrete supervisory control application to computing
    systems administration.
    In Proc. of the 14th IFAC Symposium on Information Control Problems in Manufacturing, INCOM’012,
    Bucarest, Romania, May 23-25, 2012.


    [GPR12] Soguy Mak-Karé Gueye, Noêl de Palma, Eric Rutten.
    Coordinating energy-aware administration loops using discrete control.
    In Proc. of the Eighth International Conference on Autonomic and Autonomous Systems, ICAS 2012,
    St. Maarten, Netherlands Antilles, March 25-30, 2012.

    [BSDR11] Tayeb Bouhadiba, Quentin Sabah, Gwenael Delaval, Eric Rutten.
    Synchronous Control of Reconfiguration in Fractal Component-based Systems — a Case Study.
    In Proceedings of the ACM International Conference on Embedded Software, EMSOFT 2011,
    Taipei, Taiwan, October 9-14, 2011.
    pp. 309-318. (also here)

    [ADPRS11] Soufyane Aboubekr, Gwenael Delaval, Roger Pissard-Gibollet, Eric Rutten, Daniel Simon.
    Automatic generation of discrete handlers of real-time continuous control tasks.
    In Proc. of the 18th World Congress of the International Federation of Automatic Control, IFAC,
    Milano, Italy, aug. 28-sep. 2, 2011.



    [BBDRY11]
    Mohamed Amine Belhaj Seboui, Nejib Ben Hadj Alouane, Gwenael Delaval, Eric Rutten, Moez Yeddes.
    An approach for the Synthesis of Decentralized Supervisors for Distributed Adaptive Systems.
    International Journal of Critical Computer-Based Systems, vol. 2, no. 3/4, pp. 246-265, 2011.



    [BDPGR11]
    Fabienne Boyer, Gwenael Delaval, Noel de Palma, Olivier Gruber, Eric Rutten.
    Case studies in discrete control of autonomic computing systems.
    In Handouts (no Proc.) of the Sixth International Workshop on Feedback Control Implementation
    and Design in Computing Systems and Networks,FeBID 2011
    ,
    Karlsruhe, Germany. June 14, 2011.

    [GLRGD11] Sebastien Guillet and Florent de Lamotte and Eric Rutten and Guy Gogniat and Jean-Philippe Diguet.
    Automatic generation of discrete handlers of real-time continuous control tasks.
    In Actes du Symposium en Architecture de Machines, SympA’14,
    10-13 mai 2011, Saint-Malo, France.

    [AGR11] Xin An, Abdoulaye Gamatie, Eric Rutten.
    Safe Design of Dynamically Reconfigurable Embedded Systems.
    In Proc. of the 2nd Workshop on Model Based Engineering for Embedded Systems Design, M-BED 2011,
    Grenoble, March 18, 2011.





    3 selected papers


  • IEEE Transactions on Software Engineering, TSE, 2016 (A*)
    Designing Autonomic Management Systems by using Reactive Control Techniques
    Nicolas Berthier, EricRutten, Noël De Palma, Soguy Mak-Karé Gueye

    https://hal.inria.fr/hal-01242853

    http://doi.ieeecomputersociety.org/10.1109/TSE.2015.2510004

    The importance of this paper in my research is that it constitutes a recognition at the highest level of the rel- evance and interest of my model-based control approach to the design of Autonomic Computing managers in a major journal (ranked A*), where the very selective reviewing procedure acknowledged our convinc- ing arguments, and which publication has a strong impact. Also, it shows that the research topic enabled younger colleagues (N. Berthier as post-doc, S. Gueye as PhD) I directed to express their competences and obtain meaningful results. Finally, it shows that teaming up between competences in distributed systems (N. de Palma) and control does produce most relevant results in Software Engineering for control in Autonomic Computing.

  • ACM Transactions on Embedded Computing Systems, TECS, 2016 (A)
    Model-based design of correct controllers for dynamically reconfigurable architectures
    Xin An, Eric Rutten, Jean-Philippe Diguet, Abdoulaye Gamatié

    https://hal.inria.fr/hal-01272077

    This paper shows that my model-based control approach to the design of Autonomic Computing managers can be applied to the domain of embedded systems and reconfigurable hardware architectures, which is not the classical object of Autonomic Computing, more usually targeted at Cloud and data-center systems : this is a proof of generality and diffusion possibilities. Teaming up with experts of Dynamically Partially Re- configurable architectures, based on FPGA (J. Ph. Diguet) was very fruitful because of their acknowledged need of control techniques and willingness to invest in the co-design work of automata-based models that concretely corresponded to the architectures and real control problems. This also enabled us to go down to the actual implementation on FPGAs of our solutions.

  • journal of Discrete Event Dynamic System, jDEDS, 2013 (main journal on DES)
    Integrating discrete controller synthesis into a reactive programming language compiler
    Gwenaël Delaval, Eric Rutten, Hervé Marchand

    https://hal.inria.fr/hal-00863286v1

    http://dx.doi.org/10.1007/s10626-013-0163-5

    This paper is fundamental to my research approach in that it defines the programming language and tool that is essential for specifying as well as implementing controllers in the Autonomic Computing systems I target, and where having executable solutions is essential to have an impact. It poses the formal foundation of our control technique, and is published in the main journal specialized in Discrete Event Systems (DES), with a high selection standard (even if rankings do not yet show it). Here, teaming up with experts of supervisory control of DES (H. Marchand) enabled us to defined a strongly-founded programming language, where G. Delaval as a post-doc could valorize his competences in compilation. It is intensively used in our projects in Autonomic Computing controllers design, where its design choices were confronted to real-world systems. Reciprocally, it is also going to be the vector of the new control problems coming out of application domains, like typically the notion DES adaptive control, not yet classical in DES, and corresponding to identified significant needs in Autonomic Computing.

  • 3 more papers :

    • Gwenaël Delaval, Soguy Mak-Karé Gueye, Eric Rutten, Noël de Palma.
      Modular coordination of multiple autonomic managers.
      In 17th International ACM Sigsoft Symposium on Component-Based Software Engineering, CBSE 2014,
      Lille, France, June 30 – July 4, 2014.

      https://team.inria.fr/ctrl-a/files/2015/02/cbse2014-p3-delaval1.pdf

      This paper documents our work on Modular Coordination of Multiple Autonomic Managers, and shows the first application of modular and hierarchical control to a real-world system.

    • Gwenael Delaval, Hervé Marchand, Eric Rutten.
      Contracts for Modular Discrete Controller Synthesis.
      In Proc. of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, LCTES 2010,
      Stockholm, Sweden, April 12-16, 2010. pp. 57-66.

      https://team.inria.fr/ctrl-a/files/2015/02/lctes10.pdf

      This works defines the Heptagon/BZR language and its compilation, which is innovative in that it involves it is a form of state space exploration, and supports modularity.

    • Karine Altisen, Aurélie Clodic, Florence Maraninchi, Eric Rutten.
      Using Controller-Synthesis Techniques to Build Property-Enforcing Layers.
      In European Symposium on Programming, ESOP’03, April 7 – 11, 2003, Warsaw, Poland.
      LNCS no. 2618, Springer-Verlag. (pp. 174–188)

      https://team.inria.fr/ctrl-a/files/2015/02/Esop03.pdf

      This paper formalized the control-based approach to reactive systems design, and paved the way for my further language-based approach.

  • and a few others :

    [GPRTB14]
    Soguy Mak-Karé Gueye, Noël de Palma, Eric Rutten, Alain Tchana, Nicolas Berthier.
    Coordinating self-sizing and self-repair Managers for Multi-tier Systems.
    Journal of Future Generation Computer Systems, vol. 35, june 2014.
    (A-rank journal)

    [BSDR11]
    Tayeb Bouhadiba, Quentin Sabah, Gwenael Delaval, Eric Rutten.
    Synchronous Control of Reconfiguration in Fractal Component-based Systems — a Case Study.
    In Proceedings of the ACM International Conference on Embedded Software, EMSOFT 2011, Taipei, Taiwan, October 9-14, 2011. pp. 309-318. (also here)

    [DR10b]
    Gwenael Delaval, Eric Rutten.
    Reactive model-based control of reconfiguration in the  Fractal component-based model.
    In Proc. of the 13th International Symposium on Component Based Software Engineering, CBSE 2010, Prague, Czech Republic, 23-25 June 2010. pp. 93-112. (29%, Best paper award)



    [GR09]

    Alain Girault, Eric Rutten.
    Automating the Addition of Fault Tolerance with Discrete Controller Synthesis.
    Int. journal on Formal Methods in System Design,
    Volume 35, Number 2, pp. 190-225, 2009.
    fmsd09



  • Leave a Reply

    Your email address will not be published. Required fields are marked *

    Time limit is exhausted. Please reload CAPTCHA.