Carlos cetina pau giner joan fons y vicente pelechano
This presentation is the property of its rightful owner.
Sponsored Links
1 / 24

 Using Variability Models for Developing Self-configuring Pervasive Systems PowerPoint PPT Presentation


  • 58 Views
  • Uploaded on
  • Presentation posted in: General

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.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Carlos cetina pau giner joan fons y vicente pelechano

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

Agenda

  • Introducción

  • Propuesta de modelado

  • Aplicación de la propuesta

  • Conclusiones y trabajo futuro


Agenda1

Agenda

  • Introducción

  • Propuesta de modelado

  • Aplicación de la propuesta

  • Conclusiones y trabajo futuro


Sistemas pervasivos

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


Comportamiento aut nomo

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


Comportamiento aut nomo1

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


Agenda2

Agenda

  • Introducción

  • Propuesta de modelado

  • Aplicación de la propuesta

  • Conclusiones y trabajo futuro


Propuesta de modelado

Propuesta de modelado

Activos

Producto

Operación de Producción

Modelo de Decisión

Operación de Producción


Propuesta de modelado1

Propuesta de modelado

ApcarSPLspara construir sistemas autónomos

Operación de Producción

Run-Time


Propuesta de modelado2

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


Modelos de la spl

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


Modelos de la spl1

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


Modelos de la spl2

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


Construyendo sistemas pervasivos autonomos

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.


Agenda3

Agenda

  • Introducción

  • Propuesta de modelado

  • Aplicación de la propuesta

  • Conclusiones y trabajo futuro


The building blocks

The Building Blocks

Modelado

Infraestructura de Adaptación

Arquitectura


Modelling tier

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


Adaptation tier

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


Adaptation tier1

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


The smart home example

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


The smart home example1

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


Agenda4

Agenda

  • Introducción

  • Propuesta de modelado

  • Aplicación de la propuesta

  • Conclusiones y trabajo futuro


Future work

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)


  • Login