Skip to Main content Skip to Navigation
New interface
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download
Contributor : Adrien Carteron Connect in order to contact the contributor
Submitted on : Wednesday, May 25, 2016 - 5:07:46 PM
Last modification on : Saturday, June 25, 2022 - 7:46:15 PM
Long-term archiving on: : Friday, August 26, 2016 - 11:03:34 AM


Files produced by the author(s)


  • HAL Id : hal-01319059, version 1



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⟩



Record views


Files downloads