SM@RT Team

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

Software modeling
languages
verification & validation
systems engineering
points of view

personnel of the team

Permanent members
Non-permanent members
Related members

publications of the team

International journals articles
No publication
No publication
International conferences articles
Conferences articles without published proceedings
  • Florian Galinier

    Formalisation des relations entre exigences

    In : Journées nationales du GDR GPL 2018, Groupe de travail Ingénierie des Exigences, Grenoble, 12/06/18.

    BibTeX

  • Florian Galinier

    Seamless development of complex systems: a multirequirements approach. (poster)

    In : Euroscience Open Forum (ESOF) 2018, Toulouse, 09/07/18-14/07/18.

    URL : https://www.esof.eu/en/
    BibTeX

Books parts
No publication
Reports

contrats of the 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 COULETTE Bernard
2009 – 2012
AcronymeTitreResp. scDébut – fin
AcronymeTitreResp. scDé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
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