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 dutiliser les services de luniversité de façon plus dynamique. Ceci peut être réalisé grâce à linfrastructure de réseau sans fil de luniversité, avec ses 44 points daccè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 linformation doivent être fournis aux utilisateurs de manière automatique qui dépende de la date et de lheure, de la position de lutilisateur et de son statut (étudiant, professeur,…) Alors que les utilisateurs se déplacent dans laire de luniversité, ils traversent certaines « zones », et reçoivent automatiquement des informations et des applications sur leurs machines. La machine de lutilisateur calcule sa position à partir de signaux reçus des points daccès sans fil qui lentourent. 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 lheure et du type dutilisateur 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 quicones dans une fenêtre. En cliquant sur ces icônes, lutilisateur pourra exécuter lapplication 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 lutilisateur 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 daccès qui lentourent et de les envoyer à lAPE; en fonction de leur force, lAPE 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 lemploi du temps du jour sur le palm. 10h00, salle de classe: En entrant dans la salle, les étudiants obtiennent le devoir à faire du jour. Lenseignant 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 DInformatique, 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 dun étudiant, quil était clairement une bonne façon de fournir linformation, et quil devrait être étendu à toute luniversité. 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 linformation sera toujours atteignable par un simple clic. Les chercheurs dans le domaine de la modélisa- tion dapplications 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 à luniversité 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