Thèmes de recherche : |
Théorie de l’ordonnancement temps réel
Mémoires transactionnelles temps réel
Mécanismes de Qualité de Service pour les applications temps réel
Autonomie énergétique des systèmes temps réel embarqués
Systèmes d’exploitation temps réel basés sur Linux
Encadrement doctoral: |
2023- : Malo DAUTRY Thèse de doctorat de Nantes Université, Ecole doctorale SIS Titre : Allocation de tâches et analyse d’ordonnançabilité d'inférences IA sur des plateformes embarquées haute performance complexes et hétérogènes Encadrement : 50% (Directrice de thèse) avec Houssam Eddine Zahaf (MCF, Nantes Univ. -- 50%)
2022- : François ILLIEN Thèse de doctorat de Nantes Université, Ecole doctorale SIS Titre : Minimisation de la consommation d'énergie dans les systèmes temps réel à criticité mixte Encadrement : 50% (Directrice de thèse) avec Houssam Eddine Zahaf (MCF, Nantes Univ. -- 50%)
2020- : Mohamed Irfanulla MOHAMED ABDULLA Thèse de doctorat de Nantes Université, Ecole doctorale MathSTIC Titre : Systèmes cobotiques temps réel sous contraintes d’énergie Soutenance : 11 octobre 2023 Encadrement : 50% avec Maryline Chetto (PU, Nantes Univ. -- 50%)
2014-2017 : Mohammad ABU TAHA Thèse de doctorat de l'Université de Nantes, Ecole doctorale STIM Titre : Real-Time and Portable Chaos-based Crypto-Compression Systems for Efficient Embedded Architectures Soutenance : 12 juillet 2017 Encadrement : 30% avec Safwan El Assad (MCF HDR, Polytech Nantes -- 40%) et Olivier Desforges (PU, INSA Rennes -- 30%)
2010-2014 : Nadine ABDALLAH Thèse de doctorat de l'Université de Nantes, Ecole doctorale STIM Titre : Partitionnement temps réel multiprocesseur sous contraintes de qualité de service et d'énergie Soutenance : 21 février 2014 Encadrement : 40% avec Maryline Chetto (PU, Univ. Nantes -- 40%) et Rafic Hage Chehade (PU, IUT-Saida, Univ. libanaise, Liban -- 20%)
2010-2014 : Maïssa ABDALLAH Thèse de doctorat de l'Université de Nantes, Ecole doctorale STIM Titre : Ordonnancement temps réel pour l'optimisation de la Qualité de Service dans les systèmes autonomes en énergie Soutenance : 18 juin 2014 Encadrement : 30% avec Maryline Chetto (PU, Univ. Nantes -- 50%) et Rafic Hage Chehade (PU, IUT-Saida, Univ. libanaise, Liban -- 20%)
2011-2013 : Sylvain COTARD Thèse de doctorat de l'Université de Nantes, Ecole doctorale STIM Titre : Contribution à la robustesse des systèmes temps réel embarqués multicoeur automobile Soutenance : 12 décembre 2013 Encadrement : 30% avec Yvon Trinquet (PU, Univ. Nantes -- 40%) et Sébastien Faucou (MCF, IUT Nantes -- 30%)
2008-2012 : Toufik SARNI Thèse de doctorat de l'Université de Nantes, Ecole doctorale STIM Titre : Vers une Mémoire Transactionnelle Temps Réel Soutenance : 16 octobre 2012 Encadrement : 70% avec Patrick Valduriez (INRIA, LIRMM, Montpellier-- 30%)
Projets partenariaux : |
2025-2028 : Projet PHC Toubkal (participant) Titre : REAL-AI : oRdonnancement tEmps-réel pour des AppLications IA dans l'aéronautIque Consortium : LS2N/Université de Nantes, SETIME/Université Ibn Tofail (Maroc) Objectifs : Améliorer les performances temporelles sur des architectures GPU-CPU de manière générale et les inférences de réseaux de neurones en particulier. Mon rôle : Contribution à la partie d'analyse d'ordonnançabilité du système. Montant total du projet : 12 725€.
2024-2027 : Projet PHC Tassili (participant) Titre : Mitigation de l'interférence pour une exécution temporelle déterministe des inférences d'intelligence artificielle pour les systèmes temps réel critiques Consortium : LS2N/Université de Nantes, LAPECI/Université de Mascara (Algérie) Objectifs : Modéliser et quantifier les interférences d'IA afin d'assurer une exécution temporellement déterministe. Mon rôle : Proposer de nouvelles stratégies d'ordonnancement qui minimisent/mitigent les effets des interférences sur le déterminisme temporel du système. Montant total du projet : 15 000€.
2023-2027 : Projet ANR JCJC (participant) Titre : Heterogeneous Real-time systems Implementability for AI Tasks on Accelerators and GPU-based Embedded architectureS Consortium : LS2N/Université de Nantes Objectifs : Apporter des garanties d'exécution aux applications d'inférence d'apprentissage automatique (ML) sur une plate-forme informatique embarquée haute performance complexe et hétérogène. Mon rôle : Proposer une nouvelle analyse d'ordonnançabilité pour le modèle HPC-DAG pour un ensemble d'inférences DL ordonnancées selon une approche globale. Montant total du projet : 237 215€.
2020-2022 : Projet NeXT INNOVEZ, Nouveaux Partenariats (resp. scientifique) Titre : OTREC : Optimisation et gestion en Temps Réel de la consommation Energétique d'un système Cobotique Consortium : LS2N/Université de Nantes, E-COBOT Objectifs : Fournir l'infrastructure logicielle au niveau système d'exploitation, requise par un cobot pour lui permettre un fonctionnement reconfigurable, réactif et en autonomie énergétique. Mon rôle : Conception, développement et intégration de nouveaux algorithmes d'ordonnancement dans le système d’exploitation temps réel libre Xenomai pour assurer le pilotage en temps réel du procédé par le cobot. Montant total du projet : 175 015€ (dont 46 481€ supportés par le financement NeXT).
2010-2014 : Projet ANR ARPEGE RESPECTED (participant) Titre : RESPECTED : Real-time Executive Support with scheduling Policies for thErmally-Constrained mulTicore EmbeddeD systems Consortium : IRCCyN/Ecole Centrale de Nantes, LAAS rattaché au CNRS, LAAS (Laboratoire d'Analyse et d'Architecture des Systèmes)/CNRS, LEAT Laboratoire d'Electronique, Antennes et Télécommunications/Université de Nice Sophia Antipolis, SEE4SYS. Objectifs : Implémentations efficaces d'algorithmes d'ordonnancement temps réel et gestion efficace du partage de données pour des architectures multicoeur embarquées dans les véhicules. Mon rôle : Evaluation de la faisabilité de l'adaptation d'algorithmes d'ordonnancement multiprocesseur existants à un partage de données à base de mémoire transactionnelle. Etablissement d'un modèle de tâches temps réel transactionnel. Montant total du projet : 555 905€.
2011-2013 : Projet PHC CEDRE GreenEmbedded (participant) Titre : Green Embedded : gestion optimale de l'énergie renouvelable pour une informatique verte dans les systèmes embarqués Consortium : Fédération AtlanSTIC (France), Université Libanaise/IUT Saida (Liban). Objectifs : Proposition et validation (par la théorie, la simulation numérique et le prototypage) d'un gestionnaire de l'énergie consommée par une architecture matérielle de type mono-processeur dédié à un système embarqué connecté à une source d'énergie renouvelable. Mon rôle : Implémentation et validation par la simulation numérique de nouveaux algorithmes d'ordonnancement intégrant une gestion dynamique de l'énergie. Montant total du projet : 20 000€.
2007-2008 : Projet AtlanSTIC (coordinatrice) Titre : Etude comparative des architectures logicielles des systèmes d'exploitation temps réel Consortium : LINA (équipe ATLAntic data Systems - Gestion de Données Distribuées -- ATLAS-GDD), IRCCyN (équipe Systèmes temps réel -- STR), IREENA (équipe Modélisation et Conception des Systèmes Embarqués - MCSE) Objectifs : Réalisation d'un état de l'art des principales architectures fonctionnelles et structurelles des systèmes d'exploitation temps réel du marché avec synthèse globale sous forme de modèle objet. Mon rôle : Caractérisation des principaux systèmes d'exploitation utilisés dans les environnements temps réel et embarqués. Développement d'un outil web permettant de guider l'utilisateur dans le choix d'un système d'exploitation temps réel adapté au développement et à l'évaluation d'une application temps réel donnée. Gestion humaine et financière du projet (conduite et compte-rendus des réunions, rédaction du rapport final). Montant total du projet : 10 000€.
2006-2009 : Projet européen IST FRESCOR (participant) Titre : FRESCOR : Framework for Real time Embedded Systems based on COntRacts Consortium : Universidad de Cantabria (Espagne), University of York (Grande-Bretagne), Scuola Superiore di Studi Universitari e Perfezionamento Sant'Anna (Italie), Kaiserslautern University of Technology (Allemagne), Universidad Politécnica de Valencia (Espagne), Czech Technical University in Prague (Republique Tchèque), Visual Tools S.A. (Espagne), Thales Communications (France), Rapida Systems Ltd (Grande-Bretagne), ENEA AB (Suède), EVIDENCE (Italie). Objectifs : Développement d'un framework intégrant des techniques d'ordonnancement avancées directement au sein d'une méthodologie de conception des systèmes embarqués; ce framework adressant tous les niveaux d'implémentation depuis les primitives du système d'exploitation jusqu'au niveau applicatif, en passant par le middleware. Mon rôle : Développement d'un middleware pour gérer les interactions entre l'application (des tâches qui expriment des besoins en ressources) et le système d'exploitation temps réel sous-jacent qui fournit les ressources. Proposition de techniques innovantes en matière de gestion de la mémoire dynamique pour les applications temps réel. Montant total du projet : 4 261 939€.
2002-2006 : Projet RNTL CLEOPATRE (participant) Titre : CLEOPATRE : Composants Logiciels sur Etagères Ouverts Pour les Applications Temps Réel Embarquées Consortium : LINA (Laboratoire d'Informatique de Nantes Atlantique)/Université de Nantes, LRV (Laboratoire de Robotique de Versailles)/CNRS, L2TI (Laboratoire de Traitement et de Transport de l'Information)/Université de Paris Nord, CEA (Commissariat à l'Energie Atomique), CRTTI (Centre de Recherche et de Transfert Technologique Industriel)/Université de Nantes, ROBOSOFT S.A. Objectifs : Développement de composants logiciels (ordonnanceurs, mécanismes de synchronisation et de tolérance aux fautes) inter-changeables et inter-opérables pour construire à la carte un RTOS, compatible avec l'OS généraliste Linux. Fourniture d'une librairie de fonctions applicatives (vision et robotique). Mon rôle : Développement et intégration d'ordonnanceurs avec contraintes de qualité de service sous Linux temps réel. Evaluation des performances de l'ensemble des composants logiciels intégrés. Montant total du projet : 992 257€.
Distinctions : |
2024 : Outstanding paper award à la conférence internationale SIES'24 (IEEE 14th International Symposium on Industrial Embedded Systems), Chengdu, China
2022-2025 : Titulaire de la prime individuelle RIPEC C3
2019 : Best-paper award à la conférence internationale ICICT'19 (4th International Congress on Information and Communication Technology, London, UK -- Acceptance rate: 21%)
2016-2020 : Titulaire de la Prime d'encadrement doctoral et de recherche (PEDR)
Jurys de thèse : |
28 novembre 2024 : Rapportrice dans le jury de thèse de Richard Garreau Etablissement : Université de Poitiers / LIAS Titre : Réseaux hétérogènes embarqués Directeurs : Pascal Richard (PU, Univ. Poitiers), Frédéric Ridouard (MCF HDR, ENSMA Poitiers)
9 novembre 2021 : Rapportrice dans le jury de thèse de Chawki Benchehida Etablissement : Université de Lille / CRIStAL Titre : Placement des tâches temps-réel dur sur des architectures multi-coeurs en réseau sur puce Directeurs : Giuseppe Lipari (PU, Univ. Lille), Mohammed Kamel Benhaoua (PU, Univ. of Mascara, Algeria)
24 septembre 2018 : Membre invité dans le jury de thèse de Adel Hassan Etablissement : Université de Nantes / LS2N Titre : Style and Meta-Style : Another way to reuse Software Architecture Evolution Directeur : Mourad Oussalah (PU, Univ. Nantes)
29 mai 2018 : Rapporteur dans le jury de thèse de Antonio Barros Etablissement : Faculdade de Engenharia da Universidade do Porto, Portugal Titre : Real-Time Software Transactional Memory Directeur : Luis Miguel Pinho (Research Associate, CISTER, ISEP/IPP, Portugal)
28 avril 2016 : Examinatrice dans le jury de thèse de Mariem Abid Etablissement : INSA de Rennes / IETR Titre : System-Level Hardwa Synthesis of Dataflow Programs with HEVC as Study Use Case Directeur : Olivier Déforges (PU, INSA de Rennes), Mohamed Abid (PU, Ecole Nationale d'Ingénieur de Sfax, Tunisie)
4 juin 2012 : Examinatrice dans le jury de thèse de Hui Zhang Etablissement : Université de Nantes / IRCCyN Titre : Gestion de l'énergie renouvelable et ordonnancement temps réel dans les systèmes embarqués Directeur : Maryline Chetto (PU, Université de Nantes)
Expertise et Rayonnement scientifique : |
2025 : Membre du comité de programme de la 29ème édition de la conférence internationale Ada Europe International Conference on Reliable Software Technologies – WIP Track. (AEiC'25)
2025 : Membre du comité de programme de la 1ère édition de la conférence internationale Artificial Intelligence and Cyber-Physical Systems (AICPS'25)
2023 : Exposé invité au 17ème Colloque National du GDR SOC2, 12-14 Juin, CPE/INL, Lyon
2023 : Membre du comité de programme de la conférence internationale Real-Time and Embedded Technology and Applications Symposium – Brief Presentation Track (RTAS'23)
2022 : Keynote speaker de la 30ème édition de la conférence internationale Real-Time Networks and Systems (RTNS'22)
2021 : Membre du comité de programme de la 42ème édition de la conférence internationale IEEE Real-Time Systems Symposium (RTSS'21)
2021 : General chair de la 29ème édition de la conférence internationale Real-Time Networks and Systems (RTNS'21)
2020 : Membre du comité de programme de la 28ème édition de la conférence internationale Real-Time Networks and Systems (RTNS'20)
J'ai été membre de 13 comités de sélection MCF et PRAG :
2025 : 2 Postes MCF, 27ème section, UFR S&T, UBO, Brest,
2025 : Poste MCF, 27ème section, Faculté Sciences et Ingénierie, Toulouse,
2025 : Poste MCF, 63ème section, IUT de La Roche sur Yon,
2024 : Poste MCF, 27ème et 61ème section, Polytech’Nantes,
2023 (Présidence du comité) : Poste PRAG 0782, NSI, UFR S&T, Nantes Université,
2021 : Poste MCF 0235, 27ème section, Université de Lille,
2019 : Poste MCF 0964, 27ème section, ENSMA à Poitiers,
2018 : Poste MCF 1843, 27ème et 61ème section, Polytech'Nantes,
2017 : Poste MCF 4477, 27ème section, ENSIP à Poitiers,
2017 : Poste PRAG 4424, Mathématiques pour l'informatique, IUT de Nantes,
2014 : Poste MCF 0914, 27ème section, ENSMA à Poitiers,
2012 : Poste MCF 1060, 27ème section, ENSIP à Poitiers.
Activités de relecture : |
Journal of Real-Time Systems
IEEE Transactions on Computers
IEEE Transactions on Industrial Informatics
International Conference on Application and Theory of Petri Nets and Concurrency
International Conference for Internet Technology and Secured Transactions
International Conference on Emerging Technologies and Factory Automation.
International Conference for Internet Technology and Secured Transactions