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
Members team
- Jean-Michel BRUELProfessor – UT2J
- Pierre-Jean CHARRELProfessor – UT2J
- Bernard COULETTEProfessor Emeritus – UT2J
- Sophie EBERSOLDAssociate Professor – UT2J
- Nan MESSEAssociate Professor – UT2J
- Saloua BENNANICollaborateur extérieur
- Mohammad CHAMIPhD Student IRIT – UPS
- Mamadou Lakhassane CISSEPhD Student IRIT (joint direction ARGOS) – UT2J
- Benoit COMBEMALEAssociate Members
- Mahmoud EL HAMLAOUICollaborateur extérieur
- Florian GALINIERPhD Student IRIT – UPS
- Yinling LIUPostDoc – UPS
- Nassim OTMANIPhD Student IRIT (joint direction MELODI) – UT2J
- Christian SOUTOUAssociate Professor – UT2J
publications team
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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⟩
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
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
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⟩
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⟩
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⟩
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⟩
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
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
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⟩
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
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
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
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
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
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
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
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⟩
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⟩
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⟩
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⟩
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
Seamless Object-Oriented Requirements
Software Engineering [cs.SE]. Université Paul Sabatier – Toulouse III, 2019. English. ⟨NNT : 2019TOU30132⟩
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
Formal Semantics of Requirements Relationships for Traceability
[Research Report] IRIT. 2019
Contracts team
| Acronyme | Titre | Resp. sc | Début – fin | |
|---|---|---|---|---|
| GALAXY [Contract completed] |  | Développement collaboratif de systèmes complexes selon une approche guidée par les modèles | Bernard COULETTE | 2009 – 2012 |
| Acronyme | Titre | Resp. sc | Début – fin |
|---|
| Acronyme | Titre | Resp. sc | Début – fin |
|---|