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
* Auteur correspondant
2 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe RAINBOW
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).
Type de document :
Communication dans un congrès
13th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, Nov 2016, Hiroshima, Japan. 2016, Proceeding of the 13th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services. 〈http://http://mobiquitous.org/2016/〉
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01362500
Contributeur : Stéphane Lavirotte <>
Soumis le : mardi 13 septembre 2016 - 11:05:27
Dernière modification le : jeudi 15 septembre 2016 - 01:04:56
Document(s) archivé(s) le : mercredi 14 décembre 2016 - 12:47:42

Fichier

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

Identifiants

  • 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. 2016, Proceeding of the 13th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services. 〈http://http://mobiquitous.org/2016/〉. 〈hal-01362500〉

Partager

Métriques

Consultations de la notice

95

Téléchargements de fichiers

71