Head : Jean-Michel BRUEL
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
personnel of the team
- Bruel Jean-Michel (responsable équipe)Professor- UT2J
- Charrel Pierre-JeanProfessor- UT2J
- Combemale BenoitProfessor- UT2J
- Coulette BernardProfessor Emeritus- UT2J
- Ebersold SophieAssociate Professor- UT2J
- Baduel RonanPostThèse- UT2J
- Bennani SalouaPhD Student IRIT- UT2J
- Chami MohammadPhD Student IRIT- UPS
- Cisse Mamadou LakhassanePhD Student IRIT (joint direction ARGOS)- UT2J
- Coulon FabienPhD Student IRIT- UT2J
- El Hamlaoui MahmoudCollaborateur extérieur
- Galinier FlorianPhD Student IRIT- UPS
- Koussaifi MarounPhD Student IRIT (joint direction SMAC)- UPS
- Leduc ManuelAssociate PhD Student- UT2J
- Leroux-Beaudout RenanPhD Student IRIT (joint direction ARGOS)- UPS
- Meyer BertrandGuest Researcher
- Otmani NassimPhD Student IRIT (joint direction MELODI)- UT2J
- Soutou ChristianAssociate Professor- UT2J
publications of the team
Alexandr Naumchev, Bertrand Meyer, Florian Galinier, Jean-Michel Bruel, Manuel Mazzara, Sophie Ebersold
AutoReq: expressing and verifying requirements for control systems
In : Journal of Visual Languages and Computing, Elsevier, Vol. 51, pp. 131-142, April 2019.
Abstract URL : https://doi.org/10.1016/j.cola.2019.02.004
BibTeXJörg Kienzle, Gunter Mussbacher, Benoit Combemale, Julien Deantoni
A Unifying Framework for Homogeneous Model Composition
In : Software and Systems Modeling (SoSyM), Springer, Vol. 2019-01, January 2019.
Benoit Combemale, Jörg Kienzle, Gunter Mussbacher, Olivier Barais, Erwan Bousse, Walter Cazzola, Philippe Collet, Thomas Degueule, Robert Heinrich, Jean-Marc Jézéquel, Manuel Leduc, Tanja Mayerhofer, Sébastien Mosser, Matthias Schöttle, Misha Strittmatter, Andreas Wortmann
Concern-Oriented Language Development (COLD): Fostering Reuse in Language Engineering
In : Computer Languages, Systems and Structures, Elsevier, Vol. 54, pp. 139-155, 2018.
Erwan Bousse, Dorian Leroy, Benoit Combemale, Manuel Wimmer, Benoit Baudry
Omniscient Debugging for Executable DSLs
In : Journal of Systems and Software (JSS), Elsevier, Vol. 137, pp. 261-288, 2018.
Mohamed Amroune, Nacer Eddine Zarour, Pierre-Jean Charrel
A new multi-criteria decision process to prioritise requirements
In : International Journal of Information and Communication Technology, Inderscience Publishers, Vol. 13 N. 1, pp. 6-19, January 2018.
Ileana Ober, Marc Palyart, Jean-Michel Bruel, David Lugato
On the Use of Models for High-Performance Scientific Computing Applications: an Experience Report
In : International Journal on Software and Systems Modeling (SoSyM), Springer-Verlag, Vol. 17 N. 1, pp. 319-342, February 2018.
Abstract URL : http://link.springer.com/article/10.1007/s10270-016-0518-0
BibTeX
No publication
Maroun Koussaifi, Sylvie Trouilhet, Jean-Paul Arcangeli, Jean-Michel Bruel
Automated user-oriented description of emerging composite ambient applications (regular paper)
In : International Conference on Software Engineering and Knowledge Engineering (SEKE 2019), Lisbonne, 10/07/19-12/07/19, KSI : Knowledge Systems Institute, pp. 473-478, July 2019.
Saloua Bennani, Sophie Ebersold, Mahmoud El Hamlaoui, Bernard Coulette, Mahmoud Nassar
A collaborative decision approach for alignment of heterogeneous models (regular paper)
In : IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2019), Capri, Italy, 12/06/19-14/06/19, IEEE Computer Society, (electronic medium), June 2019.
Mamadou Lakhassane Cisse, Hanh Nhi Tran, Samba Diaw, Bernard Coulette, Alassane Bah
Using Patterns to parameterize the execution of Collaborative Tasks (regular paper)
In : IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2019), Capri, Italy, 12/06/19-14/06/19, IEEE Computer Society, (electronic medium), June 2019.
Mamadou Lakhassane Cisse, Hanh Nhi Tran, Samba Diaw, Bernard Coulette, Alassane Bah
A Pattern-based Process Management System to flexibly execute Collaborative Tasks (short paper)
In : International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019), Heraklion, Crète, Greece, 04/05/19-05/05/19, INSTICC Press, (electronic medium), May 2019.
Samba Diaw, Mamadou Lakhassane Cisse, Alassane Bah
Using the SPEM 2.0 kind-based extension mechanism to define the SPEM4MDE metamodel (regular paper)
In : International Conference on Computing for Engineering and Sciences (ICCES 2017), Istanbul, Turquie, 22/07/17-24/07/17, Vol. ICCES ’17, ACM Digital Library, pp. 63-69, July 2018.
Abstract URL : http://doi.org/10.1145/3129186.3129199 – https://oatao.univ-toulouse.fr/25026/
BibTeXDavid Méndez-Acuña, José Galindo, Benoit Combemale, Arnaud Blouin, Benoit Baudry
Reverse engineering language product lines from existing DSL variants (short paper)
In : International Systems and Software Product Line Conference (SPLC 2018), Gothenburg, Sweden, 10/09/18-14/09/18, ACM : Association for Computing Machinery, pp. 148-148, 2018.
Francis Bordeleau, Benoit Combemale, Romina Eramo, Mark Van Den Brand, Manuel Wimmer
Tool-Support of Socio-Technical Coordination in the Context of Heterogeneous Modeling: A Research Statement and Associated Roadmap (regular paper)
In : International Workshop on the Globalization of Modeling Languages (GEMOC 2018), Copenhagen, Denmark, 15/10/18, Vol. 1-2245, CEUR-WS : Workshop proceedings, (on line), 2018.
Dorian Leroy, Erwan Bousse, Anael Megna, Benoit Combemale, Manuel Wimmer
Trace Comprehension Operators for Executable DSLs (regular paper)
In : European Conference on Modelling Foundations and Applications (ECMFA 2018), Toulouse, France, 26/06/18-28/06/18, Springer, pp. 293-310, June 2018.
Manuel Leduc, Thomas Degueule, Benoit Combemale
Modular Language Composition for the Masses (regular paper)
In : ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018), Boston, US, 05/11/18-06/11/18, ACM : Association for Computing Machinery, pp. 1-12, November 2018.
Benoit Lelandais, Marie-Pierre Oudot, Benoit Combemale
Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (regular paper)
In : ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018), Boston, US, 05/11/18-06/11/18, ACM : Association for Computing Machinery, pp. 1-9, November 2018.
Formalisation des relations entre exigences
In : Journées nationales du GDR GPL 2018, Groupe de travail Ingénierie des Exigences, Grenoble, 12/06/18.
Seamless development of complex systems: a multirequirements approach. (poster)
In : Euroscience Open Forum (ESOF) 2018, Toulouse, 09/07/18-14/07/18.
Mahmoud El Hamlaoui, Mahmoud Nassar, Saloua Bennani, Sophie Ebersold, Bernard Coulette
AHM: Handling heterogeneous models matching and consistency via MDE
In : 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2018) – Revised selected papers.. Ernesto DAMIANI, George SPANOUDAKIS, Leszek MACIASZEK (Eds.) , Springer, pp. 288-313, CCIS, 2019.
Formal Semantics of Requirements Relationships for Traceability
Research report, 2019_04_30, IRIT, April 2019.
contrats of the 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 | COULETTE Bernard | 2009 – 2012 |
Acronyme | Titre | Resp. sc | Début – fin |
---|
Acronyme | Titre | Resp. sc | Début – fin | |
---|---|---|---|---|
CORINTHE [Contract completed] | Conception et réalisation d’un systèmede veille stratégique à partir d’information thématique d’un secteur économique | CHARREL Pierre-Jean | 2006 – 2009 |