Visible to the public Design Framework for Reliable Multiple Autonomic Loops in Smart Environments

TitleDesign Framework for Reliable Multiple Autonomic Loops in Smart Environments
Publication TypeConference Paper
Year of Publication2017
AuthorsSylla, A. N., Louvel, M., Rutten, E., Delaval, G.
Conference Name2017 International Conference on Cloud and Autonomic Computing (ICCAC)
Date PublishedSept. 2017
ISBN Number978-1-5386-1939-1
Keywordsabstraction framework PUTUTU, abstraction layer, actuators, Adaptive systems, automata theory, automata-based controller, Autonomic Security, Building automation, building management systems, control engineering computing, control systems, loops adaptation, loops composition, Mathematical model, Metrics, middleware, Multiple loops, pubcrawl, reactive language Heptagon/BZR, reliability, Reliability engineering, reliable multiple autonomic loops, reliable self-adaptive systems, Resiliency, Scalability, self-adjusting systems, Sensors, smart environments, Switches, transactional execution mechanism, transactional middleware LINC

Today's control systems such as smart environments have the ability to adapt to their environment in order to achieve a set of objectives (e.g., comfort, security and energy savings). This is done by changing their behaviour upon the occurrence of specific events. Building such a system requires to design and implement autonomic loops that collect events and measurements, make decisions and execute the corresponding actions.The design and the implementation of such loops are made difficult by several factors: the complexity of systems with multiple objectives, the risk of conflicting decisions between multiple loops, the inconsistencies that can result from communication errors and hardware failures and the heterogeneity of the devices.In this paper, we propose a design framework for reliable and self-adaptive systems, where multiple autonomic loops can be composed into complex managers, and we consider its application to smart environments. We build upon the proposed framework a generic autonomic loop which combines an automata-based controller that makes correct and coherent decisions, a transactional execution mechanism that avoids inconsistencies, and an abstraction layer that hides the heterogeneity of the devices.We propose patterns for composition of such loops, in parallel, coordinated, and hierarchically, with benefits from the leveraging of automata-based modular constructs, that provides for guarantees on the correct behaviour of the controlled system. We implement our framework with the transactional middleware LINC, the reactive language Heptagon/BZR and the abstraction framework PUTUTU. A case study in the field of building automation is presented to illustrate the proposed framework.

Citation Keysylla_design_2017