Outils pour utilisateurs

Outils du site


recherche:projets:syncomp:meetings:meeting300415

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

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/meeting300415.txt · Dernière modification : 2015/04/30 13:07 de tigli