21
u UNIVERSIDADE DO ESTADO DO RIO GRANDE DO NORTE - UERN PROGRAMA DE MESTRADO EM CIÊNCIA DA COMPUTAÇÃO – MCC Gerenciamento de Dados e Transações em Tempo-Real em Plataformas Multiprocessadas Embarcadas Proponente: Pedro Fernandes Ribeiro Neto, D.Sc. Instituição de Execução do Projeto: Universidade do Estado do Rio Grande do Norte – UERN. Duração: 24 meses. Agosto de 2008 Mossoró/RN

Gerenciamento de Dados e Transações em Tempo … 039.pdf · • Dois trabalhos de Conclusão de Curso, por ano; ... • 2 (dois) ZELIO Logic - Módulo Lógico Inteligente SR1 no

Embed Size (px)

Citation preview

Page 1: Gerenciamento de Dados e Transações em Tempo … 039.pdf · • Dois trabalhos de Conclusão de Curso, por ano; ... • 2 (dois) ZELIO Logic - Módulo Lógico Inteligente SR1 no

u

UNIVERSIDADE DO ESTADO DO RIO GRANDE DO NORTE - UERN

PROGRAMA DE MESTRADO EM CIÊNCIA DA COMPUTAÇÃO – MCC

Gerenciamento de Dados e Transações em Tempo-Real

em Plataformas Multiprocessadas Embarcadas

Proponente:

Pedro Fernandes Ribeiro Neto, D.Sc.

Instituição de Execução do Projeto:

Universidade do Estado do Rio Grande do Norte – UERN.

Duração:

24 meses.

Agosto de 2008 Mossoró/RN

Page 2: Gerenciamento de Dados e Transações em Tempo … 039.pdf · • Dois trabalhos de Conclusão de Curso, por ano; ... • 2 (dois) ZELIO Logic - Módulo Lógico Inteligente SR1 no

SUMÁRIO

SUMÁRIO .............................................................................................................................. 2

A – IDENTIFICAÇÃO DA PROPOSTA .............................................................................. 3

B – QUALIFICAÇÃO DO PRINCIPAL PROBLEMA A SER ABORDADO .................... 4

C – OBJETIVOS E METAS A SEREM ALCANÇADOS .................................................... 6

D – METODOLOGIA A SER EMPREGADA ...................................................................... 7

E – PRINCIPAIS CONTRIBUIÇÕES CIENTÍFICAS OU TECNOLÓGICAS DA

PROPOSTA ............................................................................................................................ 8

F – ORÇAMENTO DETALHADO ....................................................................................... 9

G – CRONOGRAMA FÍSICO-FINANCEIRO ................................................................... 10

G.1 – CRONOGRAMA FÍSICO .......................................................................................... 10

G.2 – CRONOGRAMA FINANCEIRO .............................................................................. 11

H – IDENTIFICAÇÃO DOS DEMAIS PARTICIPANTES DO PROJETO ...................... 12

I – GRAU DE INTERESSE E COMPROMETIMENTO DE EMPRESAS COM O

ESCOPO DA PROPOSTA ................................................................................................... 14

J – INDICAÇÃO DE COLABORAÇÕES OU PARCERIAS JÁ ESTABELECIDAS COM

OUTROS CENTROS DE PESQUISA NA ÁREA .............................................................. 16

K – DISPONIBILIDADE EFETIVA DE INFRA-ESTRUTURA E DE APOIO TÉCNICO

PARA O DESENVOLVIMENTO DO PROJETO .............................................................. 18

L – ESTIMATIVA DOS RECURSOS FINANCEIROS DE OUTRAS FONTES QUE

SERÃO APORTADOS PELOS EVENTUAIS AGENTES PÚBLICOS E PRIVADOS

PARCEIROS ........................................................................................................................ 20

M – JUSTIFICATIVA DO APOIO PRETENDIDO ........................................................... 21

Page 3: Gerenciamento de Dados e Transações em Tempo … 039.pdf · • Dois trabalhos de Conclusão de Curso, por ano; ... • 2 (dois) ZELIO Logic - Módulo Lógico Inteligente SR1 no

A – IDENTIFICAÇÃO DA PROPOSTA

Os Sistemas de Gerenciamento de Banco de Dados em Tempo-Real (SGBD-TR)

são apropriados para gerenciar grandes volumes de dados compartilhados em aplicações de

tempo-real. Esses sistemas são projetados para, adicionadas às funcionalidades dos bancos

de dados convencionais, incluírem as características necessárias para prover suporte à

manipulação de dados e transações satisfazendo restrições temporais.

Os SGBD-TR são úteis para Sistemas em Tempo-Real (STR) com restrições de

tempo não negociáveis, tais como aplicações em aviões e bolsa de valores, no qual os

prazos temporais impostos aos dados e as transações não podem ser perdidos sob a pena de

gerar alguma catástrofe. Nos últimos anos, o domínio de aplicação dos SGBD-TR tem se

expandido para sistemas nos quais quanto mais prazos forem satisfeitos melhor é o seu

desempenho. Estas soluções, geralmente, são baseadas em sistemas embarcados usando

robôs, redes de sensores sem fio, RFID (Radio-Frequency Identification), telefones móvel,

microprocessadores, e controladores lógico programáveis,

Plataformas multiprocessadas embarcadas serão implemenadas, vislumbrando

conseguir maior capacidade de processamento nos dispositivos supracitados. Tais

plataformas surgem como alternativa para executar uma aplicação que exige um

desempenho maior do qual o processador suporta. A idéia é dividir a aplicação em tarefas

menores, e distribuí-las em mais de um processador. Atualmente, pesquisas sobre

plataformas multiprocessadas em soluções em um único chip, conhecidas como SOC

(System on Chip), utilizando, por exemplo, dispositivos lógicos programáveis FPGA (Field

ProgrammableGateArrays) têm sido bastante realizadas.

Um modelo formal será definido para analisar a efetividade de mecanismos de QoS

no gerenciamento dos dados e transações com validade temporal em plataformas

multiprocessadas embarcadas. A modelagem matemática se justifica pela possibilidade de

submeter o modelo a procedimentos automatizados de verificação e validação formal. Após

essa análise, um protótipo será desenvolvido.

Page 4: Gerenciamento de Dados e Transações em Tempo … 039.pdf · • Dois trabalhos de Conclusão de Curso, por ano; ... • 2 (dois) ZELIO Logic - Módulo Lógico Inteligente SR1 no

B – QUALIFICAÇÃO DO PRINCIPAL PROBLEMA A SER ABORDADO

O número de soluções baseadas em sistemas embarcados cresce significativamente

a cada ano. Paralelamente, a complexidade dos algoritmos destes sistemas também

aumenta, exigindo respostas distintas às consultas e uma maior capacidade de

processamento dos processadores dedicados atuais.

Os algoritmos de escalonamento em tempo-real existentes não são eficientes para as

aplicações que executam em ambientes imprevisíveis. Uma vez que, o escalonamento ideal

deve assegurar que cada tarefa complete sua execução dentro do prazo previsto. Isso pode

ser validado através da análise de escalonabilidade, definido para STR, que determina se

um conjunto de tarefas executando concorrentemente satisfaz as restrições de tempo e

podem ser escalonadas com sucesso. Contudo, para a análise de escalonabilidade ser

realizada é necessário que o sistema seja previsível, ou seja, os recursos necessários e as

ações que serão executadas para isso devem ser conhecidos.

Nos SGBD-TR, os escalonamentos gerados devem levar em consideração, além da

consistência lógica, as restrições de tempo impostas às transações e os intervalos de

validade temporal atribuídos para alguns dados. Vale ressaltar que nas soluções baseadas

em sistemas embarcados existem tarefas que podem perder seus prazos sem causar maiores

prejuízos, ou seja, tarefas com prazos suaves ou firmes. Outro fator relevante é o requisito

de atender várias aplicações com necessidades distintas, exigindo que as políticas de

escalonamentos se adaptem às necessidades da aplicação. Em suma, no contexto de

aplicações que executam em ambientes imprevisíveis, os algoritmos de escalonamento

deverão admitir transações com diferentes padrões de chegada (estrito, suave ou firme), ou

seja, permitir o relaxamento das restrições de tempo-real quando necessário e assegurar

níveis de qualidade especificados.

Como conseqüência, surge à necessidade de gerenciar o desempenho do sistema, em

relação à quantidade de transações que podem perder seus prazos, e a corretude desse,

considerando o quão impreciso o item de dado pode ser para ainda ser considerado válido.

Estas medidas podem variar de aplicação para aplicação, visto que é permitido que

Page 5: Gerenciamento de Dados e Transações em Tempo … 039.pdf · • Dois trabalhos de Conclusão de Curso, por ano; ... • 2 (dois) ZELIO Logic - Módulo Lógico Inteligente SR1 no

diferentes aplicações acessem o repositório de dados com diferentes exigências.

Por estas razões, mecanismos de gerenciamento de QoS são definidos, especificados

e implementados para garantir o desempenho e a corretude das aplicações utilizando

SGBD-TR.

Como solução para aumentar o poder computacional da plataforma embarcada

utilizada em tais aplicações, a implementação de soluções de sistemas distribuídos e

paralelos é proposta. A idéia é explorar a utilização de um conjunto de processadores

cooperando entre si para execução, por exemplo, de um algoritmo inteligente. O número de

trabalhos existentes nas áreas de processamento paralelo, sistemas inteligentes e sistemas

embarcados são grandes. Entretanto trabalhos que unam essas três áreas são reduzidos.

Page 6: Gerenciamento de Dados e Transações em Tempo … 039.pdf · • Dois trabalhos de Conclusão de Curso, por ano; ... • 2 (dois) ZELIO Logic - Módulo Lógico Inteligente SR1 no

C – OBJETIVOS E METAS A SEREM ALCANÇADOS

OBJETIVO GERAL

O objetivo deste trabalho é disponibilizar serviços para o gerenciamento de

dados e transações em tempo-real em plataformas multiprocessadas embarcadas.

Plataformas multiprocessadas embarcadas são adotadas por viabilizar alto processamento

com pouco poder computacional inerente aos sensores, tags, microprocessadores, telefones

móveis e FPGA. As plataformas com múltiplos processadores serão baseadas nas

arquiteturas FPGA.

Esta proposta surge como solução para auxiliar o desenvolvimento de aplicações

que executam em ambientes imprevisíveis e necessitam gerenciar dados e transações com

restrições de tempo-real. Mais especificamente, pretende-se assegurar a consistência e o

desempenho dos SGBD-TR em ambientes não propícios de predizer quais os recursos e os

prazos necessários para a completa execução das transações.

METAS A SEREM ALCANÇADAS

• Embarcar mais de um processador em um único FPGA;

• Definir e programar o protocolo de comunicação entre os processadores;

• Desenvolver um modelo formal para análise da solução proposta;

• Desenvolver um protótipo considerando um SGBD-TR, executando em uma

plataforma multiprocessada embarcada, respondendo para diferentes

aplicações.

Page 7: Gerenciamento de Dados e Transações em Tempo … 039.pdf · • Dois trabalhos de Conclusão de Curso, por ano; ... • 2 (dois) ZELIO Logic - Módulo Lógico Inteligente SR1 no

D – METODOLOGIA A SER EMPREGADA

A metodologia adotada é composta por 07 (sete) etapas descrita a seguir:

Etapa 1: inicialmente será realizada uma revisão bibliográfica sobre sistemas de

gerenciamento de banco de dados em tempo-real, sobre os mecanismos para o

gerenciamento de qualidade de serviços, e sobre sistemas inteligentes e sistemas

multiprocessados. Essa revisão tem como objetivo estudar os principais conceitos destas

áreas relacionados aos problemas abordados no projeto ora apresentado.

Etapa 2: Nesta etapa inicia-se a implementação em placas de desenvolvimento. A

arquitetura poderá ser simulada em ambiente de simulação disponível no site do fabricante,

e será implementada em placas de desenvolvimento adquiridas com recursos do projeto, a

fim de colher resultados preliminares. A idéia é montar uma arquitetura e, antes de colocá-

la em funcionamento, perceber suas deficiências e assim fazer modificações que possa

otimizá-la.

Etapa 3: exige como pré-requisitos às etapas 1 e 2 e tem como finalidade o

desenvolvimento da arquitetura, incluindo o protocolo de comunicação adotado. Após a

verificação da viabilidade técnica da arquitetura em placas de desenvolvimento é feita a

implementação da arquitetura. Também serão realizados testes experimentais para

validação da arquitetura.

Etapa 4: nesta fase, um estudo de caso será modelado. A técnica de modelagem

utilizada para descrever o que o sistema deve fazer e quais resultados ele deve gerar

também será definida.

Etapa 5: por fim, um protótipo será implementado

Page 8: Gerenciamento de Dados e Transações em Tempo … 039.pdf · • Dois trabalhos de Conclusão de Curso, por ano; ... • 2 (dois) ZELIO Logic - Módulo Lógico Inteligente SR1 no

E – PRINCIPAIS CONTRIBUIÇÕES CIENTÍFICAS OU TECNOLÓGICAS DA

PROPOSTA

Com a realização deste projeto, espera-se obter como resultados científicos:

• Uma dissertação de mestrado, durante 24 (vinte e quatro) meses;

• Dois projetos de Iniciação Científica, durante 24 (vinte e quatro) meses;

• Dois trabalhos de Conclusão de Curso, por ano;

• Pelo menos 03 (três) artigos em eventos, Qualis A, por ano;

• Dois Capítulos de livro, durante os 24 (vinte e quatro) meses

• Duas publicações em periódicos, durante 24 (vinte e quatro) meses.

As principais contribuições tecnológicas oriundas deste projeto serão:

• Sistemas de Gerenciamento de Banco de Dados em Tempo-Real:

implementação de um SGBD-TR embarcado.

• Sistemas Multiprocessados: análises e implementações sobre protocolo de

comunicação, avaliação de desempenho, sincronização, tolerância a falhas,

robustez, e paralelização de algoritmos, inicialmente desenvolvidos para

sistemas monoprocessados.

• Sistemas Inteligentes: implementação de tais sistemas que necessitam de

um grande processamento e armazenamento, em dispositivos com recursos

escassos. Adaptações e implementações para que esses sistemas inteligentes

possam ser executados no dispositivo embarcado tomando decisões em

tempo real.

• Protótipo, para aperfeiçoamento, de um sistema embarcado distribuído. Os

nós podem ser sensores, tags, microprocessadores, CLP, etc. O

processamento das consultas pode ser realizado no próprio dispositivo. Tais

consultas consideram as exigências das diferentes aplicações e o poder

computacional, dos dispositivos, será acrescido com a implementação do

multiprocessamento.

Page 9: Gerenciamento de Dados e Transações em Tempo … 039.pdf · • Dois trabalhos de Conclusão de Curso, por ano; ... • 2 (dois) ZELIO Logic - Módulo Lógico Inteligente SR1 no

F – ORÇAMENTO DETALHADO

Despesas com Capital: R$ 19.850,00 (dezenove mil oitocentos e cinqüenta reais)

1. Material permanente, incluindo equipamentos: R$ 19.850,00 (dezenove mil

oitocentos e cinqüenta reais).

• 1 (um) Micro-Computador com Processador Intel® Core™ 2 Duo E6300

(2M L2 cache, 1.86 GHZ, 1066 MHz) no valor individual de R$ 2.000,00

(dois mil reais).

• 1 (um) Laptop Sony Vaio VGN-SZ450AN Intel Centrino Core Duo 1.83

Ghz 2048 MBytes 120 GBytes no valor individual de R$ 5.250,00 (cinco

mil duzentos e cinqüenta reais).

• 1 (uma) Impressora laser xerox phaser 3150 no valor individual de R$

700,00 (setecentos reais).

• 1 (um) kit profissional para desenvolvimento de aplicações em redes de

sensores sem fio no valor individual de R$ 4.500,00 (quatro mil e

quinhentos reais).

• 1 (um) kit profissional para desenvolvimento de aplicações utilizando placas

com FPGA Altera no valor individual de R$ 1.500,00 (um mil e quinhentos

reais).

• 2 (dois) ZELIO Logic - Módulo Lógico Inteligente SR1 no valor individual de R$ 1.500,00 (um mil e quinhentos reais) e e total de R$ 3.000,00 (três mil reais).

• 1 (um) Osciloscópio Digital OD-320 (20Mhz) no valor individual de R$ 2.900,00 (dois mil e novecentos reais).

Despesa Total: R$ 19.850,00 (dezenove mil oitocentos e cinqüenta reais)

Page 10: Gerenciamento de Dados e Transações em Tempo … 039.pdf · • Dois trabalhos de Conclusão de Curso, por ano; ... • 2 (dois) ZELIO Logic - Módulo Lógico Inteligente SR1 no

G – CRONOGRAMA FÍSICO-FINANCEIRO

G.1 – CRONOGRAMA FÍSICO

ETAPAS 1º Ano 2º Ano

Revisão bibliográfica sobre sistemas de gerenciamento de banco de dados em tempo-real sobre os mecanismos para o gerenciamento de qualidade de serviços, e sobre sistemas reconfiguráveis e sistemas multiprocessados.

X

Implementação em placas de desenvolvimento e definição de uma arquitetura para colocá-la em funcionamento e perceber suas deficiências, para otimizá-la.

X

Desenvolvimento da arquitetura, incluindo o protocolo de comunicação adotado.

X X

Modelar um estudo de caso. X

Implementar um protótipo. X

Page 11: Gerenciamento de Dados e Transações em Tempo … 039.pdf · • Dois trabalhos de Conclusão de Curso, por ano; ... • 2 (dois) ZELIO Logic - Módulo Lógico Inteligente SR1 no

1

G.2 – CRONOGRAMA FINANCEIRO

Capital

Equipamentos e materiais permanentes

Total

Financeiro

Ano 1

Dez/Jan/Fev R$ 19.850,00 R$ 19.850,00Mar/Abr/Mai R$ 0,00Jun/Jul/Ago R$ 0,00Set/OutNov R$ 0,00

Ano 2

Dez/Jan/Fev R$ 0,00Mar/Abr/Mai R$ 0,00Jun/Jul/Ago R$ 0,00Set/OutNov R$ 0,00Total R$ 19.850,00 R$ 19.850,00

Page 12: Gerenciamento de Dados e Transações em Tempo … 039.pdf · • Dois trabalhos de Conclusão de Curso, por ano; ... • 2 (dois) ZELIO Logic - Módulo Lógico Inteligente SR1 no

1

H – IDENTIFICAÇÃO DOS DEMAIS PARTICIPANTES DO PROJETO

i. Nome: Marcelino Pereira dos Santos Silva (MCC - UERN)

ii. Título de mais alto nível: Doutorado

iii. Função: Pesquisador

iv. Descrição sucinta das atividades a serem desenvolvidas no projeto:

Atuará nas etapas 2 e 3 definidas na metodologia deste documento, podendo inclusive co-orientar um dos alunos de mestrado.

i. Nome: Francisco Milton Mendes Neto (MCC - UFERSA)

ii. Título de mais alto nível: Doutorado

iii. Função: Pesquisador

iv. Descrição sucinta das atividades a serem desenvolvidas no projeto:

Atuará nas etapas 1, 4 e 5 definidas na metodologia deste documento, podendo inclusive

co-orientar um dos alunos de mestrado.

i. Nome: Fabian Luis Vargas (PUC - RS)

ii. Título de mais alto nível: Doutorado (Pós-Doutorado)

iii. Função: Pesquisador

iv. Descrição sucinta das atividades a serem desenvolvidas no projeto:

Atuará nas etapas 1, 4 e 5 definidas na metodologia deste documento, podendo inclusive

co-orientar um dos alunos de Iniciação Científica.

i. Nome: Danniel Cavalcanti Lopes (DCA - UFRN)

ii. Título de mais alto nível: Doutorando

iii. Função: Pesquisador

iv. Descrição sucinta das atividades a serem desenvolvidas no projeto:

Atuará nas etapas 1, 4 e 5 definidas na metodologia deste documento, podendo inclusive

co-orientar um dos alunos de Iniciação Científica.

i. Nome: Yáskara Ygara Menescal Pinto Fernandes (DI-UERN)

ii. Título de mais alto nível: Mestrado

iii. Função: Pesquisadora

Page 13: Gerenciamento de Dados e Transações em Tempo … 039.pdf · • Dois trabalhos de Conclusão de Curso, por ano; ... • 2 (dois) ZELIO Logic - Módulo Lógico Inteligente SR1 no

1

iv. Descrição sucinta das atividades a serem desenvolvidas no projeto:

Atuará nas etapas 1, 2 e 3 definidas na metodologia deste documento, podendo inclusive co-orientar um dos alunos de Iniciação Científica. i. Nome: Cicilia Raquel Maia Leite (DI - UERN)

ii. Título de mais alto nível: Mestrado

iii. Função: Pesquisadora

iv. Descrição sucinta das atividades a serem desenvolvidas no projeto:

Atuará nas etapas 1 e 6 definidas na metodologia deste documento, podendo inclusive co-orientar um dos alunos de Iniciação Científica. i. Nome: João Batista Borges Neto (DETI - UFC)

ii. Título de mais alto nível: Mestrando

iii. Função: Pesquisador

iv. Descrição sucinta das atividades a serem desenvolvidas no projeto:

Atuará nas etapas 1, 4, e 5 definidas na metodologia deste documento, podendo inclusive co-orientar um dos alunos de Iniciação Científica.

Page 14: Gerenciamento de Dados e Transações em Tempo … 039.pdf · • Dois trabalhos de Conclusão de Curso, por ano; ... • 2 (dois) ZELIO Logic - Módulo Lógico Inteligente SR1 no

1

I – GRAU DE INTERESSE E COMPROMETIMENTO DE EMPRESAS COM O

ESCOPO DA PROPOSTA

Este projeto, uma vez realizado, contribuirá para atender a demanda por soluções

inovadoras de software e hardware exigidas pelo parque tecnológico instalado na Região de

Mossoró. A maioria das empresas instaladas nesta Região possui diversos desafios

relacionados a automação de suas atividades. Os resultados deste projeto de pesquisa

podem contribuir para as aplicações de técnicas de melhoria de processo de automação

destas empresas.

Este projeto pode beneficiar, sobretudo, os Arranjos Produtivos Locais (APL) do

Mineral e do Agronegócio definidos no Estado do Rio Grande do Norte. Outra forte

demanda por este projeto pode ser gerada pelo setor de Turismo do Estado.

Com relação ao petróleo, Mossoró possui mais de 3.500 poços, produzindo 47 mil

barris/dia. Estes dados colocam o município como o segundo do país, sendo o primeiro em

terra, e torna Mossoró a campeã em recebimento de royalties da Petrobras no Estado. A

cidade recebe, em média, R$ 1,8 milhão por mês. Estes recursos são investidos na infra-

estrutura urbana do município. O município é o principal pólo petrolífero potiguar, com

mais de 100 empresas diretamente ligadas ao setor, que têm demanda de aproximadamente

400 novos profissionais por ano. Como se trata de uma atividade com alto índice de

terceirização, diversas empresas atuam em segmentos como perfuração, geologia,

manutenção de equipamentos, construção de oleodutos e gasodutos, transportes, entre

outros. Estima-se que o setor petrolífero gera cerca de 20 mil empregos diretos e indiretos

na região.

O Rio Grande do Norte é responsável por 90% da produção brasileira de melão que

é exportada. Em 2004, a região de Mossoró produziu 194 mil toneladas de melão, sendo

que 84,5% dessa produção, o equivalente a 164 mil toneladas, foi exportada. De acordo

com o Comitê Executivo de Fitossanidade do Rio Grande do Norte (COEX), atualmente a

fruticultura irrigada gera 24 mil empregos diretos e outros 60 mil de forma indireta. Além

de empresas, como a Nolen e a Del Monte, que destinam 80% de sua produção ao mercado

Page 15: Gerenciamento de Dados e Transações em Tempo … 039.pdf · • Dois trabalhos de Conclusão de Curso, por ano; ... • 2 (dois) ZELIO Logic - Módulo Lógico Inteligente SR1 no

1

externo, há um número considerável de médias e pequenas empresas do ramo da

fruticultura instaladas em Mossoró.

Page 16: Gerenciamento de Dados e Transações em Tempo … 039.pdf · • Dois trabalhos de Conclusão de Curso, por ano; ... • 2 (dois) ZELIO Logic - Módulo Lógico Inteligente SR1 no

1

J – INDICAÇÃO DE COLABORAÇÕES OU PARCERIAS JÁ ESTABELECIDAS

COM OUTROS CENTROS DE PESQUISA NA ÁREA

Recentemente, foi firmada uma parceria entre os cursos de Ciência da Computação

da UFERSA (Universidade Federal Rural do Semi-Árido) e da UERN (Universidade do

Estado do Rio Grande do Norte) para criação de um programa de MESTRADO em Ciência

da Computação em Mossoró. Desta parceria surgiram inúmeras iniciativas de pesquisa em

conjunto entre os pesquisadores destas instituições. Este projeto caracteriza uma destas

iniciativas, uma vez que parte das atividades do projeto será realizada por pesquisadores da

UERN.

O grupo de pesquisadores envolvido neste projeto tem atuado em atividades

acadêmicas relacionadas a ensino, pesquisa e extensão. Estes têm colaborado ativamente

com pesquisadores vinculados ao Programa de Pós-Graduação em Ciência da Computação

e Teleinformática, cursos de mestrado e doutorado, da Universidade Federal do Ceará

(UFC), ao Programa de Pós-Graduação em Engenharia Elétrica, cursos de mestrado e

doutorado, da Universidade Federal de Campina Grande (UFCG), ao Programa de Pós-

Graduação em Engenharia Elétrica, cursos de mestrado e doutorado, da Pontifícia

Universidade Católica do Rio Grande do Sul (PUCRS), ao Programa de Pós-Graduação em

Engenharia da Computação, curso de mestrado e doutorado, da Universidade Federal do

Rio Grande do Norte (UFRN), ao Centro de Educação Tecnológica (CEFET), unidade

Mossoró, e ao Programa de Pós-Graduação em Ciência da Computação, curso de mestrado,

da Universidade Federal Rural do Semi-Árido (UFERSA) em associação ampla com a

Universidade do Estado do Rio Grande do Norte (UERN).

O envolvimento destes pesquisadores possibilitará ampliar as oportunidades e a

interação nacional das instituições parceiras. O aumento da integração dos grupos de

pesquisa será então fomentado através de mais atividades conjuntas.

A aprovação desse projeto viabilizará discussões interdisciplinares, por existir na

UERN os cursos de Física (Graduação e Mestrado), Química e Biologia, gerando com isso

Page 17: Gerenciamento de Dados e Transações em Tempo … 039.pdf · • Dois trabalhos de Conclusão de Curso, por ano; ... • 2 (dois) ZELIO Logic - Módulo Lógico Inteligente SR1 no

1

soluções de software para sistemas embarcados de tempo-real mais eficazes para os APL

Mineral e Agronegócio. Esse projeto também dará sustentabilidade ao Grupo de

Engenharia de Software - GES, cadastrado e certificado pela UERN, e será de suma

importância para o programa de Mestrado em Ciência da Computação –

MCC/UERN/UFERSA, uma vez que várias pesquisas terão como área engenharia de

software, sub-área sistemas embarcados de tempo-real e tópicos diversos. O GES conta

atualmente com quatro doutores, sendo dois bolsistas de produtividade da UERN, seis

mestres, e onze alunos, ou profissionais, sendo quatro bolsistas de iniciação científica. O

programa MCC/UERN/UFERSA possui duas linhas de pesquisa: Infra-Estrutura de

Comunicação e Sistemas Computacionais. O corpo docente do Programa possui sólida

formação em Ciência da Computação, Engenharia Elétrica, Telecomunicações e

Matemática, os quais desenvolvem relevantes projetos em áreas estratégicas da

Computação que têm gerado produção científica de alto nível. Estes docentes têm atuação

na formação de pesquisadores, em grupos de pesquisa e em projetos com IES no país

(UFRN, UFC, UECE, UFCG, UFPE, UNICAMP, INPE, PUC-Rio, dentre outros), os quais

contam com apoio financeiro da CAPES, da FINEP, do CNPq e da FAPERN (Fundação de

Apoio à Pesquisa do Rio Grande do Norte). Uma área em particular, onde existem esforços

concentrados do PPGCC na produção de conhecimento e tecnologias, é a área de bancos de

dados para sistemas embarcados. Demandas tecnológicas regionais na indústria de petróleo,

gás e no agronegócio têm motivado a pesquisa nesta área, inclusive no domínio de redes de

sensores, de sensores inteligentes, RFID e microprocessadores.

Page 18: Gerenciamento de Dados e Transações em Tempo … 039.pdf · • Dois trabalhos de Conclusão de Curso, por ano; ... • 2 (dois) ZELIO Logic - Módulo Lógico Inteligente SR1 no

1

K – DISPONIBILIDADE EFETIVA DE INFRA-ESTRUTURA E DE APOIO

TÉCNICO PARA O DESENVOLVIMENTO DO PROJETO

LABORATÓRIOS DE INFORMÁTICA:

A UERN conta com 5 (cinco) laboratórios para atividades de ensino e pesquisa.

Dois deles possuem 15 computadores cada e são compartilhados para atividades de

pesquisa e ensino, enquanto os outros três são dedicados à pesquisa. Destes, temos o

Laboratório de Engenharia de Software (LES), que possui 5 (cinco) computadores em rede

dedicados à pesquisa no desenvolvimento de produtos e processos de software, incluindo

computação móvel, computação pervasiva, computação ubíqua, redes de sensores e

mineração de dados, além de abrigar projetos e alunos de iniciação científica. O Segundo é

o Laboratório de Otimização e Inteligência Artificial (LOIA), que possui 6 (seis)

computadores em rede dedicados à pesquisa em Inteligência Computacional, abrigando

projetos e alunos de iniciação científica desta área. O terceiro é o Laboratório de Redes e

Sistemas Distribuídos (LORDI), que possui 12 computadores/servidores com configurações

distintas, sendo um ambiente para o desenvolvimento de pesquisa básica e aplicada nas

áreas de Redes de Computadores e Sistemas Distribuídos. O backbone da UERN é

constituído por fibra ótica, cuja estrutura de comunicação da rede local possui 8 switches e

sua conectividade é de 100 Mbps. A conexão com a Internet ocorre através da Telemar por

um link de 3Mbps.

As informações abaixo apresentam um resumo do rol dos equipamentos dedicados à

pesquisa por laboratório:

O Laboratório em Engenharia de Software possui, além da infra-estrutura disponível

da UERN para execução do projeto, ora apresentada, os laboratórios da UFCG, UFC,

CEFETRN e UFERSA para realização das pesquisas.

BIBLIOTECA:

Page 19: Gerenciamento de Dados e Transações em Tempo … 039.pdf · • Dois trabalhos de Conclusão de Curso, por ano; ... • 2 (dois) ZELIO Logic - Módulo Lógico Inteligente SR1 no

1

A Biblioteca Central da UERN possui 1.731,50 m2 de área física construída. Ela

conta, atualmente, com um acervo de 69.447 livros, sendo 525 da área de computação,

além de 1.463 títulos de periódicos, de 16.861 exemplares e de uma coleção especial

formada por dissertações, teses, monografias e anais de eventos. Esta biblioteca possui 2

salas de estudos e 8 computadores para acesso dos usuários ao Portal Periódicos e à

Internet.

Page 20: Gerenciamento de Dados e Transações em Tempo … 039.pdf · • Dois trabalhos de Conclusão de Curso, por ano; ... • 2 (dois) ZELIO Logic - Módulo Lógico Inteligente SR1 no

2

L – ESTIMATIVA DOS RECURSOS FINANCEIROS DE OUTRAS FONTES QUE

SERÃO APORTADOS PELOS EVENTUAIS AGENTES PÚBLICOS E PRIVADOS

PARCEIROS

Alguns esforços estão sendo realizados para obtenção de recursos. Como principais,

destacamos: o projeto intitulado “Sistema de Gerenciamento de Banco de Dados em

Tempo-Real para Aplicações em Redes de Sensores (BDSensor)”, submetido para o

EDITAL FAPERN / MCT/ CNPq/ CT-INFRA Nº 003/2007. O projeto intitulado

“Desenvolvimento de Software para Sistemas Embarcados e Móvel”, submetido para o

EDITAL MCT/CNPq/CT-Info nº 11/2007 EXTENSÃO INOVADORA 2007. O projeto

intitulado “APLMIN-RN – Fortalecimento da estrutura de apoio à pesquisa para o Arranjo

Produtivo Mineral do RN”, submetido para o EDITAL CONVITE AOS ESTADOS –

MCT/FINEP/Ação Transversal – PROJETO ESTRUTURANTE C,T, e I 12/2007. O

projeto intitulado “Algoritmos para Processamento e Aplicações Estratégicas de Imagens

de Tomografia Sísmica, Ressonância Magnética, Radar GPR e Satélite CBERS-2B”,

submetido para o EDITAL PROGRAMA NACIONAL DE PÓS-DOUTORADO - PNPD.

Page 21: Gerenciamento de Dados e Transações em Tempo … 039.pdf · • Dois trabalhos de Conclusão de Curso, por ano; ... • 2 (dois) ZELIO Logic - Módulo Lógico Inteligente SR1 no

2

M – JUSTIFICATIVA DO APOIO PRETENDIDO

O aporte solicitado neste projeto possibilitará o estudo de soluções de software para

sistemas embarcados de tempo-real, incluindo computação móvel, computação pervasiva,

computação ubíqua, redes de sensores e mineração de dados. As soluções de software a

serem desenvolvidas são: produtos de software para pequenos dispositivos

(microncontroladores, sensores, Radio Frequency Identification - RFID, celulares,

Personal Digital Assistant – PDA, Global Positioning System – GPS, FPGA);

sensoriamento remoto; multiprocessamento; modelos formais que permitam a verificação e

validação dos sistemas propostos; geração de informações implícitas e potencialmente úteis

com a mineração dos dados obtidos com a atuação dos pequenos dispositivos.

O aporte solicitado para diárias e passagens serão utilizados para financiar viagens

para congressos e eventos nacionais necessários para divulgação dos resultados do projeto e

para atualização dos conhecimentos dos integrantes da equipe.