Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Thèse:   
Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications

Date 2011-03-17  13:30-18:00
TitreLeveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications 
RésuméNombre d'applications ont pour comportement principal l'attente d'un événement venant d'un environnement extérieur, la préparation d'un résultat et l'exécution d'actions sur cet environnement. Les interfaces graphiques et les systèmes avioniques en sont des exemples. Le paradigme SCC, pour sense-compute-control, est particulièrement adapté à la description de ces applications. Le développement d'applications suivant ce paradigme est complexe à cause du manque de cadre conceptuel et d'outils de support. Cette thèse propose un cadre conceptuel dédié au paradigme SCC et se concrétise par un langage de description d'architectures. À partir d'une description dans ce langage, un framework de programmation peut être généré. Il guide l'implémentation d'une application grâce à un support dédié et vérifie que cette implémentation est conforme à l'architecture décrite. Les contributions de cette thèse sont évaluées suivant des critères d'expressivité, d'utilisabilité et de productivité. 
LieuAmphithéatre du LaBRI 
LaboratoireLaBRI 
DoctorantDamien Cassou 
Directeur de thèseCharles Consel 
LangueEnglish 
Urlhttp://phoenix.inria.fr/ 



1 document lié:
  Thèse en français


Retour
Retour à l'index