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

Traitement automatique de missions de systèmes de systèmes (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 et/ou Salah Sadou
  • Encadrant : A définir
  • Lieu géographique : Vannes, Toulouse

Argumentaire scientifique et description

  • Domain Specific (Modeling) Languages (DSMLs)
  • Systems of Systems (SoS)
  • Expression des besoins dans un contexte sécurisé,
  • ...

Contexte

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

  • Réponse à un appel à bourse de la Maison de la Simulation
  • Appels régions transdisciplinaires
  • Appels trans-régions

Le financement d’un stage de Master Recherche, pour préparer le terrain, est assuré par l’équipe irisa-ArchWare.

Références

  • [IDM12] Ingénierie Dirigée par les Modèles : des concepts a la pratique. Jean-Marc Jézéquel, Benoît Combemale, Didier Vojtisek. Ellipses 2012.