Équipe SM@RT

Responsable : Jean-Michel BRUEL

SM@RT (Smart Modeling for softw@re Research & Technology) est une équipe du Département Fiabilité des systèmes et des logiciels spécialisée dans l’ingénierie des logiciels pour les systèmes cyber-physiques. L’équipe explore les aspects fondamentaux, méthodologiques et technologiques de l’ingénierie des modèles et des langages (d’exigences, spécifiques à un domaine, de spécification ou de modélisation). Les verrous scientifiques qu’elle adresse portent plus particulièrement sur la coordination socio-technique (hétérogénéité des modèles et des plateformes, concentration sur l’utilisateur final, points de vue, etc.).

SM@RT est une équipe à la pointe de l’ingénierie des modèles (MDE) et des langages (SLE). L’équipe est particulièrement impliquée dans la communauté scientifique internationale et a établi de solides partenariats industriels (bilatéraux et collaboratifs). SM@RT complète la plupart de ses contributions scientifiques par des développements logiciels. L’équipe est ainsi engagée dans différents projets (comme GEMOC) et communautés open-source (comme Eclipse).

Compétences

modèles
langages
vérification & validation
ingénierie système
points de vue

personnel de l’équipe

Membres permanents
Membres non – permanents
Membres rattachés

publications de l’équipe

Articles dans des revues internationales
Pas de publications
Pas de publications
Conférences et workshops internationaux avec actes édités et comité de lecture
Conférences sans actes publiés
  • Florian Galinier

    Formalisation des relations entre exigences

    Dans : 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)

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

    Accès : https://www.esof.eu/en/
    BibTeX

Contributions à des ouvrages de synthèse
Pas de publications
Rapports

contrats de l’équipe

AcronymeTitreResp. scDébut – fin
GALAXY
[Contrat terminé]
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
[Contrat terminé]
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
Lundi 30 Septembre 2019, 10h00
Une approche intégrée des systèmes ferroviaires et prenant en charge leur validation
Ronan BADUEL – Equipe SMART, Equipe ARGOS, IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#these
Vendredi 12 Juillet 2019, 10h00
Exigences orientées objets dans un cycle de vie continu
Alexandr NAUMCHEV – Equipe SMART, IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#these
Vendredi 29 Mars 2019, 15h30 – 16h45
Vers une taxonomie des exigences
Bertrand MEYER – Equipe SMART – IRIT (France) UT3 Paul Sabatier, IRIT, Salle 001
#seminaire
Vendredi 6 Avril 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 – Equipe SMART – IRIT (France) UT3 Paul Sabatier, IRIT, Salle des Thèses
#seminaire
Jeudi 9 Février 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