É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
Langages
Vérification & validation
Ingénierie système
Points de vue

personnel de l’équipe

Membres permanents
Membres non – permanents
Membres rattachés

publications de l’équipe

Articles dans des revues internationales
  • Sylvie Trouilhet, Jean-Paul Arcangeli, Jean-Michel Bruel, Maroun Koussaifi

    Model-Driven Engineering for End-Users in the Loop in Smart Ambient Systems

    Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2021, Advances and Challenges for Model and Data Engineering, 27 (7), pp.755 – 773. ⟨10.3897/jucs.70515⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03336164

  • Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer

    The Role of Formalism in System Requirements

    ACM Computing Surveys, Association for Computing Machinery, 2021, 54 (5), pp.1-36. ⟨10.1145/3448975⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03261574

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

    A Formalization of Group Decision Making in Multi-Viewpoints Design

    Communications in Computer and Information Science, Springer Verlag, 2020, 13 (1), pp.58. ⟨10.5539/cis.v13n1p58⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03126083

  • Manuel Leduc, Gwendal Jouneaux, Thomas Degueule, Gurvan Le Guernic, Olivier Barais, Benoit Combemale

    Automatic generation of Truffle-based interpreters for Domain-Specific Languages

    The Journal of Object Technology, Chair of Software Engineering, 2020, 19 (2), pp.1-21. ⟨10.5381/jot.2020.19.2.a1⟩

    Accès: https://hal.inria.fr/hal-02395867v2

  • Manuel Leduc, Thomas Degueule, Eric van Wyk, Benoit Combemale

    The Software Language Extension Problem

    Software and Systems Modeling, Springer Verlag, 2020, 19 (2), pp.263-267. ⟨10.1007/s10270-019-00772-7⟩

    Accès: https://hal.inria.fr/hal-02399166

  • Jörg Kienzle, Gunter Mussbacher, Benoit Combemale, Lucy Bastin, Nelly Bencomo, Jean-Michel Bruel, Christoph Becker, Stefanie Betz, Ruzanna Chitchyan, Betty Cheng, Sonja Klingert, Richard Paige, Birgit Penzenstadler, Norbert Seyff, Eugene Syriani, Colin Venters

    Towards Model-Driven Sustainability Evaluation

    Communications of the ACM, Association for Computing Machinery, 2020, 63 (3), pp.80-91. ⟨10.1145/3371906⟩

    Accès: https://hal.inria.fr/hal-02146543v2

  • Andreas Wortmann, Olivier Barais, Benoit Combemale, Manuel Wimmer

    Modeling Languages in Industry 4.0: An Extended Systematic Mapping Study

    Software and Systems Modeling, Springer Verlag, 2020, 19 (1), pp.67-94. ⟨10.1007/s10270-019-00757-6⟩

    Accès: https://hal.inria.fr/hal-02282028

  • Benoit Combemale, Jörg Kienzle, Gunter Mussbacher, Hyacinth Ali, Daniel Amyot, Mojtaba Bagherzadeh, Edouard Batot, Nelly Bencomo, Benjamin Benni, Jean-Michel Bruel, Jordi Cabot, Betty Cheng, Philippe Collet, Gregor Engels, Robert Heinrich, Jean-Marc Jézéquel, Anne Koziolek, Sébastien Mosser, Ralf Reussner, Houari Sahraoui, Rijul Saini, June Sallou, Serge Stinckwich, Eugene Syriani, Manuel Wimmer

    A Hitchhiker’s Guide to Model-Driven Engineering for Data-Centric Systems

    IEEE Software, Institute of Electrical and Electronics Engineers, 2020, pp.9. ⟨10.1109/MS.2020.2995125⟩

    Accès: https://hal.inria.fr/hal-02612087

  • Jean-Michel Bruel, Benoit Combemale, Esther Guerra, Jean-Marc Jézéquel, Jörg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani, Hans Vangheluwe

    Comparing and Classifying Model Transformation Reuse Approaches across Metamodels

    Software and Systems Modeling, Springer Verlag, 2020, 19 (2), pp.441-465. ⟨10.1007/s10270-019-00762-9⟩

    Accès: https://hal.inria.fr/hal-02317864

  • Gunter Mussbacher, Benoit Combemale, Jörg Kienzle, Silvia Abrahão, Hyacinth Ali, Nelly Bencomo, Márton Búr, Loli Burgueño, Gregor Engels, Pierre Jeanjean, Jean-Marc Jézéquel, Thomas Kühn, Sébastien Mosser, Houari Sahraoui, Eugene Syriani, Dániel Varró, Martin Weyssow

    Opportunities in Intelligent Modeling Assistance

    Software and Systems Modeling, Springer Verlag, 2020, 19 (5), pp.1045-1053. ⟨10.1007/s10270-020-00814-5⟩

    Accès: https://hal.inria.fr/hal-02876536

  • Conférences et workshops internationaux avec actes édités et comité de lecture
  • Hamna Aslam, Alexandr Naumchev, Jean-Michel Bruel, Joseph Brown

    Examining Requirements Documentation through the Focused Conversation Method

    29th International Conference on Information Systems Development (ISD 2021), Sep 2021, València, Spain

    Accès: https://hal.archives-ouvertes.fr/hal-03435282

  • Grégory Alary, Nathalie Hernandez, Jean-Paul Arcangeli, Sylvie Trouilhet, Jean-Michel Bruel

    Using Comp-O to Build and Describe Component-Based Services

    Demos and Industry Tracks: From Novel Ideas to Industrial Practice (ISWC-Posters 2020 ) co-located with 19th International Semantic Web Conference, Nov 2020, virtual conference, Greece. pp.152-157

    Accès: https://hal.archives-ouvertes.fr/hal-03120764

  • Gunter Mussbacher, Benoit Combemale, Silvia Abrahão, Nelly Bencomo, Loli Burgueño, Gregor Engels, Jörg Kienzle, Thomas Kühn, Sébastien Mosser, Houari Sahraoui, Martin Weyssow

    Towards an Assessment Grid for Intelligent Modeling Assistance

    MDE Intelligence 2020 – 2nd Workshop on Artificial Intelligence and Model-driven Engineering, Oct 2020, Montreal, Canada. pp.1-10

    Accès: https://hal.inria.fr/hal-02925142

  • Grégory Alary, Nathalie Hernandez, Jean-Paul Arcangeli, Sylvie Trouilhet, Jean-Michel Bruel

    Comp-O: an OWL-S Extension for Composite Service Description

    22nd International Conference, EKAW 2020, Sep 2020, Bolzano, Italy. p. 171-182, ⟨10.1007/978-3-030-61244-3_12⟩

    Accès: https://hal.archives-ouvertes.fr/hal-02986555

  • Ronan Baduel, Iulian Ober, Jean-Michel Bruel

    Modeling and verification method for an early evaluation of Systems of Systems interactions

    35th Annual ACM Symposium on Applied Computing (SAC 2020), Mar 2020, Brno, Czech Republic. pp.1798-1805, ⟨10.1145/3341105.3373944⟩

    Accès: https://hal.archives-ouvertes.fr/hal-02891673

  • Pierre Jeanjean, Benoit Combemale, Olivier Barais

    From DSL Specification to Interactive Computer Programming Environment

    SLE 2019 – 12th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2019, Athènes, Greece. pp.167-178, ⟨10.1145/3357766.3359540⟩

    Accès: https://hal.inria.fr/hal-02307953

  • Benoit Combemale

    Bringing Intelligence to Sociotechnical IoT Systems: Modeling Opportunities and Challenges

    MDE4IoT 2019 – 3nd International Workshop on Model-Driven Engineering for the Internet-of-Things, Sep 2019, Munich, Germany. pp.1-2

    Accès: https://hal.inria.fr/hal-02285737

  • Mojtaba Bagherzadeh, Karim Jahed, Benoit Combemale, Juergen Dingel

    Live-UMLRT: A Tool for Live Modeling of UML-RT Models

    MODELS 2019 – ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.743-747, ⟨10.1109/MODELS-C.2019.00115⟩

    Accès: https://hal.inria.fr/hal-02407932

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

    Automated user-oriented description of emerging composite ambient applications

    31st International Conference on Software Engineering and Knowledge Engineering (SEKE 2019), Jul 2019, Lisbonne, Portugal. pp.473-478

    Accès: https://hal.archives-ouvertes.fr/hal-02467549

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

    A collaborative decision approach for alignment of heterogeneous models

    28th IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2019), Jun 2019, Capri, Italy. pp.112-117

    Accès: https://hal.archives-ouvertes.fr/hal-02456775

  • 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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-02864409

  • Livres (monographies)
  • 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://hal.inria.fr/hal-02407886

  • Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer

    Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment

    Bruel; Jean-Michel and Mazzara; Manuel and Meyer; Bertrand. Lecture Notes in Computer Science, Springer, pp.1-226, 2019, Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 978-3030060183

    Accès: https://hal.archives-ouvertes.fr/hal-02976604

  • Thèses et habilitations
  • 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.archives-ouvertes.fr/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://tel.archives-ouvertes.fr/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://tel.archives-ouvertes.fr/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://tel.archives-ouvertes.fr/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://tel.archives-ouvertes.fr/tel-03267969

  • 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://hal-univ-tlse2.archives-ouvertes.fr/tel-03012187v2

  • Alexandr Naumchev

    Seamless Object-Oriented Requirements

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

    Accès: https://tel.archives-ouvertes.fr/tel-02872242

  • Rapports
  • 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.archives-ouvertes.fr/hal-03120776

  • Florian Galinier

    Formal Semantics of Requirements Relationships for Traceability

    [Research Report] IRIT. 2019

    Accès: https://hal.archives-ouvertes.fr/hal-03012573

  • contrats de l’équipe

    AcronymeTitreResp. scDébut – fin
    GALAXY
    [Contrat terminé]
    autre Développement collaboratif de systèmes complexes selon une approche guidée par les modèles Bernard COULETTE
    2009 – 2012
    AcronymeTitreResp. scDébut – fin
    AcronymeTitreResp. scDébut – fin
    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 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