SM@RT Team

Head : Sophie EBERSOLD

SM@RT (Smart Modeling for softw@re Research & Technology) is a software engineering team of the Reliability of Systems and Software department that specializes in software agility and safety for cyber-physical systems. The team explores new foundations, and develops ground-breaking tools and methods for modeling and software languages (domain-specific languages, specification languages, programming and modeling languages), with a particular focus on the scientific breakthroughs related to socio-technical coordination (heterogeneity of models and execution platforms, final user in the loop, etc.). SM@RT is a leading team in model-driven engineering (MDE) and software language engineering (SLE). The team is highly involved in the international scientific community, and has established strong industrial partnerships (through bilateral and collaborative projects). SM@RT seconds most of the scientific contributions with software developments. The team is also highly involved in various open-source projects (e.g., GEMOC) and communities (e.g., Eclipse), and contributes to different projects.

skills

Software modeling
Languages
Verification & validation
Systems engineering
Points of view

Members team

Permanent members
Non-permanent members
Related members

publications team

International journals articles
  • 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

  • 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

  • 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

  • Dorian Leroy, Pierre Jeanjean, Erwan Bousse, Manuel Wimmer, Benoit Combemale

    Runtime Monitoring for Executable DSLs

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

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

  • 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

  • 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

  • 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

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

    Live Modeling in the Context of State Machine Models and Code Generation

    Software and Systems Modeling, Springer Verlag, 2020, pp.1-44. ⟨10.1007/s10270-020-00829-y⟩

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

  • International conferences articles
  • 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

  • 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

  • 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

  • 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

  • Mamadou Lakhassane Cisse, Hanh Nhi Tran, Samba Diaw, Bernard Coulette, Alassane Bah

    Using Patterns to parameterize the execution of Collaborative Tasks

    28th IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2019), Jun 2019, Capri, Italy. pp.106-111, ⟨10.1109/WETICE.2019.00031⟩

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

  • 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

  • National conferences articles
  • 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

  • Books
  • 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

  • Thesis and HDR
  • 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

  • Reports
  • 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

  • Contracts team

    AcronymeTitreResp. scDébut – fin
    GALAXY
    [Contract completed]
    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
    Friday 18 December 2020, 9h00
    Modélisation centrée utilisateur pour la configuration logicielle en environnement ambiant
    Maroun KOUSSAIFI – Team SMAC, Team SMART, IRIT UT3 Paul Sabatier, En visioconférence
    #these
    Thursday 1 October 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 – Team ARGOS, Team SMART, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Thursday 16 July 2020, 15h00
    Collaborative Alignment of Heterogeneous Models in a Complex System Design
    Saloua BENNANI – Team SMART, IRIT UT2 Jean Jaurès, En visioconférence
    #these
    Monday 30 September 2019, 10h00
    Une approche intégrée des systèmes ferroviaires et prenant en charge leur validation
    Ronan BADUEL – Team SMART, Team ARGOS, IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
    #these
    Friday 12 July 2019, 10h00
    Exigences orientées objets dans un cycle de vie continu
    Alexandr NAUMCHEV – Team SMART, IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
    #these
    Friday 29 March 2019, 15h30 – 16h45
    Vers une taxonomie des exigences
    Bertrand MEYER – Team SMART – IRIT (France) UT3 Paul Sabatier, IRIT, Salle 001
    #seminaire
    Friday 6 April 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 – Team SMART – IRIT (France) UT3 Paul Sabatier, IRIT, Salle des Thèses
    #seminaire
    Thursday 9 February 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
    Friday 12 March 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 – Team SMART, IRIT UT2 Jean Jaurès, en visioconférence
    #hdr