Cet article aborde le problème de l’ordonnancement des actions portants sur les effecteurs d’un habitat intelligent. Le déclanchement de ces actions peut être demandé par les habitants ou des programmes gérant des automatismes. Nous montrons que ce problème est complexe et ne peut être résolu a priori car il dépend du contexte. Nous défendons l’idée que le problème doit être abordé sous l’angle d’un système d’exploitation dont le moteur d’ordonnancement pourrait être basé sur le langage CCBL (Cascading Contexts Based Language). CCBL est un langage de programmation pour utilisateur finaux de l’habitat. Il permet de coder des automatismes basés sur les appareils et services de l’habitat. Nous donnons plusieurs exemples de stratégies d’ordonnancement programmées avec CCBL et montrons que programmer de telles stratégies n’est pas fondamentalement différent que d’utiliser CCBL pour programmer des automatismes. Les compétences acquises sur l’une de ces tâches seront donc réutilisables sur l’autre.
The text is about the problem of the scheduling of the actions applied to the actuators of a smart home. These actions can be triggered either by inhabitants or by programs encoding automatisms. We show that this is a complex problem that cannot be solved a priori. On the contrary, it depends on the context. We defend the idea that this problem should be tackle from the angle of an operating system which scheduling engine would be based on CCBL (Cascading Contexts Based Language). CCBL is an end-user programming language for the smart home that enable inhabitants to programs automatisms based on devices and services. We provide several examples of scheduling strategies programmed with CCBL. We show using CCBL to program such strategies is not fundamentally different than programming mere automatisms. Hence, the skills acquired in one of the tasks will be reusable in the other.
Accepté le :
Publié le :
Keywords: Smart Home, DSL, CCBL, End User Programming, End User Development, scheduling
CC-BY 4.0
@article{ROIA_2023__4_1_53_0,
author = {Alexandre Demeure and Sybille Caffiau},
title = {Ordonnancement dans l{\textquoteright}habitat intelligent},
journal = {Revue Ouverte d'Intelligence Artificielle},
pages = {53--76},
publisher = {Association pour la diffusion de la recherche francophone en intelligence artificielle},
volume = {4},
number = {1},
year = {2023},
doi = {10.5802/roia.50},
language = {fr},
url = {https://roia.centre-mersenne.org/articles/10.5802/roia.50/}
}
TY - JOUR AU - Alexandre Demeure AU - Sybille Caffiau TI - Ordonnancement dans l’habitat intelligent JO - Revue Ouverte d'Intelligence Artificielle PY - 2023 SP - 53 EP - 76 VL - 4 IS - 1 PB - Association pour la diffusion de la recherche francophone en intelligence artificielle UR - https://roia.centre-mersenne.org/articles/10.5802/roia.50/ DO - 10.5802/roia.50 LA - fr ID - ROIA_2023__4_1_53_0 ER -
%0 Journal Article %A Alexandre Demeure %A Sybille Caffiau %T Ordonnancement dans l’habitat intelligent %J Revue Ouverte d'Intelligence Artificielle %D 2023 %P 53-76 %V 4 %N 1 %I Association pour la diffusion de la recherche francophone en intelligence artificielle %U https://roia.centre-mersenne.org/articles/10.5802/roia.50/ %R 10.5802/roia.50 %G fr %F ROIA_2023__4_1_53_0
Alexandre Demeure; Sybille Caffiau. Ordonnancement dans l’habitat intelligent. Revue Ouverte d'Intelligence Artificielle, Volume 4 (2023) no. 1, pp. 53-76. doi : 10.5802/roia.50. https://roia.centre-mersenne.org/articles/10.5802/roia.50/
[1] Maintaining knowledge about temporal intervals, Communications of the ACM, Volume 26 (1983) no. 11, pp. 832-843 | DOI | Zbl
[2] Human computer interaction in smart homes, 2009 (https://citeseerx.ist.psu.edu/documentrepid=rep1&type=pdf&doi=1f82bfc4dc59370fdb9463944e9c681a77fc579f)
[3] Intelligence without representation, Artificial intelligence, Volume 47 (1991) no. 1-3, pp. 139-159 | DOI
[4] Home automation in the wild : challenges and opportunities, proceedings of the SIGCHI Conference on Human Factors in Computing Systems (2011), pp. 2115-2124 | DOI
[5] 10, End-user development, The Interaction Design Foundation Aarhus (2011)
[6] Coordination of ECA rules by verification and control, International Conference on Coordination Languages and Models, Springer (2014), pp. 33-48 | DOI
[7] Early lessons from the development of SPOK, an end-user development environment for smart homes, Proceedings of the 2014 acm international joint conference on pervasive and ubiquitous computing : Adjunct publication (2014), pp. 895-902 | DOI
[8] A first-person experience with end-user development for smart homes, IEEE Pervasive Computing, Volume 15 (2016) no. 2, pp. 26-39 | DOI
[9] Principles of smart home control, International conference on ubiquitous computing, Springer Berlin Heidelberg (2006), pp. 19-34 | DOI
[10] Building and using home automation systems : a field study, International Symposium on End User Development, Springer International Publishing (2015), pp. 125-140 | DOI
[11] An operating system for the home, 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12) (2012), pp. 337-352
[12] The home needs an operating system (and an app store), Proceedings of the 9th ACM SIGCOMM Workshop on Hot Topics in Networks (2010), pp. 1-6
[13] Retour d’expérience sur KISS, un outil de développement d’habitat intelligent par l’utilisateur final, Proceedings of the 2012 Conference on Ergonomie et Interaction homme-machine (2012), pp. 153-160 | DOI
[14] Hybrid system to analyze user’s behaviour, 2016 IEEE Symposium Series on Computational Intelligence (SSCI), IEEE (2016), pp. 1-5 | DOI
[15] Supporting mental model accuracy in trigger-action programming, Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing (2015), pp. 215-225 | DOI
[16] Cascading style sheets : Designing for the web, Portable Documents, Addison-Wesley Professional, 2005
[17] Hacking the natural habitat : an in-the-wild study of smart homes, their development, and the people who live in them, International conference on pervasive computing, Springer Berlin Heidelberg (2012), pp. 143-160 | DOI
[18] From today’s augmented houses to tomorrow’s smart homes : new directions for home automation research, Proceedings of the 2014 ACM international joint conference on pervasive and ubiquitous computing (2014), pp. 105-115 | DOI
[19] Automatic trigger generation for rule-based smart homes, Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security (2016), pp. 97-102 | DOI
[20] Enabling self-learning in dynamic and open IoT environments, Procedia Computer Science, Volume 32 (2014), pp. 207-214 | DOI
[21] CCBL : A new language for End User Development in the Smart Homes, Proceedings of IS-EUD (2017), pp. 82-87
[22] CCBL : A language for better supporting context centered programming in the smart home, Proceedings of the ACM on Human-Computer Interaction, Volume 1 (2017) no. EICS, 14, 18 pages | DOI
[23] T4Tags 2.0 : A Tangible System for Supporting Users’ Needs in the Domestic Environment, Proceedings of the TEI’16 : Tenth International Conference on Tangible, Embedded, and Embodied Interaction (2016), pp. 38-43 | DOI
[24] A language for online state processing of binary sensors, applied to ambient assisted living, Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, Volume 2 (2018) no. 4, pp. 1-26 | DOI
[25] Learning from a learning thermostat : lessons for intelligent systems for the home, Proceedings of the 2013 ACM international joint conference on Pervasive and ubiquitous computing (2013), pp. 93-102 | DOI
Cité par Sources :