Smart Modeling for softw@re Research and Technology
SM@RT is a great 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 communities (e.g., Eclipse), and contributes to different projects.
Interests
- Model-Based Systems Engineering
- Requirements Engineering
- Agile Methods & Design Patterns
- Modeling for Sustainability
- FUN (Final User Need) Modeling
Meet the SM@RT people
Permanent
Jean-Michel Bruel
Professor of Software Engineering
Nan Messe
Assistant Professor
Pierre-Jean Charrel
Professor of Software Engineering
Sophie Ebersold-Marcaillou
Associate Professor of Software Engineering
Associates
Benoît Combemale
Professor of Software Engineering, U. Rennes 1
Bernard Coulette
Emeritus Professor
Bertrand Meyer
Professor of Software Engineering
Ph.D. Students
Ildar Nigmatullin
Registration pending
Ilya Baimetov
Registration pending
Mariya Naumcheva
Registration pending
Mika Pons
Ph.D. student since 10/2021
Former Ph.D. Students
Alexandr Naumchev
2019 - Associate Professor at Innopolis University
Anas Motii
2017 - Consultant IAM chez Sogeti
Florian Galinier
2021 - Spilen CEO
Hamna Aslam
2022 - Lecturer
Jacob Geisel
2015 - Software Engineer and in Charge of Academic Relations at Obeo
Mamadou Lakhassane Cissé
2021 - Engineer at Open Function
Maroun Koussaifi
2020 - Consultant at Antipolis
Mohammad Chami
2021 - Consultant
Renan Leroux-Beaudout
2020 - Ingénieur chez ALTRAN
Ronan Baduel
2019 - Consultant ALTEN
Saloua Bennani
2021 - Software Engineer
Journal Publications
You can also access the official list from the lab (up to date, but only related to it).
Conference Publications
(and workshops)
Ph.D. thesis
(and Habilitations)
Recent & Upcoming Talks
Projects
Chaire Industrielle
Despite the success of Model-Based Systems Engineering adoption, its application at scale and in a continuous approach to ensure the delivery of added value for its adopters is far from straightforward. The inherent complexity in terms of implied domains or of massively heterogeneous and poorly related data is not weaved by the simple use of a formal and disciplined modeling approach. A collaborative and continuous framework and process are required and need to aggregate up-to-date technologies in complementary techniques such as models, ontologies, and complex data management. It is the purpose of this Chair to study and make effective such complementarity.
Formal Requirements
Collaboration initiated with the Innopolis University on the use of formal methods in Requirements Engineering
FUN Modeling
Placing the Final User Needs (FUN) at the center of the (modeling) concerns
MBSE & Early Validation
An integrated model-based early validation approach for Railway Systems
GEMOC Initiative
GEMOC is an open and international initiative that aims to coordinate and disseminate the research results regarding the support of the coordinated use of various modeling languages that will lead to the concept of the globalization of modeling languages.
Moise
MOdels and Information Sharing for System Engineering in Extended Entreprise
Contact
- +33 (0)6.07.65.19.70
- 5 allées Machado, Toulouse Cedex 9, 31058
- Book an appointment
- DM Us