annual_reports/2022

P4S - annual report - 2022

1. Faits marquants :

a - Scientifiques

b - Publications majeures, prix

  • Practical multiverse debugging through user-defined reductions. Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux and Loic Lagadec, MODELS ’22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, Canada. pp.87-97, ⟨10.1145/3550355.3552447⟩

  • Dolmen: FPGA Swarm for Safety and Liveness Verification. Emilien Fournier, Ciprian Teodorov, and Loïc Lagadec. 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2022, Antwerp, Belgium. pp.1425-1430, ⟨10.23919/DATE54114.2022.9774528⟩

c - Contrats, collaborations

  • TwinCoBot : Inter-Carnot avec Mines Alès.
  • Début du CPER Industrie du Futur (achat du matériel, premières expérimentations avec des projets d’étudiants)

d - Organisation de conférences, workshop, …

2. Des chiffres et faits :

a - Arrivées

  • Chahrazed Boudjelmila (doctorante 01/01/2022)
  • Gaëlic Béchu (ingénieur de recherche 01/01/2022)
  • Bruno Mateu (doctorant 1/3/2022)
  • Ihab Benamer (ingénieur de recherche 01/04/2022)
  • Éric Cariou (Maître de conférences 01/10/2022)
  • Valéry Monthé (post doc //2022)
  • Arnaud Allemang-Trivalle (doctorant, //2022)

b - Départs

  • Tithnara Nicolas Sun (thèse soutenue)
  • Émilien Fournier (thèse soutenue)
  • Paul Perrotin (thèse soutenue)

c - Thèses et HDR soutenues

  • Soutenance de Tithnara Nicolas Sun (Modélisation et Analyse Formelle de Modèles Système pour les Menaces Persistantes Avancées)
  • Soutenance de Émilien Fournier (thèse soutenue le 5/05/2022, Accélération matérielle de la vérification de sûreté et vivacité sur des architectures reconfigurables)
  • Soutenance de Paul Perrotin (thèse soutenue le 14/12/2022, Analyse de la vulnérabilité humaine dans le cadre des systèmes de systèmes socio-techniques)

d - Thèses commencées

  • Chahrazed Boudjemila, thèse cofinancée par le PEC et des fonds propres. débute le 1/1/2022. Directeur : Fabien Dagnat. Évolution continue et sécurisée des systèmes logiciels.
  • Bruno Mateu, thèse cifre avec Quarkslab. débute le 1/3/2022. Directeur : Fabien Dagnat. Traçabilité des transformations dans les compilateurs obfuscants.

e - Nouveaux contrats ou projets

  • DECART 2022-25: projet Européen de 3 ans. Designing higher Education Curricula for Agility, Resilience & Transformation. Partenariat de coopération pour l’enseignement supérieur (coordination, Siegfried Rouvrais), avec Reykjavik University, Vilnius University, Rennes School of Business, University of Kwala Zulu Natal, IT DEL (www.decartproject.eu)
  • TwinCoBot : projet interCarnot en collaboration avec les Mines d’Alès. Conception de jumeaux numériques pour un habitat intelligent et une interaction humain-robot.
  • CPER Industrie du Futur (Financement région Bretagne CBTA21035) 2021-2027 : achat de serveurs pour déployer un service dédié au jumeau numérique. Achat d’une usine Fischertechnik et d’un écran géant pour démontrer un jumeau numérique.

f - Projets soumis avec résultat

  • Livraison du rapport final du projet Européen de renforcement des capacités EASTEM, “Industry Engagement and Competence Integration in STEM programs” (www.eastemproject.eu).
  • Fin du projet SSE4Space (avec Telindus et l’ESA)
  • Montage du projet européen CHIVAS qui sera soumis en 2023 (projet soumis précédemment, classé 8/77, etc. TODO)
  • JCJC de Salvador, refusé (TODO)
  • CORMORANT (TODO)

g - Nouvelles collaborations

  • Siegfried Rouvrais: implication dans le Groupe de travail Curriculum Agility du réseau CDIO Européen, avec Umeå Universitet, KTH Royal Institute of Technology, Queen’s University Belfast, Chalmers University of Technology
  • Caroline et Salvador en Australie (TODO)

h - Prix obtenus

i - Rayonnement : séminaire invité, talk, exposé, …

  • Siegfried Rouvrais: retour d’expérience pour une réunion d’information à dimension régionale sur les partenariats de coopération Erasmus+ (Plateforme projets européens 2PE – Bretagne)

j - Rayonnement : jury de thèse ou HDR

  • Antoine Beugnard (rapporteur) : Antoine Beugnard : Yuwei WANG (TSP), Evolution of Microservice-based Applications: Modelling and Safe Dynamic Updating, 27/10/2022
  • Antoine Beugnard (examinateur) : Faezeh Khorram (Nantes), A Testing Framework for Executable Domain- Specific Languages, 12/12/2022

k - Rayonnement : comité de conférences, comité de selection de projet, comité de recrutement

  • Siegfried Rouvrais: evaluateur expert pour la CTI (Commission des Titres d’Ingénieur: standards pour l’accréditation des écoles d’ingénieurs) Audits 2022 d’écoles Belges et Ukrainiennes.

l - Relecture de dossier, évaluation de projets

  • Participation au comité MRSEI de l’ANR

m - Conférences/événements organisés

n - Relecture, évaluation d’article ou d’artefacts

  • Siegfried Rouvrais: évaluation d’articles pour CDIO 2022, IEEE iSTEM-Ed et European journal of engineering education,