|
Data, Hora e Local
|
Detalhes do Trabalho
|
|
29/11/2010
(2ª Feira)
09h
|
| Título: Fundamentação
Teórica para a Construção de uma Linha de Produto
de Software Dinâmica para o Domínio de
Aplicações Móveis e Sensíveis ao Contexto |
| Autora:
Fabiana Gomes Marinho (Doutoranda/MDCC) |
|
Resumo:
O avanço tecnológico das redes sem fio tem demandado o
desenvolvimento de aplicações cada vez mais sofisticadas.
Nesse contexto, surgiu o paradigma da Computação
Ubíqua, em que os sistemas utilizam informações do
ambiente em que estão inseridos para prover serviços
relevantes para seus usuários de forma transparente. Por outro
lado, o enfoque as Linhas de Produtos de Software (LPS) propõe a
construção sistemática de software baseado em
famílias de produtos e é considerado um meio efetivo para
se obter os benefícios relacionados ao reúso, como, por
exemplo, maior produtividade e redução de custos.
Considerando esse cenário, na tese de doutorado sob
qualificação é apresentado o uso de LPS para o
desenvolvimento de software móvel e sensível ao contexto,
que corresponde a um subconjunto específico do software
ubíquo. Alguns dos desafios na construção de uma
LPS para esse tipo de software envolvem o tratamento de requisitos
complexos, tais como mobilidade, sensibilidade ao contexto e
adaptabilidade, e a necessidade de garantir a consistência dos
produtos configurados. Nesse contexto, a tese propõe um
mecanismo de verificação baseado em métodos
formais com o objetivo de aumentar a qualidade do processo de
configuração dos produtos de software a partir da LPS.
Para entender melhor essa proposta, nesta monografia foi realizada uma
fundamentação teórica dos tópicos
relacionados ao desenvolvimento de software móvel e
sensível ao contexto utilizando uma LPS. Os temas abordados
incluem software ubíquo, linhas de produto de software, linhas
de produto de software dinâmicas e métodos formais
utilizados para as atividades de verificação e
validação.
|
| Orientadora:
Profa. Dra. Rossana M. C. Andrade (DC/UFC) |
| Banca:
Cláudia Maria Lima Werner (COPPE/UFRJ),
Vânia Maria Ponte Vidal (DC/UFC), Francisco Heron de Carvalho
Junior (DC/UFC), Rossana M. C. Andrade (DC/UFC) |
|
|
29/11/2010
(2ª
Feira)
14h
|
| Título: Diagnóstico de Faltas
em uma Arquitetura Autonômica de Integração de
”Outer Edge'' |
| Autor:
Camila Helena Souza Oliveira (Mestranda/MDCC) |
|
Resumo: Uma arquitetura chamada
Magneto está sendo projetada para atuar no cenário das
Redes de Próxima Geração. O crescimento em tamanho
e em complexidade dos sistemas computacionais modernos gerou a
necessidade de criar um novo conceito em gerenciamento de sistemas. O
projeto objetiva utilizar o conceito de computação
autonômica para prover autogerenciamento na arquitetura proposta.
Computação autonômica oferece a possibilidade de
autogerencimento, diminuindo os erros e os custos no processo de
gerenciamento. Dentre as propriedades apresentadas por um sistema
autonômico, autocura apresenta-se como um grande desafio. Para
que a autocura se realize de forma robusta e eficiente um sistema de
diagnóstico de falhas autonômico é proposto nesse
trabalho. O uso de sistemas inteligentes será empregado para
conseguir a autonomicidade do sistema.
|
| Orientador:
Prof. Dr. Miguel Franklin de Castro (DC/UFC) |
| Banca:
Francisco de Assis Tavares Ferreira da Silva
(INPE), José Neuman de Souza (DC/UFC), Miguel Franklin de Castro
(DC/UFC) |
|
|
29/11/2010
(2ª
Feira)
15h30
|
Palestra: REDES
DE SENSORES SEM FIO APLICADAS NA AGRICULTURA DE PRECISÃO
Palestrante: Prof. Clemilson Costa dos Santos (Eng. da
Computação do Campus de Sobral/UFC) |
|
|
30/11/2010
(3ª
Feira)
09h30
|
Palestra:
PESQUISAS EM REDES DE COMPUTADORES - DAS INFRA-ESTRUTURADAS ÀS
REDES VEICULARES
Palestrante: Prof. Joaquim Celestino Júnior (Departamento de
Computação/ UECE) |
|
|
30/11/2010
(3ª
Feira)
10h30
|
| Título: Improving Vertical Handovers
using MIH Services and Multicast Addressing |
| Autor:
Michel Sales Bonfim (Mestrando/MDCC) |
|
Resumo: The use of multi-access
devices such as smart phones has been growing at the same time as
demands for improved mobility services across heterogeneous networks.
In this scenario, service continuity is a crucial issue. In other to
solve these demands, efficient handover schemes should be developed in
order to achieve the so-called seamless handover, which is the change
of network domains in a transparent way to the end user. Currently,
there are different handover schemes and some of them can be used
between different access technologies (Vertical Handovers). However,
service disruption time is still an issue to be solved. The main
purpose of this paper is propose improvements to vertical handovers
using IP mobility,aiming a seamless handover scheme. For that, we
consider metrics such as handover delay and packet loss as the most
important criteria for evaluating effectiveness of our scheme.
|
| Orientador:
Prof. Dr. Miguel Franklin de Castro (DC/UFC) |
| Banca:
Rossana M. C. Andrade (DC/UFC), Danielo
Gonçalves Gomes (DETI/UFC), Miguel Franklin de Castro (DC/UFC) |
|
|
30/11/2010
(3ª
Feira)
14h
|
| Título: Um
Mecanismo de Adaptação Dinâmica de Segurança
em Tempo de Execução para Dispositivos Móveis com
Foco no Uso Eficiente de Recursos |
| Autor:
Alexandre Correia Cirqueira (Mestrando/MDCC) |
|
Resumo: A necessidade constante
de evolução dos softwares, a preocupação
com a segurança dos dados cada vez mais trafegados em ambientes
cada vez mais compartilhados e sujeitos a interceptação,
e também a atenção mundial com a sustentabilidade
impõem à engenharia de software a necessidade de
concepção de aplicações mais
flexíveis para absorver as constantes mudanças nas
necessidades do software, mais seguras para garantir a
confidencialidade das informações e mais ambientalmente
ativas através da adoção da Green Computing e suas
práticas sustentáveis. Uma saída eficiente para a
solução destes problemas pode ser a
utilização de adaptação dinâmica em
tempo de execução na construção de
aplicações, preocupando-se principalmente com o uso
ótimo dos recursos computacionais. Este trabalho explora essa
idéia
focando na adaptação dinâmica em tempo de
execução do fornecimento de confidencialidade em
aplicações para dispositivos móveis, de acordo com
o contexto, com o intuito de oferecer a segurança adequada,
poupando o uso de recursos computacionais e contribuindo para uma maior
vida útil de seus componentes, alinhando-se assim às
práticas da green computing.
|
| Orientadora:
Profa.
Dra.
Rossana
M.
C.
Andrade
(DC/UFC) |
| Banca:
Windson Viana de Carvalho(UFC Virtual/UFC), Miguel
Franklin de Castro (DC/UFC), Rossana M. C. Andrade (DC/UFC) |
|
|
30/11/2010
(3ª Feira)
16h
|
| Título: Correlação
Espaço-Temporal Multivariada para Redução de Dados
em Redes de Sensores Sem Fio |
| Autor:
Carlos Giovanni Nunes de Carvalho (Doutorando/
DETI) |
|
Resumo: Nas
aplicações de monitoramento com coleta contínua de
dados nas Redes de Sensores Sem Fio (RSSFs) é comum o uso de
abordagens de protocolo de comunicação (roteamento com
agregação, fusão ou compressão) eficiente
para diminuir o consumo de energia da rede. Essas abordagens
normalmente realizam técnicas localizadas, embutidas nos
nós sensores, através da correlação
espaço-temporal das leituras de somente uma variável,
como a temperatura, para evitar enviar informações
sobrepostas em direção ao sorvedouro. Entretanto,
vários nós sensores implantados em campo possuem a
capacidade de realizar monitoramento de mais de uma variável. A
proposta deste trabalho é uma análise multivariada das
leituras (temperatura, umidade e luminosidade), e através dos
seus impactos negativos mais comuns (sobrecarga de memória e
processamento; e sobreposição na transmissão de
dados), otimizar o roteamento em árvore, tornando-o mais
eficiente em termos de consumo de energia com maior nível de
precisão. Essa precisão é baseada no erro do
estimador, o qual fornece as informações não
enviadas pelos nós sensores ao sorvedouro, devido ao mecanismo
de redução de dados baseado na análise
multivariada. Os resultados obtidos mostram que a
correlação multivariada requer a
implantação de mecanismos complexos para obter a
redução de dados nas transmissões e assim
dificultam que os mesmos sejam embutidos nos nós sensores.
|
| Orientador:
Prof. Dr. José Neuman de Souza |
| Banca:
Rossana M. C. Andrade (DC/UFC), Miguel
Franklin de Castro (DC/UFC), Danielo
Gonçalves Gomes (DETI/UFC), José Neuman de Souza(DC/UFC) |
|
|
01/12/2010
(4ª
Feira)
09h
|
Palestra:
AGILIDADE NO MUNDO REAL
Palestrante: Christiano Milfont (coordenador da comunidade XPCE) |
|
|
01/12/2010
(4ª Feira)
10h30
|
| Título: Clusterização
Semântica em Redes de Sensores sem Fio |
| Autor:
Atslands Rego da Rocha (Doutoranda/ DETI) |
|
Resumo: As redes de sensores sem
fio têm severas restrições de recursos e minimizar
o consumo de seus recursos é crucial para estender o tempo de
vida da rede. Técnicas de clusterização podem ser
utilizadas com o intuito de economizar energia, um dos parâmetros
principais desse tipo de rede. Neste trabalho, nós propomos um
modelo de clusterização semântica baseado em um
sistema fuzzy responsável por especificar relacionamentos de
vizinhança semântica na rede. Como estudo de caso,
nós descrevemos uma aplicação de monitoramento de
estruturas civis para ilustração e
verificação do modelo.
|
| Orientador:
Prof. Dr. José Neuman de Souza |
| Banca:
Rossana M. C. Andrade (DC/UFC), Danielo
Gonçalves Gomes (DETI/UFC), José Neuman de Souza(DC/UFC) |
|
|
01/12/2010
(4ª
Feira)
14h
|
| Título: Linhas de Produto de
Software Semânticas |
| Autor:
João Bosco Ferreira Filho (Mestrando/MDCC) |
|
Resumo: A
Reutilização de Software vem sendo adotada como base para
a diminuição de custos durante o desenvolvimento de
sistemas, através da minimização do retrabalho e
da automação no desenvolvimento. Dentre suas abordagens
mais promissoras se encontram as Linhas de Produto de Software - LPS.
Entretanto, os modelos de representação do domínio
utilizados nas linhas são limitados semanticamente, o que
diminui o conhecimento detido pelo computador que pode ser usado em
benefício da automação. Este trabalho tem como
objetivo introduzir o paradigma de Linhas de Produto de Software
Semânticas, o qual é baseado em um modelo para
inserção de semântica dentro de uma LPS, utilizando
ontologias para a representação do conhecimento. O modelo
criado terá como base o modelo de domínio mapeado do
diagrama de características.
|
| Orientadora: Profa. Dra. Rossana M. C.
Andrade (DC/UFC) |
| Banca:
Windson Viana de Carvalho (GREat/UFC), Fabiana
Gomes Marinho (GREat/UFC), Cidcley Teixeira de Souza (IFCE), Miguel
Franklin de Castro (DC/UFC) e Rossana
M. C. Andrade (DC/UFC) |
|
|
01/12/2010
(4ª
Feira)
16h
|
| Título: Uma Proposta de uma
Infraestrutura de Coordenação Interoperável para
Sistemas Ubíquos |
| Autor:
Francisco Fabrício de Paula Lima
(Mestrando/MDCC) |
|
Resumo: Devido ao avanço
significativo das tecnologias de hardware, como o surgimento de
computadores menores, com maior poder de processamento e armazenamento,
e o avanço na comunicação de dados sem fio, a
Computação Ubíqua deixou de ser uma visão
futurista para se tornar uma realidade nos dias atuais. Entretanto, o
desenvolvimento de sistemas ubíquos ainda é um grande
desafio devido aos diversos requisitos particulares que eles
impõem. Especialmente, esses sistemas distribuídos
apresentam grande heterogeneidade e mobilidade de dispositivos que
necessitam coordenar suas atividade para atingir o objetivo final do
sistema. Dessa forma, esse trabalho propõe uma infraestrutura de
coordenação baseado no modelo de espaços de tuplas
e de eventos que considera os requisitos de mobilidade e de
interoperabilidade presentes nesses sistemas..
|
| Orientadora: Profa. Dra. Rossana M. C.
Andrade (DC/UFC) |
| Banca:
Rossana M. C. Andrade (DC/UFC), Lincoln Souza
Rocha (DC/UFC), Windson Viana de Carvalho (GREat/UFC) e Cidcley
Teixeira de Souza (IFCE) |
|
|
02/12/2010
(5ª Feira)
08h
|
| Título: Análise de Desempenho
do Tráfego de Voz em Redes Veiculares ad hoc |
| Autor:
Leandro Kravczuk Vieira (Mestrando/MDCC) |
|
Resumo: As Redes Veiculares Ah
Hoc (VANETs) surgiram como um caso particular de redes móveis e
passaram a formar um campo especifico de pesquisa na área de
redes de computadores. Esta especificidade ocorre em decorrência
de uma série de requisitos a serem atendidos, e o contexto
especializado de aplicações desenvolvidas para este tipo
de redes. Dentre os requisitos de comunicação, pode-se
citar a mobilidade limitadas ao percurso das vias, a distância, a
alta velocidade e a alta densidade de nós. O ambiente veicular
é um cenário no qual aplicações de redes
móveis podem desempenhar um papel importante. A
formação de um sistema de comunicação em
que os veículos pudessem dispor de informações
coletadas colaborativamente entre os diversos veículos e
sistemas de trânsito, poderia auxiliar a tomada de decisão
do condutor nas situações de perigo, ou simplesmente
auxiliá-lo a reconhecer antecipadamente as
sinalizações, interagir com diversos serviços e
localizar pontos de interesse. Dentre os serviços pode-se citar
a utilização do VoIP (Voice over IP). Entretanto, como o
UDP (User Datagram Protocol) não fornece um mecanismo para
assegurar que os pacotes de dados sejam entregues em ordem sequencial,
ou ainda que forneça garantias de qualidade de serviço,
as implementações VoIP sofrem com o problema de
latência, perda de pacotes, eco, jitter e segurança.
.Estes desafios técnicos se agravam ainda mais quando utilizado
em redes sem fio. Por conta disto, a proposta deste trabalho é
analisar o desempenho da utilização do VoIP sobre Redes
Veiculares Ah Hoc.
|
| Orientador:
Prof. Dr. José Neuman de Souza |
Banca:
Rossana M. C. Andrade (DC/UFC), Danielo
Gonçalves Gomes (DETI/UFC), Joaquim Celestino
Júnior (DC/UECE) e José Neuman de
Souza(DC/UFC)
|
|
|
02/12/2010
(5ª
Feira)
10h
|
Encerramento:CONQUISTAS
2010
E
PERSPECTIVAS
2011
PARA
O
GREAT
Palestrante: Profa. Dra. Rossana M. C.
Andrade
|
|