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 adaptatifs

Contact : Jean-Michel Bruel

Laboratoire IRIT — Thème 7 — Equipe MACAO

Direction et unité d’accueil

  • Directeur : Jean-Michel Bruel (Tel. 05.62.74.75.40)
  • Encadrant (à définir)
  • 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. Hors 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 qui se termine 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 (et complémentaires)

  • montage d’un projet FUI en cours avec des partenaires industriels comme EADS, Freescale ou SAFRAN
  • appels régions
  • financement CIFRE avec l’un des partenaires industriels

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.

Last updated 2012-12-04 18:01:03 CET