• 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.

• 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

Présentation Rutten Journée Robotique / GPL 12-14

CBSE 2014 Rutten

• 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 …