Using Variability Models for Developing Self-configuring Pervasive Systems

1. Carlos Cetina, Pau Giner, Joan Fons y Vicente Pelechano  Using Variability Models for Developing Self-configuring Pervasive Systems Workshop on Autonomic and SELF-adaptive Systems

2. Agenda • Introducción • Propuesta de modelado • Aplicación de la propuesta • Conclusiones y trabajo futuro

3. Agenda • Introducción • Propuesta de modelado • Aplicación de la propuesta • Conclusiones y trabajo futuro

4. Sistemas Pervasivos Servicio de Seguridad Casa Domótica Detalles técnicos: European Installation Bus (EIB) devices Security Service Presence Detected Trigger Presence DetectionService Motion Detector Contact Sensor Alarm

5. Comportamiento Autónomo Escenario de Involución Ocurre un fallo! El sistema debe ofrecer los mismos servicios con menos recursos. Service A A A resource becomesunavailable Sensor Actuator B Resources B External Software

6. Comportamiento Autónomo 2 A A Escenario de Evolución B B El sistema es actualizado. (a) Mismos servicios con más recursos. (b) Los nuevos recursos habilitan más servicios. Service A resource becomes available Sensor Actuator Resources External Software

7. Agenda • Introducción • Propuesta de modelado • Aplicación de la propuesta • Conclusiones y trabajo futuro

8. Propuesta de modelado Activos Producto Operación de Producción Modelo de Decisión Operación de Producción

9. Propuesta de modelado ApcarSPLspara construir sistemas autónomos Operación de Producción Run-Time

10. Propuesta de modelado Activos Producto Operación de Producción Conceptos de LPS Modelo de Decisión PervMLModel Pervasive System RealizationModel M2T Lenguajes de modelado FeatureModel

11. Modelos de la SPL PervMLModel Pervasive System PervML Model RealizationModel M2T • Un lenguaje Específico de Dominio para describir sistemas pervasivos. • Conceptos principales: • Service coordina la interacción entre proveedores (hardware o software). • Binding provider (BP) adaptador de tecnologías . • Interaction conjunto ordenado de interacciones entre services. • Trigger describe cambios en el entorno. FeatureModel <<Service>>Presence Simulation <<Service>>Presence Detection << Service>>Alarm << Service>>Automated Lighting <<Trigger>> Random Simulation Starter << Trigger>>Presence Detected << Interaction>>Security << BP>>Automated Lighting << BP>>Volumetric Detector << BP>>PerimeterDetector << BP>>Blink Lighting << BP>>Infrared Detector << BP>>Silent Alarm << BP>>Visual/Acoustic Alarm << BP>>Buzzer

12. Modelos de la SPL Smart Home PervMLModel Pervasive System Security Automated Illumination Presence Simulation FAMA Feature Model Describe un sistema y sus Variantes. RealizationModel M2T Presence Detection Alarm FeatureModel Relaciones: Opcional, obligatorio, alternativa, or, requerido y excluyente. FAMA esta orientado a razonar sobre Feature Models y posee un buen soporte de herramientas. SilentAlarm Siren Visual/Acoustic Alarm Perimeter Detection In home Detection Infrared 160 degree Detection Volumetric 360 degree Detection

13. Modelos de la SPL Presence Detection Security PervMLModel Pervasive System Realization Model Es una extensión que hemos realizado de Atlas Model Weaving (AMW). Un modelo que representa relaciones entre otros modelos. (PervML y FAMA). 1 feature a N conceptos de PervML. 1 elemento de PervML a N features. Los mappings se estructuran en paquetes (13) (i) (12) (l) (7) (j) (5) (b) (3) (g) (5) (f) RealizationModel M2T FeatureModel

14. Construyendo Sistemas Pervasivos Autonomos PervMLModel Pervasive System RealizationModel M2T FeatureModel Esta aproximación permite a los sistemas pervasivos utilizar en run-time el modelado de la varibilidad del diseño de la SPL.

15. Agenda • Introducción • Propuesta de modelado • Aplicación de la propuesta • Conclusiones y trabajo futuro

16. The Building Blocks Modelado Infraestructura de Adaptación Arquitectura

17. Modelling Tier Feature Model Realization Model PervML Model Mapping Modelado Variantes Active Code Generation Quiescent Device Adaptación ConfiguraciónInicial Feasible Channel Communication Channel Arquitectura Service

18. Adaptation Tier Feature Model Realization Model PervML Model Mapping Active Quiescent Device Feasible Channel Communication Channel 3 Adaptation Rules 2 Adaptation Triggers Adaptation Actions - Create/Destroy Channel - Component State Shift - New Devices - Device Failures 4 1 Service

19. Adaptation Tier Feature Model Realization Model PervML Model Mapping Active Quiescent Device Involution: Realization Model Evolution: Feature Model Feasible Channel Communication Channel Condition - Feature Adaptation Rules Adaptation Triggers Adaptation Actions Service

20. The Smart Home Example Escenario de Involución Presence Detection Security 1 (12) << Alternative>> (j) (12) << Default >> (l) << BP>>(n) Visual Alarm (6) Alarm (9) SilentAlarm (10) Siren (11) Visual Alarm << BP>>(k) Blink Lighting 1 1 Se trata de un fallo! Necesitamosunarespuestarápida. La decisiónestáprecalculada en los modelos 1

21. The Smart Home Example Escenario de evolución 2 (13) <<Default>> (i) (5) <<Default>> (b) (2) Presence Simulation Requires Presence Detection <<Service>>(b) Presence Detection 2 (8) In home Detection Se estáactualizando el sistema. Los requisitostemporales no son tan fuertes. << BP>>(i) Volumetric Detector 2 2 (12) Infrared 160 degree Detection (13) Volumetric 360 degree Detection

22. Agenda • Introducción • Propuesta de modelado • Aplicación de la propuesta • Conclusiones y trabajo futuro

23. Future Work Futuro Ahora Modelado Feature Model + DSL: PervML Common Variability Language (CVL) + [PervML | UML] Infraestructura de adaptación Futuro Ahora Arquitectura Smart Home (Scale) With real EIB Devices gvSig Mobile(Spanish Government Geographic Information System)