Skip to Main content Skip to Navigation
Conference papers

On the Behavioral Drift Estimation of Ubiquitous Computing Systems in Partially Known Environments

Gérald Rocher 1, * Jean-Yves Tigli 2 Stéphane Lavirotte 2
* Corresponding author
2 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe RAINBOW
Laboratoire I3S - SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
Abstract : Background. With the recent advent of the so-called connected objects, today largely present in our surroundings, software applications have an open door to the physical world through sensors and actuators. However, although it offers huge opportunities in many areas (e.g., smart-home, smart-cities, etc.. .), it poses a serious methodological challenge. Indeed, while classical software applications operate in the well known and delimited digital world, the so-called ambient applications operate in and through the physical world, open and subject to uncertainties that cannot be modeled accurately and entirely. These uncertainties lead the behavior of the ambient applications to potentially drift over time against requirements. In this paper, we propose a framework to estimate the behavioral drift of the ambient applications against requirements at runtime. Methodology. We rely on the Moore Finite State Machines (FSM) modeling framework to specify the ideal behavior an ambient application is supposed to meet, irrespective of the operating environment and the underlying software infrastructure. We then appeal on the control theory and propose a framework to transform the Moore FSM to its associated Continuous Density Hidden Markov Model (CD-HMM) state observer. By accounting for uncertainties through probabilities, it extends Moore FSM with viability zones, i.e. zones where the behavioral requirements of the ambient applications are acceptable. The observation of the execution of a concrete ambient application together with the statistical modeling framework underlying its associated state observer allow to compute the likelihood of an observation sequence to have been produced by the application. The likelihood then gives direct insight into the behavioral drift of the concrete application against requirements. Results. We validate our approach through a concrete use-case in the field of school lighting. The results demonstrate the soundness and efficiency of the proposed approach for estimating the behavioral drift of the ambient applications at runtime. In light of these results, one can envision using this estimation to support a decision-making algorithm (e.g., within a self-adaptive system).
Complete list of metadatas

Cited literature [26 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01362500
Contributor : Stéphane Lavirotte <>
Submitted on : Tuesday, September 13, 2016 - 11:05:27 AM
Last modification on : Tuesday, May 26, 2020 - 6:50:34 PM
Document(s) archivé(s) le : Wednesday, December 14, 2016 - 12:47:42 PM

File

publication.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01362500, version 1

Collections

Citation

Gérald Rocher, Jean-Yves Tigli, Stéphane Lavirotte. On the Behavioral Drift Estimation of Ubiquitous Computing Systems in Partially Known Environments. 13th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, Nov 2016, Hiroshima, Japan. ⟨hal-01362500⟩

Share

Metrics

Record views

230

Files downloads

263