Jean-Michel Ilié

(+33) 06 78 13 94 32
jean-michel.ilie (at) lip6.fr

Thèmes de recherche :

Mes recherches visent améliorer le fonctionnement des systèmes informatiques distribués
Il s'agit de de reconsider les techniques d'analyse formelle largement répandues, comme la véfication de propriétés de logique temporelle, ou l'évaluation stochastique des performances des systèmes, pour les amliorer dans un souci d'efficacité et les adapter au traitement de systèmes concrets, souvent complexes et de très grandes tailles. Des techniques compléntaires de réduction et de compression d'espace d'états ont été définies tels que l'exploitation des symétries de fonctionnement des processus, l'observation partielle des composantes du systèmes et le codage symbolique des infomations conservées en mémoire.
Les approches proposées ont été mises en pratique pour des systèmes distribués dont la spéfication est formellement décrite en résaux de Petri. La version colorée de ces réseaux (dite symétrique) a permis d'automatiser le calcul des symétries de façon particulièrement efficace. Les réseaux de Petri récursifs temporels représentent une toute nouvelle extension qui offre aux concepteurs la création dynamique de processsus concurrents et communiquants, ainsi qu'une gestion temporisée de leurs événements. Les premiers travaux ont permi d'exhiber des conditions suffisantes pour une analyse d'accessibilité, visant ainsi la véfication des propriétés de sûreté du système.
J'aborde aussi des techniques d'analyse de comportement dans le cadre de systèmes distribués dynamiques et complexes. La difficult de l'analyse provient en particulier de la qualité de l'environnement, souvent changeant de façon impredictible. Dans un premier temps, des techniques formelles incluant la robustesse des circuits embarqués plongés dans des environnements satellitaires perturbés ont ? d?ntr? et mises en oeuvre.
Plus récemment, dans le cadre des systèmes d'intelligence ambiante dont le nombre d'acteurs du système sont en nombre variable et en constante adaptation, de nouvelles techniques de planification, semi-formelles et adaptatives, ont été définies visant améliorer le comportement du système, au regard des objectifs variables visés par chacun des acteurs. Ces techniques sont mises en oeuvre dans le cadre d'un campus universitaire intelligent.

Mots clefs : model checking, logique temporelle, Eluation stochastique, graphe d'état quotient, chaîne de Markov aggrégée, représentation symbolique, symétrie, observation, modularité réseau de Petri, système à structure dynamique, système fini et infini, influence de l'environnement.

• Projets
  2016 : projet AmI sur l'intelligence ambiante (projet transversal LIP6)
  2011 : ANR FME3
• Coopérations
  laboratoire MISC - Université de Constantine
  laboratoire informatique - Université USTHB ouari-boumédienne - Informatique

Section sur mes publications

• Ahmed-Chaouki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel Eddine Saîdouni, A Higher-order Agent Model with Contextual Management for Ambient Systems, journal Trans. on Computational Collective Intelligence, LNCS, Springer Berlin Heidelberg, vol. 16, pp. 1-24, 2014.
• Ahmed-Chaouki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel Eddine Saïdouni, A Formal Approach for Contextual Planning Management: Application to Smart Campus Environment, Studies in Computational Intelligence, Springer International Publishing, Santiago, Chile, 14th Ibero-American Conference on Artificial Intelligence (IBERAMIA'2014), nov 2014.
• Farid Arfi, Djamel Eddine Sa?uni and Jean-Michel Ilié A model for job-shop problem International Conference on Information Technology and e-Services (ICITeS'12), Sousse (Tunisia), 24,25 and 26 March. pp. 640-645, ISBN: 978-9938-9511-1-0, 2012.
• Souheib Baarir, C?le Braunstein, Emmanuelle Encrenaz, Jean-Michel Ilié, Isabelle Mounier, Denis Poitrenaud and Sana Younes, Feasibility Analysis for Robustness Quantification by Symbolic Model Checking, journal FMSD - Formal Methods in System Design, 39:2, 2011.
• Souheib Baarir, Emmanuelle Encrenaz, Jean-Michel Ilié, Isabelle Mounier, Denis Poitrenaud et al Quantifying Robustness by Symbolic Model checking, HWVW10 - 1st Hardware verification Workshop, associated with CAV 2010, Edimboug, Juillet 2010.
• Serge Haddad, Jean-Michel Ilié, Symmetry and Temporal Logic , Livre: Petri Nets - Fundamental models, Verification and Applications, Chapitre 14, direction Diaz, editeur ISTE Wesley, pp 435-460, Aout 2009.
• Djaouida Dahmani, Jean-Michel Ilié, Malika Boukala, Reachability analysis for Recursive Petri Nets with shared places, APNOC - Abstractions for Petri Nets and Other Models of Concurrency, LNCS 5606, juin 2009.
• Dahmani Dahmani, Jean-Michel Ilié, Malika Boukala, Time Recursive Petri Nets - revisited, Revue TopNoc - Transactions on Petri Nets and Other Models of Concurrency , LNCS, pp 104-118, novembre 2008.
• Jean-Michel Ilié, Yann- Thierry-Mieg, S. Baarir , V?fication efficace des syst?s finis, Livre : Mod? formel pour les syst?s coop?tifs chapitre 8 (35 pages), Editeur Hermes - Lavoisier ? collection informatiques et syst? d'information, octobre 2006.
• Kais Klai, Serge Haddad, Jean-Michel Ilié Modular Verification of Petri nets Properties: a Structure-based Approach, pourr la 25ème confénce internationale IFIP "Formal Techniques for Networked and Distributed Systems - FORTE'05", Ta?n, Octobre 2005.
• Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié On the use of exact lumpability in partially symmetrical Well-formed Nets, pour la 2éme conférence internationale IEEE "Quantitative Evaluation of Systems - QEST'2005", Turin, Italie, pages 23-32, Septembre 2005, 'Best paper award'.
• Serge Haddad, Jean-Michel Ilié, Kais Klai, Design and Evaluation of a Symbolic and Abstraction-Based Model Checker, pour la 2? conf?nce internationale IEEE "Automated Technology for Verification and Analysis", Taipei, Ta?n, volume LNCS 3299, pg 196-210, novembre 2004.
• Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud, A Symbolic Symbolic State Space Representation, pour la conférence internationale IFIP " Formal Techniques for Networked and Distributed Systems - FORTE 2004", Madrid, Espagne, volume 3235, pg 276-291, septembre 2004.