Prof. Vander Alves

Departamento de Ciência da Computação

Universidade de Brasilia

 

RESUMO

 

Demographic and social changes have increased the number of elderly people living alone. Many of these need continuous medical assistance, yet it is not sustainable to have a dedicated medical professional for each of them. Accordingly, automated support  has been proposed, in particular, Body Area Network, in which a person goes about her daily activities at home or outdoors, but wears sensors monitoring her vital signs and  providing emergency detection and prevention. Such systems have to strike a balance between conflicting requirements, such as availability and reliability, e.g, if a person is well, not all sensors need to be active and working at the highest sampling rate; on the other hand, if she falls or has a stroke, the opposite must happen with the sensors. We explore how Dynamic Software Product Line (DSPL) achieve this goal. A DSPL reconfigures itself based on some context change e.g., the persons' medical situation, to meet a new quality goal for that new situation, as specified by a reliability contract provided by the domain expert (a medical doctor). This contract is modeled as a state machine, whose transitions are medical events (e.g., fall, stroke) and states are target reliability goals, prompting a reconfiguration to meet it.  The quality of any given configuration is measured by a single formula, parametrizing over the features of the DSPL and related quality information. This formula is derived from a parametric discrete time Markov chain model representing  the reliability of the DSPL. Further, this formula relies on a normalized form of the feature model. We analyse achieved expressiveness  as well as time and space complexity issues.

 

Short Bio:

Vander Alves é Professor Adjunto do Departamento de Ciência da Computação da Universidade de Brasília. Ele se interessa por  pesquisa, desenvolvimento, e ensino em Engenharia de Software, em  particular nas sub-áreas: Linha de Produtos de Software, Ambient  Assited Living, e Desenvolvimento de Software Orientado a Aspectos e Modelos. Vander é doutor em Ciência da Computação (Engenharia de Software) pela  Universidade Federal de Pernambuco. Ele foi pesquisador pós-doutor no Fraunhofer Institute for Experimental Software Engineering (Alemanha) e na Lancaster University (Inglaterra), tendo trabalhado em projetos europeus nas áreas de Linha de Produtos de Software, Desenvolvimento de Software Orientado a Aspectos e a Modelos, Ambient Assited Living, e Smart Homes. Ele também trabalhou no IBM Silicon Valley laboratory em San Jose, Califórnia (EUA), na implementação da linha de produtos Information Integration, e é co-autor de uma patente licenciada nos EUA.

 

Organizadora: Profa. Cecilia Rubira  ( cmrubira [at] ic [dot] unicamp [dot] br )

IC -- Unicamp   Fone: (019) 3521-5879