Improving the Reliability of Pervasive Computing Applications By Continuous Checking of Sensor Readings

Adrien Carteron 1 Charles Consel 1, 2 Nic Volanschi 1
1 Phoenix - Programming Language Technology For Communication Services
LaBRI - Laboratoire Bordelais de Recherche en Informatique, Inria Bordeaux - Sud-Ouest, EA4136 - Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
Abstract : This paper shows that context-aware applications commonly make implicit assumptions about a sensor infrastructure. Because context-awareness critically relies on these assumptions, the developer typically need to ensure their validity by encoding them in the application code, polluting it with non-functional concerns. This defensive programming approach can be avoided by formulating these assumptions aside from the application, thus factorizing them as an explicit model of the sensor infrastructure. This model can be expressed as a set of rules and can be checked automatically and continuously to ensure the reliability of a sensor infrastructure, both at installation time and during normal functioning. The usefulness of our approach is demonstrated in the domain of assisted living for seniors. We applied it to sensor data collected in the context of a 9-month field study of an assisted living platform, deployed at the home of 24 seniors. We show that several kinds of sensor malfunctions could have been identified upon their occurrence, thanks for our continuous checking, and resolved.
Type de document :
Communication dans un congrès
IEEE International Conference on Ubiquitous Intelligence and Computing, Jul 2016, Toulouse, France
Liste complète des métadonnées


https://hal.inria.fr/hal-01319059
Contributeur : Adrien Carteron <>
Soumis le : mercredi 25 mai 2016 - 17:07:46
Dernière modification le : samedi 28 mai 2016 - 01:08:38
Document(s) archivé(s) le : vendredi 26 août 2016 - 11:03:34

Fichier

paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01319059, version 1

Collections

Citation

Adrien Carteron, Charles Consel, Nic Volanschi. Improving the Reliability of Pervasive Computing Applications By Continuous Checking of Sensor Readings. IEEE International Conference on Ubiquitous Intelligence and Computing, Jul 2016, Toulouse, France. <hal-01319059>

Partager

Métriques

Consultations de
la notice

271

Téléchargements du document

136