Sylvain Guérin Maître de conférences à IMT Atlantique, membre de l'équipe P4S du Lab-STICC

Présentation

Sylvain Guérin est maître de conférences en génie logiciel au sein du département informatique de l’IMT Atlantique site de Brest. Il fait partie de l’équipe P4S (Processes for Safe and Secure Software and Systems) du Lab-STICC (UMR 6285). Après une carrière dans l’industrie, il a soutenu en 2023 une thèse intitulée « FML : un langage de fédération de modèles pour l’interopérabilité sémantique de sources d’informations hétérogènes ». Son domaine de recherche et d’enseignement concerne le génie logiciel, et plus particulièrement la modélisation et l’ingénierie dirigée par les modèles (IDM).

Il s’intéresse plus particulièrement à la problématique de gérer en cohérence de multiples préoccupations métier, qui ont chacune leur autonomie et leur propre cycle de vie, avec leurs propres outils et artefacts. Ceci pose le problème de l’hétérogénéité des sources d’information, de leur ré-interprétation, et de la gestion de leur consistance. Dans ce contexte, l’approche &quot;fédération de modèles&quot; se propose de réifier explicitement les liens entre les modèles fédérés, et de leur associer un comportement. Cette approche s’appuie sur un langage de modélisation appelé FML, qui est à la fois un langage permettant la conceptualisation et la réification de l'interprétation, mais qui est également doté d'un mécanisme de désignation qui permet l'établissement de liens de fédération vers des sources de données hétérogènes. Il est le contributeur principal de l’infrastructure logicielle Openflexo, qui est une implantation de cette solution.

Ses différents travaux l’ont amené à promouvoir la modélisation dans différents contextes :

La « programmation orientée modèles » (MOP) est la proposition d’un paradigme de programmation qui permet un couplage fort entre le code et le modèle, sans génération de code (ce qui permet d’éviter les problèmes liés au round-trip). PAMELA est un framework de modélisation écrit en Java qui suit ce paradigme. L’exécution résulte d’une composition de l’interprétation du modèle et l’exécution du code spécifique.

L’approche « cybercontrats » est une généralisation des travaux sur la « programmation orientée modèles » (MOP) et l’ « aspect oriented programming » (AOP), appliquée au domaine de la cybersécurité.

Ses différents travaux l’ont amené à promouvoir l’utilisation des modèles par des utilisateurs à priori non-experts de techniques de modélisation. Dans ce contexte, la « modélisation libre » (Free Modelling) se propose de d’outiller la capture d’expertise métier sous la forme de modèles, à partir des artefacts manipulés par différents experts métier. Il s’agit de co-construire un modèle et son métamodèle à partir d’exemples explicites pour les experts métier, avec la représentation qui leur est familière. Un prototype (FreeModellingEditor) a été développé sur l’infrastructure Openflexo.

Enfin, il s’intéresse à l’Industrie 4.0 et plus particulièrement au Jumeau Numérique. Il défend l’idée du Jumeau Numérique lié à son système de référence comme un lieu d’agrégation et d’intégration de sources de données et de modèles, pour répondre à des préoccupations diverses.

Publications

Communication dans un congrès (16)

The Design Multiverse: A Scientific Model for Design Evolution and Co-evolution Ciprian Teodorov,Joeri Exelmans,Salvador Martinez,Sylvain Guérin,Hans Vangheluwe International Conference on Software Engineering, NIER Track, Apr 2026, Rio de Janeiro (Brazil), France. ⟨10.1145/3786582.3786830⟩ Communication dans un congrès hal-05503862v1
10 years of Model Federation with Openflexo: Challenges and Lessons Learned Jean-Christophe Bach,Antoine Beugnard,Joël Champeau,Fabien Dagnat,Sylvain Guérinet al. MODELS 2024: ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Sep 2024, Linz, Austria. pp.12, ⟨10.1145/3640310.3674084⟩ Communication dans un congrès hal-04617492v1
Security Contracts a Property-Based Approach to Support Security Patterns Sylvain Guérin,Joël Champeau,Salvador Martínez,Raul Mazo 10th International Conference on Information Systems Security and Privacy, Feb 2024, Rome, France. pp.103-111, ⟨10.5220/0012305600003648⟩ Communication dans un congrès hal-04578756v1
A Survey of Federative Approaches for Model Management in MBSE Moussa Amrani,Mittal Rakshit,Miguel Goulão,Vasco Amaral,Sylvain Guérinet al. 1st International Workshop on Model Management (MoM) at MODELS 2024, Sep 2024, Linz (AUSTRIA), Austria. ⟨10.1145/3652620.3688221⟩ Communication dans un congrès hal-04721128v1
A flexible and robust framework for the secure systems engineering of space missions Tom Leclerc,Soumya Paul,Jussi Roberts,Fabien Dagnat,Florian Ledouxet al. 17th International Conference on Space Operations 2023, Mar 2023, Dubai, United Arab Emirates Communication dans un congrès hal-04045293v1
Security Analysis: From model to system analysis Drouot Bastien,Valery Monthe,Sylvain Guérin,Joël Champeau CRiSiS 2022: 17th International Conference on Risks and Security of Internet and Systems, Dec 2022, Sousse, Tunisia. pp.133-152, ⟨10.1007/978-3-031-31108-6_11⟩ Communication dans un congrès hal-03866297v1
Monitoring Association Constraints in Model-Oriented Programming Sylvain Guérin,Joël Champeau,Antoine Beugnard,Salvador Martínez MODELS-C 2023: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, Oct 2023, Vasteras, Sweden. ⟨10.1109/MODELS-C59198.2023.00068⟩ Communication dans un congrès hal-04240673v1
A Domain-specific Modeling Framework for Attack Surface Modeling Tithnara Nicolas Sun,Bastien Drouot,Fahad R Golra,Joël Champeau,Sylvain Guerinet al. ICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341 - 348, ⟨10.5220/0008916203410348⟩ Communication dans un congrès hal-02502387v1
Contract-based design patterns: a design by contract approach to specify security patterns Caine Silva,Sylvain Guérin,Raul Mazo,Joël Champeau 15th International Conference on Availibitlity, Reliability ans Security, ARES 2020, Association for Computing Machinery (ACM), Aug 2020, Virtual Event, Ireland. pp.1-9, ⟨10.1145/3407023.3409185⟩ Communication dans un congrès hal-02958111v1
Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation Fahad Rafique Golra,Fabien Dagnat,Jeanine Souquières,Imen Sayar,Sylvain Guerin 16th International Conference on Software Engineering and Formal Methods (SEFM 2018), Jun 2018, Toulouse, France. pp.54-69, ⟨10.1007/978-3-319-92970-5_4⟩ Communication dans un congrès hal-01853610v1
Continuous Requirements Engineering Using Model Federation Fahad Rafique Golra,Antoine Beugnard,Fabien Dagnat,Sylvain Guerin,Christophe Guychard RE 2016 : 24th IEEE International Requirements Engineering Conference, Sep 2016, Beijing, China. pp.347 - 352, ⟨10.1109/RE.2016.42⟩ Communication dans un congrès hal-01487055v1
Using free modeling as an Agile method for developing domain specific modeling languages Fahad Rafique Golra,Antoine Beugnard,Fabien Dagnat,Sylvain Guerin,Christophe Guychard MODELS 2016 : ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Oct 2016, Saint Malo, France. pp.24 - 34, ⟨10.1145/2976767.2976807⟩ Communication dans un congrès hal-01393781v1
Addressing Modularity for Heterogeneous Multi-model Systems using Model Federation Fahad Rafique Golra,Antoine Beugnard,Fabien Dagnat,Sylvain Guerin,Christophe Guychard MODULARITY 2016 : 15th International Conference on Modularity, Mar 2016, Malaga, Spain. pp.206 - 211, ⟨10.1145/2892664.2892701⟩ Communication dans un congrès hal-01298547v1
Des situations de modélisation pour évaluer les outils de modélisation Antoine Beugnard,Fabien Dagnat,Sylvain Guerin,Christophe Guychard INFORSID 2014 : 32ème congrès de l'INFormatique des ORganisations et Systèmes d'Information et de Décision, May 2014, Lyon, France. pp.181-196 Communication dans un congrès hal-01015893v1
Conceptual interoperability through Models Federation Christophe Guychard,Sylvain Guerin,Ali Koudri,Antoine Beugnard,Fabien Dagnat Semantic Information Federation Community Workshop, Oct 2013, Miami, United States Communication dans un congrès hal-00905036v1
Compiler and system techniques for SOC distributed reconfigurable accelerators Joël Cambonie,Sylvain Guérin,Ronan Keryell,Loïc Lagadec,Bernard Pottieret al. 2004, pp.293-302 Communication dans un congrès hal-00083035v1

Pré-publication, Document de travail (1)

Défi du GDR GPL ADaptation DYnamique et ConTinue ADDYCT Jannik Laval,Jolan Philippe,Eric Cariou,Rabéa Ameur-Boulifa,Sylvain Guérinet al. 2025 Pré-publication, Document de travail hal-05154399v1

Thèse (1)

FML : un langage de fédération de modèles pour l’interopérabilité sémantique de sources d’information hétérogènes Sylvain Guérin Génie logiciel [cs.SE]. École Nationale Supérieure de Techniques Avancées Bretagne, 2023. Français. ⟨NNT : 2023ENTA0009⟩ Thèse tel-04555528v1

Article dans une revue (4)

Multi-Level Modeling with Openflexo/FML Sylvain Guérin,Joël Champeau,Jean-Christophe Bach,Antoine Beugnard,Fabien Dagnatet al. Enterprise Modelling and Information Systems Architectures, 2022, 17, ⟨10.18417/emisa.17.9⟩ Article dans une revue hal-03692372v1
PAMELA: an annotation-based Java Modeling Framework Sylvain Guérin,Guillaume Polet,Caine Silva,Joel Champeau,Jean-Christophe Bachet al. Science of Computer Programming, 2021, 210, pp.102668. ⟨10.1016/j.scico.2021.102668⟩ Article dans une revue hal-03217126v1
Des situations de modélisation pour décrire un processus de modélisation Antoine Beugnard,Fabien Dagnat,Sylvain Guerin,Christophe Guychard Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2015, 20 (2), pp.41 - 66. ⟨10.3166/ISI.20.2.41-66⟩ Article dans une revue hal-01164480v1
De la nécessité de fédérer des modèles dans une chaîne d'outils Ali Koudri,Christophe Guychard,Sylvain Guerin,Fabien Dagnat,Antoine Beugnardet al. Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2013, 105, pp.18-23 Article dans une revue hal-00904995v1