D. Buchs, A. Chen, D. Hurzeler, L. Lúcio, L. Pedro, M. Risoldi Software Modeling and Verification...
1
D. Buchs, A. Chen, D. Hurzeler, L. Lúcio, L. Pedro, M. Risoldi Software Modeling and Verification gro Applications Discovered = Appear Save or Discard = Dis-Appear No Coverage = No Applications Download, Install, Use = Click & Run™ Wi-Fi Network Nous voulons utiliser la technologie de réseau sans fil pour permettre aux utilisateurs de suivre les cours et d’utiliser les services de l’université de façon plus dynamique. Ceci peut être réalisé grâce à l’infrastructure de réseau sans fil de l’université, avec ses 44 points d’accès (amenés à être augmentés) dans 4 batiments, et fournissant aux utilisateurs des logiciels utilisables sur leurs machines portables (ordinateurs portables, palms). Les services et l’information doivent être fournis aux utilisateurs de manière automatique qui dépende de la date et de l’heure, de la position de l’utilisateur et de son statut (étudiant, professeur,…) Alors que les utilisateurs se déplacent dans l’aire de l’université, ils traversent certaines « zones », et reçoivent automatiquement des informations et des applications sur leurs machines. La machine de l’utilisateur calcule sa position à partir de signaux reçus des points d’accès sans fil qui l’entourent. Grâce à un logiciel de Appear Networks, le Appear Positioning Engine (APE), elle peut comprendre dans quelle zone elle se trouve, et communiquer cette information au serveur. A partir de la position, de l’heure et du type d’utilisateur et de machine, le Appear Provisioning Server (APS) envoie les informations disponibles à la machine. Ces informations peuvent être de plusieurs types: applications, pages web, transparents, documents... Elles seront affichées sur la machine en tant qu’icones dans une fenêtre. En cliquant sur ces icônes, l’utilisateur pourra exécuter l’application ou consulter le document. Physics Pic Database Materiel du course Physics Lesson 14 Wireless networks La distribution des informations se fait à travers des requêtes HTML GET envoyées du logiciel client au serveur. Le codage et la sécurité sont disponibles en utilisant la technologie SSL, comme pour les navigateurs normaux. La position de l’utilisateur est calculée à partir de la force des signaux. Un logiciel executé sur la machine client est perpetuellement en train de rassembler les signaux de tous les points d’accès qui l’entourent et de les envoyer à l’APE; en fonction de leur force, l’APE peut déduire la position de la machine avec une précision de 2 mètres. 9h00, caféteria: Le bon moment pour voir les nouvelles en ligne et vérifier l’emploi du temps du jour sur le palm. 10h00, salle de classe: En entrant dans la salle, les étudiants obtiennent le devoir à faire du jour. L’enseignant reçoit aussi les solutions sur sa machine. 15h00, salle d’étude: Tout le support de cours des dernières semaines est disponible aux étudiants sur leur ordinateur portable dans cette salle. Au Centre Universitaire D’Informatique, nous avons fait une expérience avec nos étu- diants, en leur fournissant les machines et en leur apprenant comment utiliser le système. Les réactions des étudiants ont été très positives, et la plupart ont convenu que ce système pouvait améliorer la vie d’un étudiant, qu’il était clairement une bonne façon de fournir l’information, et qu’il devrait être étendu à toute l’université. Dans le futur, cette façon de travailler peut progressivement éliminer la nécessité de porter avec soi livres et transparents. Les étudiants et le personnel seront équipés de machines portables, et l’information sera toujours atteignable par un simple clic. Les chercheurs dans le domaine de la modélisa-tion d’applications mobiles ont maintenant à disposition une platforme sur laquelle construire leurs prototypes pour étudier la satisfiabilité et les applications possibles de leur travaux théoriques. Une journée à l’université sans fil Projet NOMAD: une université sans fil Le problème Le système Notre expérience: créer une université sans fil APE/APS Utilisateur position Information (x1,y1,z1) (x2,y2,z2) Location specific Time specific Device & user specific
-
Upload
zoe-thevenin -
Category
Documents
-
view
111 -
download
0
Transcript of D. Buchs, A. Chen, D. Hurzeler, L. Lúcio, L. Pedro, M. Risoldi Software Modeling and Verification...
D. Buchs, A. Chen, D. Hurzeler, L. Lúcio, L. Pedro, M. Risoldi
Software Modeling and Verification group
Applications Discovered
= Appear
Save or Discard
= Dis-Appear
No Coverage
= No Applications
Download, Install, Use
= Click & Run™
Wi-Fi Network
Nous voulons utiliser la technologie de réseau sans fil pour permettre aux utilisateurs de suivre les cours et d’utiliser les services de l’université de façon plus dynamique.
Ceci peut être réalisé grâce à l’infrastructure de réseau sans fil de l’université, avec ses 44 points d’accès (amenés à être augmentés) dans 4 batiments, et fournissant aux utilisateurs des logiciels utilisables sur leurs machines portables (ordinateurs portables, palms).
Les services et l’information doivent être fournis aux utilisateurs de manière automatique qui dépende de la date et de l’heure, de la position de l’utilisateur et de son statut (étudiant, professeur,…)
Alors que les utilisateurs se déplacent dans l’aire de
l’université, ils traversent certaines « zones », et
reçoivent automatiquement des informations et des
applications sur leurs machines.
La machine de l’utilisateur calcule sa position à partir de signaux reçus des points d’accès sans fil qui l’entourent. Grâce à un logiciel de Appear Networks, le Appear Positioning Engine (APE), elle peut comprendre dans quelle zone elle se trouve, et communiquer cette information au serveur.
A partir de la position, de l’heure et du type d’utilisateur et de machine, le Appear Provisioning Server (APS) envoie les informations disponibles à la machine.
Ces informations peuvent être de plusieurs types: applications, pages web, transparents, documents... Elles seront affichées sur la machine en tant qu’icones dans une fenêtre. En cliquant sur ces icônes, l’utilisateur pourra exécuter l’application ou consulter le document.
Physics
Pic Database
Materiel ducourse
Physics
Lesson 14
Wireless networks
La distribution des informations se fait à travers des requêtes HTML GET envoyées du logiciel client au serveur. Le codage et la sécurité sont disponibles en utilisant la technologie SSL, comme pour les navigateurs normaux.
La position de l’utilisateur est calculée à partir de la force des signaux. Un logiciel executé sur la machine client est perpetuellement en train de rassembler les signaux de tous les points d’accès qui l’entourent et de les envoyer à l’APE; en fonction de leur force, l’APE peut déduire la position de la machine avec une précision de 2 mètres.
9h00, caféteria:Le bon moment pour voir les nouvelles en ligne et vérifier l’emploi du temps du jour sur le palm.
10h00, salle de classe:En entrant dans la salle, les étudiants obtiennent le devoir à faire du jour. L’enseignant reçoit aussi les solutions sur sa machine.
15h00, salle d’étude:Tout le support de cours des dernières semaines est disponible aux étudiants sur leur ordinateur portable dans cette salle.
Au Centre Universitaire D’Informatique,nous avons fait une expérienceavec nos étu-diants, en leur fournissant les machines et en leur apprenant comment utiliser le système. Les réactions des étudiants ont été très positives, et la plupart ont convenu que ce système pouvait améliorer la vie d’un étudiant, qu’il était clairement une bonne façon de fournir l’information, et qu’il devrait être étendu à toute l’université.
Dans le futur, cette façon de travailler peut progressivement éliminer la nécessité de porter avec soi livres et transparents. Les étudiants et le personnel seront équipés de machines portables, et l’information sera toujours atteignable par un simple clic.
Les chercheurs dans le domaine de la modélisa-tion d’applications mobiles ont maintenant à disposition une platforme sur laquelle construire leurs prototypes pour étudier la satisfiabilité et les applications possibles de leur travaux théoriques.
Une journée à l’université
sans fil
Projet NOMAD: une université sans fil
Le problème Le système
Notre expérience: créer une université sans fil
APE/APS
Utilisateur
position
Information
(x1,y1,z1)
(x2,y2,z2)
Locationspecific
Timespecific
Device & userspecific
![Multi-tissue RNA-seq and transcriptome …...where squalamine, a compound discovered in the liver of this shark species with antimicrobial activity [31, 32] has been more recently](https://static.fdocuments.fr/doc/165x107/5e665011985b9a59ee449497/multi-tissue-rna-seq-and-transcriptome-where-squalamine-a-compound-discovered.jpg)
![eFile Scanner Printing - Hyperhidrosis 2002 - Botulinum toxin from poison to... · the first World War, Tchitclmkine 17] discovered that the toxin of C. botulinum acts as a For a](https://static.fdocuments.fr/doc/165x107/601d9581f6566030f36eaa78/efile-scanner-printing-hyperhidrosis-2002-botulinum-toxin-from-poison-to.jpg)
