Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Thèmes de recherche > Thème 7 - Sûreté de développement du logiciel > Equipe MACAO > Propositions de stages, thèses et post-doc > Thèses

Gestion basée modèles des exigences de systèmes complexes (19/01/2015)

Contact : Jean-Michel Bruel

Laboratoire IRIT — Thème 7 — Equipe MACAO

Direction et unité d’accueil

  • Domaine scientifique principal du thème concerné : Informatique
  • Libellé ACI/Programme ou discipline concernée : Génie Logiciel
  • Formation doctorale de rattachement (spécialité) : Informatique
  • Directeur : Jean-Michel Bruel, professeur en Informatique à l’université de Toulouse 2 (Tel. 05.62.74.75.40)
  • Encadrant : A définir
  • Lieu géographique : Université Toulouse Jean-Jaures, IRIT
  • Institut de Recherche en Informatique de Toulouse (IRIT)
  • Equipe : MACAO

Argumentaire scientifique et description

Dans cette thèse nous souhaitons explorer les nouvelles méthodes d’ingénierie des exigences dirigées par les modèles (IDM) dans le contexte des systèmes complexes (temps réel, embarqués, critiques, ambiants). Le développement des technique d’IDM ont adressés jusqu’à présent principalement le domaine de l’analyse et de la conception. En ingénierie système se posent un certain nombre de verrous importants pour lesquels les techniques d’IDM pourraient apporter des solutions :

  • traçabilité des exigences
  • analyse et organisation des exigences
  • bibliothèques de patrons d’exigences
  • suivit des exigences multi-fournisseurs, multi-niveaux
  • … ?

Fort d’une première thèse sur l’utilisation des techniques RELAX/KAOS/SysML pour l’ingénierie des systèmes ambiants adaptatifs, nou souhaitons poursuivre les travaux en y intégrant une dimension méthodologique.

Contexte

Nous espérons pouvoir financer cette thèse avec plusieurs sources de financement possibles (voir complémentaires) :

Le financement d’un stage de Master Recherche, pour préparer le terrain, est assuré par la société Phoenix Integration.

Références

  • Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling. Manzoor Ahmad, Jean-Michel Bruel, Régine Laleau and Christophe Gnaho. 3rd Int. Conf. on Ambient Systems, Networks and Technologies (ANT) proceedings. Elsevier, Vol 10, p. 474-481, 2012.
  • RELAX : A Language to Address Uncertainty in Self-Adaptive Systems Requirements. Jon Whittle, Pete Sawyer, Nelly Bencomo, Betty H. C. Cheng and Jean-Michel Bruel. Requirements Journal, Springer-Verlag, 2010, Volume 15, Number 2, Pages 177–196.