Équipe SM@RT

Responsable : Sophie EBERSOLD

SM@RT (Smart Modeling for softw@re Research & Technology) est une équipe du Département Fiabilité des systèmes et des logiciels spécialisée dans l’ingénierie des logiciels pour les systèmes cyber-physiques. L’équipe explore les aspects fondamentaux, méthodologiques et technologiques de l’ingénierie des modèles et des langages (d’exigences, spécifiques à un domaine, de spécification ou de modélisation). Les verrous scientifiques qu’elle adresse portent plus particulièrement sur la coordination socio-technique (hétérogénéité des modèles et des plateformes, concentration sur l’utilisateur final, points de vue, etc.).

SM@RT est une équipe à la pointe de l’ingénierie des modèles (MDE) et des langages (SLE). L’équipe est particulièrement impliquée dans la communauté scientifique internationale et a établi de solides partenariats industriels (bilatéraux et collaboratifs). SM@RT complète la plupart de ses contributions scientifiques par des développements logiciels. L’équipe est ainsi engagée dans différents projets (comme GEMOC) et communautés open-source (comme Eclipse).

Compétences

Modèles
Exigences
Vérification & validation
Ingénierie Système
Points de vue
Sécurité par conception

personnel de l’équipe

Membres permanents
Membres non – permanents
Membres extérieur

publications de l’équipe

Articles dans des revues internationales
  • Yinling Liu, Jean-Michel Bruel

    Modeling and verification of natural language requirements based on states and modes

    Formal Aspects of Computing, In press, ⟨10.1145/3640822⟩

    Accès: https://hal.univ-lorraine.fr/hal-04446384

  • Benoit Combemale, Jeff Gray, Bernhard Rumpe

    Adopting the concept of a function as an underlying semantic paradigm for modeling languages

    Software and Systems Modeling, 2023, 22 (6), pp.1733-1735. ⟨10.1007/s10270-023-01140-2⟩

    Accès: https://inria.hal.science/hal-04425740

  • Benoit Combemale, Jeff Gray, Bernhard Rumpe

    Large language models as an “operating” system for software and systems modeling

    Software and Systems Modeling, 2023, 22 (5), pp.1391-1392. ⟨10.1007/s10270-023-01126-0⟩

    Accès: https://inria.hal.science/hal-04425734

  • Benoit Combemale, Jeff Gray, Bernhard Rumpe

    Research software engineering and the importance of scientific models

    Software and Systems Modeling, 2023, 22 (4), pp.1081-1083. ⟨10.1007/s10270-023-01119-z⟩

    Accès: https://inria.hal.science/hal-04216671

  • Benoit Combemale, Jeff Gray, Bernhard Rumpe

    ChatGPT in software modeling

    Software and Systems Modeling, 2023, 22 (3), pp.777-779. ⟨10.1007/s10270-023-01106-4⟩

    Accès: https://inria.hal.science/hal-04425731

  • Benoit Combemale, Romina Eramo, Juan de Lara

    Guest editorial for the theme section on modeling language engineering

    Software and Systems Modeling, 2023, 22 (3), pp.795-796. ⟨10.1007/s10270-023-01097-2⟩

    Accès: https://inria.hal.science/hal-04216676

  • Stéphanie Challita, Benoit Combemale, Huseyin Ergin, Jeff Gray, Bernhard Rumpe, Martin Schindler

    Report on the State of the SoSyM Journal end of 2022

    Software and Systems Modeling, 2023, 22 (1), pp.1-7. ⟨10.1007/s10270-023-01085-6⟩

    Accès: https://inria.hal.science/hal-04216688

  • Benoit Combemale, Jeff Gray, Bernhard Rumpe

    How to define modeling languages?

    Software and Systems Modeling, 2023, 22 (2), pp.449-451. ⟨10.1007/s10270-023-01098-1⟩

    Accès: https://hal.science/hal-04128248

  • Ludovic Pailler, Alain Tchana, Benoit Combemale

    Protéger les données jusqu’à l’OS

    Dalloz IP/IT : droit de la propriété intellectuelle et du numérique, 2023

    Accès: https://inria.hal.science/hal-04216866

  • Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier, Bertrand Meyer

    Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests

    The Journal of Object Technology, 2023, 22 (1), pp.1-19. ⟨10.5381/jot.2023.22.1.a3⟩

    Accès: https://hal.science/hal-04128273

  • Conférences et workshops internationaux avec actes édités et comité de lecture
  • Dorian Leroy, Benoit Combemale, Benoît Lelandais, Marie-Pierre Oudot

    Practical Runtime Instrumentation of Software Languages: The Case of SciHook

    SLE 2023 – 16th ACM SIGPLAN International Conference on Software Language Engineering, ACM SIGPLAN: Special Interest Group on Programming Languages, Oct 2023, Cascais, Lisbon, Portugal. pp.1-6

    Accès: https://inria.hal.science/hal-04249049

  • Damien Foures, Mathieu Acher, Olivier Barais, Benoit Combemale, Jean-Marc Jézéquel, Jörg Kienzle

    Experience in Specializing a Generic Realization Language for SPL Engineering at Airbus

    MODELS 2023 – 26th International Conference on Model-Driven Engineering Languages and Systems, ACM; IEEE, Oct 2023, Västerås, Sweden. pp.1-12

    Accès: https://inria.hal.science/hal-04216627

  • Mika Pons, Jean-Michel Bruel, Jean-Baptiste Raclet, Franck Silvestre

    Traceability by design: design of an interactive system to improve the automatic generation of Git traces during a learning activity

    18th European Conference on Technology Enhanced Learning (EC-TEL 2023), Sep 2023, Aveiro, Portugal. pp.611-617, ⟨10.1007/978-3-031-42682-7_50⟩

    Accès: https://hal.science/hal-04347305

  • Mika Pons, Jean-Michel Bruel, Jean-Baptiste Raclet, Franck Silvestre

    Traçabilité by design : conception d’un système interactif pour améliorer la génération automatique de traces Git pendant une activité d’apprentissage

    11ème Conférence sur les Environnements Informatiques pour l’Apprentissage Humain (EIAH 2023), ATIEF : Association des Technologies de l’Information pour l’Education et la Formation, Jun 2023, Brest, France. pp.68-79

    Accès: https://hal.science/hal-04144980

  • Mika Pons, Jean-Michel Bruel, Jean-Baptiste Raclet, Franck Silvestre

    Finding behavioral indicators from contextualized commits in software engineering courses with process mining

    2nd International Workshop on Frontiers in Software Engineering Education (FISEE 2023), Jan 2023, Villebrumier, France. pp.56-68, ⟨10.1007/978-3-031-48639-5_5⟩

    Accès: https://hal.science/hal-04332205

  • L. Thomas van Binsbergen, Damian Frölich, Mauricio Verano Merino, Joey Lai, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, Olivier Barais

    A Language-Parametric Approach to Exploratory Programming Environments

    SLE 2022 – 15th ACM SIGPLAN International Conference on Software Language Engineering, ACM SIGPLAN: Special Interest Group on Programming Languages, Dec 2022, Auckland, New Zealand. pp.175-188, ⟨10.1145/3567512.3567527⟩

    Accès: https://inria.hal.science/hal-03921387

  • Loek Cleophas, Thomas Godfrey, Djamel Eddine Khelladi, Daniel Lehner, Benoit Combemale, Mark van den Brand, Michael Vierhauser, Manuel Wimmer, Steffen Zschaler

    A community-sourced view on engineering digital twins: A Report from the EDT.Community

    ModDiT 2022 – 2nd International Workshop on Model-Driven Engineering of Digital Twins, ACM; IEEE CS; University of Montreal, Oct 2022, Montréal, Canada. pp.481-485, ⟨10.1145/3550356.3561549⟩

    Accès: https://inria.hal.science/hal-03933973

  • Jörg Kienzle, Benoit Combemale, Gunter Mussbacher, Omar Alam, Francis Bordeleau, Loli Burgueño, Gregor Engels, Jessie Galasso, Jean-Marc Jézéquel, Bettina Kemme, Sébastien Mosser, Houari Sahraoui, Maximilian Schiedermeier, Eugene Syriani

    Global Decision Making Over Deep Variability in Feedback-Driven Software Development

    ASE 2022 – 37th IEEE/ACM International Conference on Automated Software Engineering, Oct 2022, Rochester, MI, United States. pp.1-6, ⟨10.1145/3551349.3559551⟩

    Accès: https://inria.hal.science/hal-03770004

  • Yinling Liu, Jean-Michel Bruel

    Modelling and Verification of Natural Language Requirements based on States and Modes

    30th International Requirements Engineering Conference Workshops (REW 2022), IEEE, Aug 2022, Melbourne, Australia. ⟨10.1109/REW56159.2022.00043⟩

    Accès: https://hal.science/hal-03941814

  • Ildar Nigmatullin, Andrey Sadovykh, Nan Messe, Sophie Ebersold, Jean-Michel Bruel

    RQCODE – Towards Object-Oriented Requirements in the Software Security Domain

    IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2022), Apr 2022, Valencia, Spain. pp.2-6, ⟨10.1109/ICSTW55395.2022.00015⟩

    Accès: https://hal.science/hal-03781938

  • Conférences et workshops nationaux avec actes édités et comité de lecture
  • Mamadou Lakhassane Cisse, Hanh Nhi Tran, Samba Diaw, Bernard Coulette, Alassane Bah

    Collaborative Processes Management: from Modeling to Enacting

    22nd International Conference on Computer Supported Cooperative Work in Design (CSCWD 2018), May 2018, Nanjing, China. pp.0

    Accès: https://hal.science/hal-02279376

  • Mahmoud El Hamlaoui, Saloua Bennani, Mahmoud Nassar, Sophie Ebersold, Bernard Coulette

    Heterogeneous design models alignment: from matching to consistency management

    33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018), Apr 2018, Pau, France. pp.1695-1697

    Accès: https://hal.science/hal-02319706

  • Florian Galinier, Jean-Michel Bruel, Sophie Ebersold, Bertrand Meyer

    Intégration des (multi-)exigences tout au long du développement des systèmes complexes

    16emes Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2017), Jun 2017, Montpellier, France. pp.57-63

    Accès: https://hal.science/hal-02864409

  • Livres (monographies)
  • Andrey Sadovykh, Nan Messe, Ildar Nigmatullin, Sophie Ebersold, Maria Naumcheva, Jean-Michel Bruel

    Security Requirements Formalization with RQCODE in

    Andrey Sadovykh; Dragos Truscan; Wissam Mallouli; Ana Rosa Cavalli; Cristina Seceleanu; Alessandra Bagnato. CyberSecurity in a DevOps Environment From Requirements to Monitoring, Springer, In press, 978-3-031-42211-9

    Accès: https://hal.science/hal-04324243

  • Benoit Combemale, Manuel Wimmer

    Towards a Model-Based DevOps for Cyber-Physical Systems

    Software Engineering Aspects of Continuous Development, Springer-Verlag, pp.1-11, 2019

    Accès: https://inria.hal.science/hal-02407886

  • Thèses et habilitations
  • Florian Galinier

    Seamless development of complex systems : a multirequirements approach

    Software Engineering [cs.SE]. Université Paul Sabatier – Toulouse III, 2021. English. ⟨NNT : 2021TOU30130⟩

    Accès: https://theses.hal.science/tel-03599456

  • Sophie Ebersold

    Modélisation des systèmes complexes et Points de vue : l’Ingénierie des Modèles centrée utilisateur pour l’Ingénierie Système

    Modélisation et simulation. Université de Toulouse, 2021

    Accès: https://hal.science/tel-03201997

  • Maroun Koussaifi

    Modélisation centrée utilisateur pour la configuration logicielle en environnement ambiant

    Interface homme-machine [cs.HC]. Université Paul Sabatier – Toulouse III, 2020. Français. ⟨NNT : 2020TOU30212⟩

    Accès: https://theses.hal.science/tel-03209249v2

  • Mamadou Lakhassane Cisse

    Modélisation et exécution flexible de processus collaboratifs

    Autre [cs.OH]. Université Toulouse le Mirail – Toulouse II; Université Cheikh Anta Diop (Dakar), 2020. Français. ⟨NNT : 2020TOU20038⟩

    Accès: https://theses.hal.science/tel-03280101v2

  • Renan Leroux-Beaudout

    Méthodologie de conception de systèmes de simulations en entreprise étendue, basée sur l’ingénierie système dirigée par les modèles

    Système d’exploitation [cs.OS]. Université Paul Sabatier – Toulouse III, 2020. Français. ⟨NNT : 2020TOU30089⟩

    Accès: https://theses.hal.science/tel-03098563

  • Saloua Bennani

    Une approche IDM pour l’alignement collaboratif de modèles hétérogènes

    Autre [cs.OH]. Université Toulouse le Mirail – Toulouse II; Université Mohammed V (Rabat), 2020. Français. ⟨NNT : 2020TOU20029⟩

    Accès: https://theses.hal.science/tel-03267969

  • Damien Mariyanayagam

    Localisation et reconnaissance de marqueurs circulaires à partir d’une vue de leur contour

    Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse – INPT, 2020. Français. ⟨NNT : 2020INPT0051⟩

    Accès: https://theses.hal.science/tel-04166121

  • Matthieu Pizenberg

    Interactive computer vision through the Web

    Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Toulouse – INPT, 2020. English. ⟨NNT : 2020INPT0023⟩

    Accès: https://theses.hal.science/tel-04164773

  • Ronan Baduel

    An integrated model-based early validation approach for railway systems

    Other [cs.OH]. Université Toulouse le Mirail – Toulouse II, 2019. English. ⟨NNT : 2019TOU20083⟩

    Accès: https://univ-tlse2.hal.science/tel-03012187v2

  • Alexandr Naumchev

    Seamless Object-Oriented Requirements

    Software Engineering [cs.SE]. Université Paul Sabatier – Toulouse III, 2019. English. ⟨NNT : 2019TOU30132⟩

    Accès: https://theses.hal.science/tel-02872242

  • Rapports
  • Paul Kacimi, Sophie Ebersold, Nan Messe

    Etat de l’Art des problèmes de sécurité de la BlockChain

    IRIT/RR–2023–02–FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2023

    Accès: https://hal.science/hal-04336635

  • Maroun Koussaifi, Jean-Paul Arcangeli, Sylvie Trouilhet, Jean-Michel Bruel

    Putting the End-User in the Loop in Smart Ambient Systems: an Approach based on Model-Driven Engineering

    [Research Report] IRIT/RR–2020–06–FR, IRIT – Institut de Recherche en Informatique de Toulouse. 2020

    Accès: https://hal.science/hal-03120776

  • Florian Galinier

    Formal Semantics of Requirements Relationships for Traceability

    [Research Report] IRIT. 2019

    Accès: https://hal.science/hal-03012573

  • contrats de l’équipe

    AcronymeTitreResp. scDébut – fin
    AcronymeTitreResp. scDébut – fin
    CIFRE Anaël Megna
    [Contrat terminé]
    Accord spécifique d’encadrement de la thèse CIFRE 2017/1420 pris en application de l’accord de coopération DESIR “Globalisation for systems engineering” Jean-Michel BRUEL
    2017 – 2018
    AcronymeTitreResp. scDébut – fin
    Mercredi 5 Octobre 2022, 9h30
    Théorie de l’affordance dans l’évaluation de l’expérience utilisateur
    Hamna ASLAM – , IRIT UT3 Paul Sabatier, IRIT, Salle 001
    #these
    Lundi 13 Décembre 2021, 14h00
    Integrated Conceptual Design Evaluation of Mechatronic Systems Using SysML
    Mohammad CHAMI – Equipe SMART, IRIT UT3 Paul Sabatier, IRIT, Salle de Direction Rdc IRIT2
    #these
    Lundi 8 Novembre 2021, 14h30
    Développement sans rupture de systèmes complexes : une approche basée multi-exigences
    Florian GALINIER – Equipe SMART, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Vendredi 18 Décembre 2020, 9h00
    Modélisation centrée utilisateur pour la configuration logicielle en environnement ambiant
    Maroun KOUSSAIFI – Equipe SMAC, Equipe SMART, IRIT UT3 Paul Sabatier, En visioconférence
    #these
    Jeudi 1 Octobre 2020, 14h00
    Méthodologie de conception de systèmes de simulation en entreprise étendue, basée sur l’ingénierie système dirigée par les modèles
    Renan LEROUX-BEAUDOUT – Equipe ARGOS, Equipe SMART, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Jeudi 16 Juillet 2020, 15h00
    Une approche IDM pour l’alignement collaboratif de modèles hétérogènes
    Saloua BENNANI – Equipe SMART, IRIT UT2 Jean Jaurès, En visioconférence
    #these
    Lundi 30 Septembre 2019, 10h00
    Une approche intégrée des systèmes ferroviaires et prenant en charge leur validation
    Ronan BADUEL – Equipe SMART, Equipe ARGOS, IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
    #these
    Vendredi 12 Juillet 2019, 10h00
    Exigences orientées objets dans un cycle de vie continu
    Alexandr NAUMCHEV – Equipe SMART, IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
    #these
    Vendredi 29 Mars 2019, 15h30 – 16h45
    Vers une taxonomie des exigences
    Bertrand MEYER – Equipe SMART – IRIT (France) UT3 Paul Sabatier, IRIT, Salle 001
    #seminaire
    Vendredi 6 Avril 2018, 13h00 – 14h00
    Séminaire IRIT-UT2J – Initiation à la programmation par les objets, Eiffel et la conception par contrats : 15 ans et 5000 étudiants plus tard
    Bertrand MEYER – Equipe SMART – IRIT (France) UT3 Paul Sabatier, IRIT, Salle des Thèses
    #seminaire
    Jeudi 9 Février 2017, 14h00 – 15h30
    Ingénierie des Exigences
    Nacer Eddine ZAROURDE – Université Constantine 2 (Algérie) UT2J, Maison de la Recherche, Bât Olympe de Gouges, GS 121
    #seminaire
    Vendredi 12 Mars 2021, 9h00
    Modélisation des systèmes complexes et Points de vue : l’Ingénierie Des Modèles centrée utilisateur pour l’Ingénierie Système
    Sophie EBERSOLD – Equipe SMART, IRIT UT2 Jean Jaurès, en visioconférence
    #hdr