Service Reconfiguration in the DANAH Assistive System

Similar documents
Natural Language Based User Interface for On-Demand Service Composition

Blind Browsing on Hand-Held Devices: Touching the Web... to Understand it Better

Setup of epiphytic assistance systems with SEPIA

Comparison of spatial indexes

BoxPlot++ Zeina Azmeh, Fady Hamoui, Marianne Huchard. To cite this version: HAL Id: lirmm

Multimedia CTI Services for Telecommunication Systems

Catalogue of architectural patterns characterized by constraint components, Version 1.0

KeyGlasses : Semi-transparent keys to optimize text input on virtual keyboard

Linux: Understanding Process-Level Power Consumption

Study on Feebly Open Set with Respect to an Ideal Topological Spaces

Fault-Tolerant Storage Servers for the Databases of Redundant Web Servers in a Computing Grid

Mokka, main guidelines and future

QuickRanking: Fast Algorithm For Sorting And Ranking Data

LaHC at CLEF 2015 SBS Lab

Experimental Evaluation of an IEC Station Bus Communication Reliability

Reverse-engineering of UML 2.0 Sequence Diagrams from Execution Traces

Very Tight Coupling between LTE and WiFi: a Practical Analysis

An FCA Framework for Knowledge Discovery in SPARQL Query Answers

lambda-min Decoding Algorithm of Regular and Irregular LDPC Codes

DANCer: Dynamic Attributed Network with Community Structure Generator

Generic Design Space Exploration for Reconfigurable Architectures

Every 3-connected, essentially 11-connected line graph is hamiltonian

Comparator: A Tool for Quantifying Behavioural Compatibility

Modularity for Java and How OSGi Can Help

How to simulate a volume-controlled flooding with mathematical morphology operators?

Moveability and Collision Analysis for Fully-Parallel Manipulators

Relabeling nodes according to the structure of the graph

NP versus PSPACE. Frank Vega. To cite this version: HAL Id: hal

Malware models for network and service management

The Connectivity Order of Links

A Voronoi-Based Hybrid Meshing Method

Tacked Link List - An Improved Linked List for Advance Resource Reservation

Open Digital Forms. Hiep Le, Thomas Rebele, Fabian Suchanek. HAL Id: hal

X-Kaapi C programming interface

SIM-Mee - Mobilizing your social network

Linked data from your pocket: The Android RDFContentProvider

Scalewelis: a Scalable Query-based Faceted Search System on Top of SPARQL Endpoints

HySCaS: Hybrid Stereoscopic Calibration Software

Simulations of VANET Scenarios with OPNET and SUMO

UsiXML Extension for Awareness Support

Fuzzy sensor for the perception of colour

Comparison of radiosity and ray-tracing methods for coupled rooms

The optimal routing of augmented cubes.

Assisted Policy Management for SPARQL Endpoints Access Control

IntroClassJava: A Benchmark of 297 Small and Buggy Java Programs

Representation of Finite Games as Network Congestion Games

An SCA-Based Middleware Platform for Mobile Devices

MUTE: A Peer-to-Peer Web-based Real-time Collaborative Editor

Real-Time and Resilient Intrusion Detection: A Flow-Based Approach

Syrtis: New Perspectives for Semantic Web Adoption

Deformetrica: a software for statistical analysis of anatomical shapes

Teaching Encapsulation and Modularity in Object-Oriented Languages with Access Graphs

Framework for Hierarchical and Distributed Smart Grid Management

Branch-and-price algorithms for the Bi-Objective Vehicle Routing Problem with Time Windows

Change Detection System for the Maintenance of Automated Testing

YANG-Based Configuration Modeling - The SecSIP IPS Case Study

QAKiS: an Open Domain QA System based on Relational Patterns

FIT IoT-LAB: The Largest IoT Open Experimental Testbed

Mapping classifications and linking related classes through SciGator, a DDC-based browsing library interface

Multi-atlas labeling with population-specific template and non-local patch-based label fusion

Traffic Grooming in Bidirectional WDM Ring Networks

Sliding HyperLogLog: Estimating cardinality in a data stream

Implementing an Automatic Functional Test Pattern Generation for Mixed-Signal Boards in a Maintenance Context

From medical imaging to numerical simulations

YAM++ : A multi-strategy based approach for Ontology matching task

Type Feedback for Bytecode Interpreters

Regularization parameter estimation for non-negative hyperspectral image deconvolution:supplementary material

Hardware Acceleration for Measurements in 100 Gb/s Networks

Taking Benefit from the User Density in Large Cities for Delivering SMS

GDS Resource Record: Generalization of the Delegation Signer Model

Application of RMAN Backup Technology in the Agricultural Products Wholesale Market System

A 64-Kbytes ITTAGE indirect branch predictor

A Practical Evaluation Method of Network Traffic Load for Capacity Planning

DSM GENERATION FROM STEREOSCOPIC IMAGERY FOR DAMAGE MAPPING, APPLICATION ON THE TOHOKU TSUNAMI

Stream Ciphers: A Practical Solution for Efficient Homomorphic-Ciphertext Compression

Prototype Selection Methods for On-line HWR

Real-time FEM based control of soft surgical robots

OA-DVFA: A Distributed Virtual Forces-based Algorithm to Monitor an Area with Unknown Obstacles

XML Document Classification using SVM

MARTE based design approach for targeting Reconfigurable Architectures

Generative Programming from a Domain-Specific Language Viewpoint

Hierarchical Multi-Views Software Architecture

The New Territory of Lightweight Security in a Cloud Computing Environment

Formal modelling of ontologies within Event-B

A Resource Discovery Algorithm in Mobile Grid Computing based on IP-paging Scheme

The Proportional Colouring Problem: Optimizing Buffers in Radio Mesh Networks

Zigbee Wireless Sensor Network Nodes Deployment Strategy for Digital Agricultural Data Acquisition

BugMaps-Granger: A Tool for Causality Analysis between Source Code Metrics and Bugs

FStream: a decentralized and social music streamer

A N-dimensional Stochastic Control Algorithm for Electricity Asset Management on PC cluster and Blue Gene Supercomputer

Monitoring Air Quality in Korea s Metropolises on Ultra-High Resolution Wall-Sized Displays

Complexity Comparison of Non-Binary LDPC Decoders

Emerging and scripted roles in computer-supported collaborative learning

Using a Medical Thesaurus to Predict Query Difficulty

Spectral Active Clustering of Remote Sensing Images

THE COVERING OF ANCHORED RECTANGLES UP TO FIVE POINTS

Learning a Representation of a Believable Virtual Character s Environment with an Imitation Algorithm

A case-based reasoning approach for unknown class invoice processing

A Methodology for Improving Software Design Lifecycle in Embedded Control Systems

SDLS: a Matlab package for solving conic least-squares problems

Transcription:

Service Reconfiguration in the DANAH Assistive System Said Lankri, Pascal Berruet, Jean-Luc Philippe To cite this version: Said Lankri, Pascal Berruet, Jean-Luc Philippe. Service Reconfiguration in the DANAH Assistive System. International Conference on Smart Homes and Health Telematics, Jul 2009, Tours, France. 5597, non encore disponible, 2009. <hal-00380377> HAL Id: hal-00380377 https://hal.archives-ouvertes.fr/hal-00380377 Submitted on 30 Apr 2009 HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Service Reconfiguration in the DANAH Assistive System Saïd LANKRI, Pascal BERRUET and Jean-Luc PHILIPPE European University of Brittany Lab-STICC, F-56321 Lorient Cedex, France {said.lankri,pascal.berruet,jean-luc.philippe}@univ-ubs.fr Abstract. Smart Homes are pervasive systems that interact with the user using a service offer paradigm to provide fully automated daily repetitive tasks. When services are augmented with semantic relationships, one can build adaptive services and systems. In this paper we deal with service failures and propose a recovering method, which we call service reconfiguration, to ensure service availability in smart homes. Both off-line and on-line reconfigurations are considered. This method has been implemented in the DANAH assistive system. 1 Introduction Assistive technology systems (ATS) are a kind of pervasive systems that help dependant people improve their lives. The Smart Home concept [4] emphasises on environmental control by incorporating electronically controllable devices and sensors to provide automated services and monitoring. The DANAH assistive system is a software application that helps the elderly and the disabled turn their living spaces to entities that provide assistive services. Within automated homes or medical structures, users can benefit from daily automated tasks using a human machine interface simply by selecting the service they want, and DANAH shall deliver it for them. In the context of these intelligent environments, we aim at ensuring service availability in the presence of failures through service reconfiguration. This paper is structured as follows : Section 2 introduces service reconfiguration. Section 3 presents the DANAH assistive system. Section 4 presents addressed service failures and the reconfiguration process. Finally, we conclude our work and present eventual perspectives and future work. 2 The DANAH ATS 2.1 Architecture The DANAH Assistive System [1] is a modular distributed assistive system that allows the disabled and the elderly to interact with their environment using a

2 Saïd LANKRI, Pascal BERRUET and Jean-Luc PHILIPPE service offer paradigm, achieving environmental control. It relies on three entities : Servers, Clients and Automation Technology as depicted in Fig.1. Servers and deployed in the environment and contain information about the topology and the services they locally offer. A Client establishes a connection to a server and gets a list of the available services (pull-mode). Fig. 1. DANAH architecture and HW/SW mapping, using the KNX/EIB Home Automation Technology 2.2 Resources, Operations and Effects Resources are DANAH representation of controlled home hardware, such as doors, lights and TVs. A resource is advertised using its name and has a status stored in its properties which are key-value pairs. It contains operations that represent the services it provides (e.g. On and Off ). A runtime is responsible of executing operations and updating resource status. Communication between the runtime and the physical device is achieved using a protocol. Resources are linked to the environment topology through activation nodes that specify at which areas operations can be delivered. Finally, resources are tagged by keywords that inform about their characteristics. Operations can be runtime controlled (atomic) or composite. Atomic operations are directly run by calling appropriate method within the runtime. Composite operations are operations described using literal expressions, as shown in Fig.2 operation "Enter" { expression="seq(door.open Light.On)" } Fig.2. Composite Operation Enter uses two atomic operations Unlike in traditional service oriented applications, invoking a resource operation does not require input data. Instead, effects on other resources are produced, as depicted in Fig.3. The effect [2] [3] of an operation is what is perceived by the user. Its principle is that running a resource operation can have effects on one ore more resources. Effect computation is performed using resource runtimes and effect rules. The runtime is responsible of computing the effects of the resource s own operations. Then using effect rules, DANAH computes the overall change on other resources. An effect rule consists of a precondition that if satisfied triggers its corresponding postcondition, as shown in Fig.4.

Service Reconfiguration in the DANAH Assistive System 3 (a) Standard service mechanism (b) Service mechanism DANAH Fig.3. Composition schemes in traditional applications and in DANAH effect { pre="mainlight@status==on" post="this@illuminance=100"} Fig. 4. An effect rule 3 Service Reconfiguration 3.1 From the Request to the Provision A service can be an operation, a composition of operations or an objective to reach (e.g. Room@Temperature=25). When it is requested, DANAH starts by performing a syntactic expansion which recursively replaces composite operations by their corresponding expressions, and dynamically resolving objectives into a set of operations. To run an operation, DANAH performs navigation to the resource by choosing one of its activation nodes (if any) and finally activates it with the help of the automation technology. Whan an activation fails, it triggers service reconfiguration. Reconfiguration can be either static using off-line rules or dynamically computed at runtime. 3.2 Static Reconfiguration Static reconfiguration is triggered on activation failure. It uses static rules defined in resource descriptions. When the activation of an operation fails, DANAH searches in all resource descriptions for an alternative expression that may replace the defunct operation, as shown in Fig.5. It says that when the turning on the main light fails, the system must fall back to turning on the two alternative lights. reconfiguration { fail="mainlight.on" alt="seq(altlight1.on AltLight2.On)" } Fig. 5. Static reconfiguration rule Static reconfiguration rules are convenient ways for the user to set its own reconfiguration preferences, since it has priority on any dynamically computed alternative. 3.3 Effect-based Reconfiguration Effect-based reconfiguration is triggered on activation failure, in the absence of static reconfiguration rules. The aim of effect-compensation procedure is to compensate the effect the failed operation should have produced on other resources

4 Saïd LANKRI, Pascal BERRUET and Jean-Luc PHILIPPE using one or several other operations from different resources. When an operation is run, the resource s properties are first updated by its runtime. Then using effect rules, these property changes may satisfy preconditions that trigger other changes in other resources, as depicted in Fig.6 Fig. 6. Effect update mechanism When an activation fails, effects of the failed operation are searched and compensation is performed for each affected resource. This is done using a dry run mechanism that selects the operations which change the considered effect and fakely running them. At the end, the sequence that produces the closest effect that the one that is expected is suggested as an alternative. 4 Conclusion In this paper we described the service reconfiguration in the DANAH assistive system, which aims at ensuring service availability in case of failures. Addressed failures are operation activations. Static reconfiguration is used on activation failure and relies on off-line reconfiguration rules. Effect-based resource linking has been introduced and used to perform effect compensation, possibly using several operations to compensate the effect of a single one. References 1. Saïd Lankri, Pascal Berruet, André Rossi, and Jean-Luc Philippe. Architecture and models of the DANAH assistive system. In SIPE 08: Proceedings of the 3rd international workshop on Services integration in pervasive environments, page 19 24, New York, NY, USA, 2008. ACM. 2. Aitor Urbieta, Ekain Azketa, Inma Gomez, Jorge Parra, and Nestor Arana. Analysis of effects- and preconditions-based service representation in ubiquitous computing environments. icsc, page 378 385, 2008. 3. Aitor Urbieta, Ekain Azketa, Inma Gomez, Jorge Parra, and Nestor Arana. Towards effects-based service description and integration in pervasive environments. In SIPE 08: Proceedings of the 3rd international workshop on Services integration in pervasive environments, page 1 6, New York, NY, USA, 2008. ACM. 4. V. Ricquebourg, D. Menga, D. Durand, B. Marhic, L. Delahoche, and C. Loge. The smart home concept : our immediate future. In Proc. IEEE International Conference on E-Learning in Industrial Electronics, page 23 28, December 2006.