===== Meeting 300415 =====

==== PLAN  ==== 

=== Production de l'automate de la Thing ===

  * Modèle de l'environnement est exprimé dans un automate. (salon/ salle à manger) = séjour 
    * salon allumé = petite lumière dans SaM et vice versa    
  * Modèle des devices avec pour entrée les commandes (ex. trig1.on)  et en sortie les états du device (ex light1.on ...)
  * Modèle d'interaction entre devices et environnement : (ex. light1.on => room1.light), Quel langage ?

  * Le modèle de la thing est le produit de tout ses automates. 

=== Modélisation des accès concurrents à une Thing T ===

  * Une App_ij de Type_j peut accéder à T en y associant des contraintes exprimées en fonction de son Type_j, des autres Types_k d'App_ik, des opérateurs comme des quantifieurs quelquesoit / il existe / et les entrées des dispositifs et les états de l'environnement.
  * Exemple : App_grande_lumière donne pour contrainte 
    * Salon allumé & SaM allumée 


==== Références à lire ====

{{:recherche:projets:syncomp:meetings:ericrutten-gtcargdrrobotique-2014-12-01.pdf|Présentation Rutten Journée Robotique / GPL 12-14}}

{{:recherche:projets:syncomp:meetings:cbse291-gueye.pdf| CBSE 2014 Rutten}}

==== TODO ==== 

  * Envoi du template et première rédac "partie langage" par Annie
  * Faire le plan grossier pour le 4/05 
  * Annie prend la main semaine du 4/5
  * JY et Steph la semaine suivante 
  * Finalisation le 18,19,20 ... 

==== Board de la réunion ====

{{:recherche:projets:syncomp:meetings:board300415.jpg?500|}}