Outils pour utilisateurs

Outils du site


Panneau latéral

Accueil

Select other language :


Apprentissage

Enseignements

Enseignements Département Informatique SI5 et Master IFI

Enseignements Département Bâtiment Polytech'Nice

Autres Formations française et étrangère

Activités administratives, Ingénierie et Innovation Pédagogiques

Apprentissage Département Informatique SI5/Master 2 ingénierie informatique EUR DS4H


Recherche

Valorisation de la Recherche

Dépôts Logiciels à l’Agence de Protection des Programme (APP)

Valorisation des résultats de recherche et transfert

Diffusion de la Culture scientifique et Technologique

Communications de presse

Séminaire ENSI Tunis

Pédagogie Innovante

Relations industrielles et socio-économique

Organisation de Manifestations

  • Conférence sur les FabLabs, Alexandre Schneider, Professeur Agrégé en Génie Mécanique, Université de Reims Champagne-Ardenne Web
  • Journées UbiMob'14 Site Web

Animation de la Recherche

U-Santé

Privé

Outils

Sources d'Informations

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 15:07 par tigli