Probabilistic Models Towards Controlling Smart-* Environments

Abstract : Today, a growing amount of physical objects in our surroundings are connected to the Internet and provide the digital world with an interface to the physical world through sensors and actuators. At the heart of this trend, smart-* systems and applications leverage this interface to smartly and seamlessly assist individuals in their everyday lives. However, when interacting with the physical world by means of actuators, these applications introduce a methodological disruption. Indeed, as opposed to the classical distributed software applications operating in the bounded and predictable digital world, these applications operate in and through the physical world, open and subject to uncertainties that cannot be modeled accurately. These uncertainties lead the behavior of the applications to potentially drift at runtime, compromising their intrinsic functionality. In this paper, we propose a framework to estimate the behavioral drift of smart-* systems and applications at runtime. To this end, we first rely on the Moore Finite State Machine (FSM) modeling framework. This framework is used for specifying the ideal behavior of a smart-* application in terms of the effects it is expected to produce within the physical environment as it executes. We then appeal on the control theory and propose a framework for projecting the Moore FSM to its associated Continuous Density Input/Output Hidden Markov Model (CDIOHMM) state observer. By accounting for uncertainties through probabilities, it extends Moore FSM with viability zones, i.e. zones where the effects of a smart-* application within the physical environment are satisfactory without necessarily being perfect. At runtime, the CD-IOHMM state observer allows to compute the probability of the observed effects, i.e. it gives direct insight into the behavioral drift of the concrete application. We validate our approach on a real dataset. The results demonstrate the soundness and efficiency of the proposed approach at estimating the behavioral drift of smart-* applications at runtime. In view of these results, one can envision to use this estimation for supporting a decision-making algorithm (e.g., within a selfadaptive system).
Type de document :
Article dans une revue
IEEE Access, 2017, pp.1 - 15. 〈10.1109/ACCESS.2017.2716105〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01515088
Contributeur : Gérald Rocher <>
Soumis le : jeudi 13 juillet 2017 - 13:33:12
Dernière modification le : mardi 18 juillet 2017 - 01:12:34

Fichier

pre-print.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Gérald Rocher, Jean-Yves Tigli, Stéphane Lavirotte. Probabilistic Models Towards Controlling Smart-* Environments. IEEE Access, 2017, pp.1 - 15. 〈10.1109/ACCESS.2017.2716105〉. 〈hal-01515088v2〉

Partager

Métriques

Consultations de la notice

65

Téléchargements de fichiers

50