Design framework for reliable and environment aware management of smart environment devices
Tóm tắt
A smart environment is equipped with numerous devices (i.e., sensors, actuators) that are possibly distributed over different locations (e.g., rooms of a smart building). These devices are automatically controlled to achieve different objectives related, for instance, to comfort, security and energy savings. Controlling smart environment devices is not an easy task. This is due to: the heterogeneity of devices, the inconsistencies that can result from communication errors or devices failure, and the conflicting decisions including those caused by environment dependencies. This paper proposes a design framework for the reliable and environment aware management of smart environment devices. The framework is based on the combination of the rule based middleware LINC and the automata based language Heptagon/BZR (H/BZR). It consists of: an abstraction layer for the heterogeneity of devices, a transactional execution mechanism to avoid inconsistencies and a controller that, based on a generic model of the environment, makes appropriate decisions and avoids conflicts. A case study with concrete devices, in the field of building automation, is presented to illustrate the framework.
Tài liệu tham khảo
Cano J, Delaval G, Rutten E. Coordination of ECA rules by verification and control. In: International Conference on Coordination Languages and Models. Berlin: Springer: 2014. p. 33–48.
Bonhomme S, Campo E, Esteve D, Guennec J. Methodology and tools for the design and verification of a smart management system for home comfort. In: Intelligent Systems, 2008. IS’08. 4th International IEEE Conference. vol. 3. Varna: IEEE: 2008. p. 24–2.
Corno F, Sanaullah M. Modeling and formal verification of smart environments. Secur Commun Netw. 2014; 7(10):1582–98.
Augusto JC, Hornos MJ. Software simulation and verification to increase the reliability of intelligent environments. Adv Eng Softw. 2013; 58:18–34.
Nacci AA, Balaji B, Spoletini P, Gupta R, Sciuto D, Agarwal Y. Buildingrules: a trigger-action based system to manage complex commercial buildings. In: Adjunct Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers. New York: ACM: 2015. p. 381–384.
Sun Y, Wang X, Luo H, Li X. Conflict detection scheme based on formal rule model for smart building systems. IEEE Trans Human-Machine Syst. 2015; 45(2):215–27.
Magill E, Blum J. Exploring conflicts in rule-based sensor networks. Pervasive Mob Comput. 2016; 27:133–54.
Vannucchi C, Diamanti M, Mazzante G, et al.Symbolic verification of event–condition–action rules in intelligent environments. J Reliab Intell Environ. 2017; 3(2):1–14.
Le Guilly T, Nielsen MK, Pedersen T, et al.User constraints for reliable user-defined smart home scenarios. J Reliab Intell Environ. 2016; 2(2):75–91.
Le Guilly T, Smedegård JH, Pedersen T, Skou A. To do and not to do: constrained scenarios for safe smart house. In: Intelligent Environments (IE), 2015 International Conference on. Prague: IEEE: 2015. p. 17–24.
Maternaghan C, Turner KJ. Policy conflicts in home automation. Comput Netw. 2013; 57(12):2429–41.
Liang CM, Karlsson BF, et al. SIFT: building an internet of safe things. In: Proceedings of the 14th International Conference on Information Processing in Sensor Networks. New York: ACM: 2015. p. 298–309.
Sylla AN, Louvel M, Pacull F. Coordination Rules Generation from Coloured Petri Net Models. In: Proceedings of the Int. Workshop on Petri Nets and Software Engineering (PNSE’15). Brussels: Daniel Moldt and al.: 2015. p. 325–326.
Augusto JC, Hornos MJ. Using Simulation and Verification to Inform the Development of Intelligent Environments. In: Intelligent Environments (Workshops). Guanajuato: IOS Press: 2012. p. 413–424.
Corno F, Sanaullah M. Formal verification of device state chart models. In: Intelligent Environments (IE), 2011 7th International Conference on. Nottingham: IEEE: 2011. p. 66–73.
Shehata M, Eberlein An, Fapojuwo A. Using semi-formal methods for detecting interactions among smart homes policies. Sci Comput Program. 2007; 67(2–3):125–61.
Louvel M, Pacull F. Linc: A compact yet powerful coordination environment. In: Coordination Models and Languages. Berlin: Springer: 2014. p. 83–98.
Delaval G, Rutten É, Marchand H. Integrating discrete controller synthesis into a reactive programming language compiler. Discret Event Dyn Syst. 2013; 23(4):385–418.
Kephart JO, Chess DM. The vision of autonomic computing. Computer. 2003; 36(1):41–50.
Pacull F, Ducreux LF, Thior S, et al. Self-organisation for building automation systems: Middleware linc as an integration tool. In: Industrial Electronics Society, IECON 2013-39th Annual Conference of the IEEE. Vienna: IEEE: 2013. p. 7726–7732.
Ducreux LF, Guyon-Gardeux C, et al. Resource-based middleware in the context of heterogeneous building automation systems. In: IECON 2012-38th Annual Conference on IEEE Industrial Electronics Society. Montreal: IEEE: 2012. p. 4847–4852.
Ducreux LF, Louvel M, et al.Dynamic Reconfiguration of Building Automation Systems with LINC. Sensors Transducers. 2015; 185(2):68.
Iris H, Pacull F. Smart sensors and actuators: A question of discipline. Sensors Transducers. 2013; 18(1):14.
Vergara-Gallego MI, Mokrenko O, et al. Implementation of an Energy Management Control Strategy for WSNs using the LINC Middleware. In: Proceedings of the 2016 International Conference on, Embedded Wireless Systems and Networks. Graz: Junction Publishing: 2016. p. 53–58.
Louvel M, Pacull F, Vergara-Gallego MI. Reliable control through wireless networks. In: Industrial Electronics Society, IECON 2016-42nd Annual Conference of the IEEE. IEEE: 2016. p. 4922–4927.
Carriero N, Gelernter D. Linda in context. Commun ACM. 1989; 32(4):444–58.
Cooper T. Rule-based programming under OPS5. vol. 988. USA: Morgan Kaufmann Publishers Inc.; 1988.
Bernstein PA, Hadzilacos V, Goodman N. Concurrency control and recovery in database systems. vol. 370. Addison-wesley New York; 1987.
Sylla AN, Louvel M, Rutten É. Combining Transactional and Behavioural Reliability in Adaptive Middleware. In: Proceedings of the 15th International Workshop on Adaptive and Reflective Middleware. New York: ACM: 2016. p. 5.
Bourcier J, Diaconescu A, Lalanda P, McCann JA. Autohome: An autonomic management framework for pervasive home applications. ACM Trans Auton Adapt Syst. 2011; 6(1):8.
Cetina C, Giner P, Fons J, Pelechano V. Autonomic computing through reuse of variability models at runtime: The case of smart homes. Computer. 2009; 42(10).
Seiger R, Huber S, Heisig P, Assmann U. Enabling Self-adaptive Workflows for Cyber-physical Systems. In: International Workshop on Business Process Modeling, Development and Support. Ljubljana: Springer: 2016. p. 3–17.
Warriach EU, Ozcelebi T, Lukkien JJ. Self-* Properties in Smart Environments: Requirements and Performance Metrics. In: Intelligent Environments (Workshops). Shanghai: IOS Press: 2014. p. 194–205.
Delaval G, Gueye SM, et al. Modular coordination of multiple autonomic managers. In: Proceedings of the 17th int. ACM Sigsoft symposium on Component-based software engineering. New York: ACM: 2014. p. 3–12.
Plugwise. Plugwise Circle. https://www.plugwise.com/circle/. Accessed 10 Nov 2017.
EnOcean. EnOcean Switch. https://www.enocean.com/en/enocean_modules/ptm-210/. Accessed 10 Nov 2017.
Sylla AN, Louvel M, Rutten E, Delaval G. Design Framework for Reliable Multiple Autonomic Loops in Smart Environments. In: 2017 IEEE International Conference on, Cloud and Autonomic Computing (ICCAC). Tucson, AZ, United States: 2017. To appear. Available from:https://hal-cea.archives-ouvertes.fr/cea-01570026. Accessed 10 Nov 2017.
Ur B, McManus E, Pak Yong Ho M, Littman ML. Practical trigger-action programming in the smart home. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. New York: ACM: 2014. p. 803–812.
Pedersen T, Le Guilly T, et al. A method for model checking feature interactions. In: Software Technologies (ICSOFT) 2015 10th International, Joint Conference on. vol. 1. Colmar: IEEE: 2015. p. 1–10.
Nakamura M, Ikegami K, Matsumoto S. Considering impacts and requirements for better understanding of environment interactions in home network services. Comput Netw. 2013; 57(12):2442–53.
Seiger R, Huber S, Schlegel T. Toward an execution system for self-healing workflows in cyber-physical systems. Softw Syst Model. 2016;1–22.
Shankar CS, Ranganathan A, Campbell R. An ECA-P policy-based framework for managing ubiquitous computing environments. In: Mobile and Ubiquitous Systems: Networking and Services, 2005. The Second Annual International Conference on. San Diego: IEEE: 2005. p. 33–42.
Preuveneers D, Berbers Y. Consistency in context-aware behavior: a model checking approach. In: Workshop Proceedings of the 8th International Conference on Intelligent Environments. vol. 13. Guanajuato: IOS Press: 2012. p. 401–412.
Preuveneers D, Joosen W. Semantic analysis and verification of context-driven adaptive applications in intelligent environments. J Reliab Intell Environ. 2016; 2(2):53–73.