annual_reports/2022

P4S - annual report - 2022

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⟩

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)

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)

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.

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.

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)

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)

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)

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

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.

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