Sylvain Guérin

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

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 "fédération de modèles" 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.

Domaines de recherche

Informatique [cs] Informatique et langage [cs.CL] Génie logiciel [cs.SE]

Publications

7
4
2
2
1
1
1
1
1
5
4
3
3
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
12
11
9
6
5
4
3
3
3
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
9
7
3
1
1
1
3
3
2
2
1

Publications

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-04578756 v1
Image document

10 years of Model Federation with Openflexo: Challenges and Lessons Learned

Jean-Christophe Bach , Antoine Beugnard , Joël Champeau , Fabien Dagnat , Sylvain Guérin et 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-04617492 v1
Image document

A Survey of Federative Approaches for Model Management in MBSE

Moussa Amrani , Mittal Rakshit , Miguel Goulão , Vasco Amaral , Sylvain Guérin et 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-04721128 v1

A flexible and robust framework for the secure systems engineering of space missions

Tom Leclerc , Soumya Paul , Jussi Roberts , Fabien Dagnat , Florian Ledoux et al.
17th International Conference on Space Operations 2023, Mar 2023, Dubai, United Arab Emirates
Communication dans un congrès hal-04045293 v1
Image document

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-03866297 v1
Image document

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-04240673 v1
Image document

A Domain-specific Modeling Framework for Attack Surface Modeling

Tithnara Nicolas Sun , Bastien Drouot , Fahad R Golra , Joël Champeau , Sylvain Guerin et 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-02502387 v1

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-02958111 v1
Image document

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-01853610 v1
Image document

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-01487055 v1
Image document

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-01393781 v1
Image document

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-01298547 v1

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-01015893 v1

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-00905036 v1

Compiler and system techniques for SOC distributed reconfigurable accelerators

Joël Cambonie , Sylvain Guérin , Ronan Keryell , Loïc Lagadec , Bernard Pottier et al.
2004, pp.293-302
Communication dans un congrès hal-00083035 v1
Image document

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]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2023. Français. ⟨NNT : 2023ENTA0009⟩
Thèse tel-04555528 v1

Multi-Level Modeling with Openflexo/FML

Sylvain Guérin , Joël Champeau , Jean-Christophe Bach , Antoine Beugnard , Fabien Dagnat et al.
Enterprise Modelling and Information Systems Architectures, 2022, 17, ⟨10.18417/emisa.17.9⟩
Article dans une revue hal-03692372 v1
Image document

PAMELA: an annotation-based Java Modeling Framework

Sylvain Guérin , Guillaume Polet , Caine Silva , Joel Champeau , Jean-Christophe Bach et al.
Science of Computer Programming, 2021, 210, pp.102668. ⟨10.1016/j.scico.2021.102668⟩
Article dans une revue hal-03217126 v1
Image document

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-01164480 v1

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 Beugnard et 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-00904995 v1