1 / 24

 Using Variability Models for Developing Self-configuring Pervasive Systems

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. Agenda. Introducción Propuesta de modelado Aplicación de la propuesta Conclusiones y trabajo futuro.

Download Presentation

 Using Variability Models for Developing Self-configuring Pervasive Systems

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  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)

More Related