Raimundo da Silva Barreto

  1. -Current. Geração Automática de Analíticos e Recomendações Inteligentes de Aprendizagem no Contexto da Educação Baseada em Tecnologias usando Técnicas de Mineração de Dados Educacionais e Aprendizado de Máquina. (Coordenador)

    Description: O uso de analíticos de aprendizagem como a principal fonte de geração de recomendações inteligentes para professores e alunos. A inovação está na coleta de dados automáticos da interação dos alunos com o material didático disponível através de uma plataforma educacional baseada em tecnologias. A proposta é usar métricas de aprendizagem, e os dados coletados automaticamente, para gerar os analíticos e as recomendações para o aperfeiçoamento tanto do ensino quanto da aprendizagem.

    Members: Raimundo da Silva Barreto; Edwin Juan Lopes Barboza Monteiro; Maely da Silva Moraes; Gabriel de Souza Leitão.

    Funders: Fundação de Amparo a Pesquisa do Estado do Amazonas.

  2. -Current. Geração Automática de Analíticos e Recomendações Inteligentes de Aprendizagem no Contexto da Educação Baseada em Tecnologias usando Técnicas de Mineração de Dados Educacionais e Aprendizado de Máquina. (Coordenador)

    Description: O uso de analíticos de aprendizagem como a principal fonte de geração de recomendações inteligentes para professores e alunos. A inovação está na coleta de dados automáticos da interação dos alunos com o material didático disponível através de uma plataforma educacional baseada em tecnologias. A proposta é usar métricas de aprendizagem, e os dados coletados automaticamente, para gerar os analíticos e as recomendações para o aperfeiçoamento tanto do ensino quanto da aprendizagem.Este projeto tem como objetivo principal prover recomendações inteligentes, tanto para alunos quanto professores, a partir da geração de analíticos de aprendizagem baseados em métricas da interação dos alunos com uma plataforma educacional baseada em tecnologiasEste projeto tem os seguintes objetivos específicos:1. Propor um método de geração de analíticos de aprendizagem, usando mineração de dados educacionais, a partir dos dados de interação dos alunos com uma plataforma educacional;2. A partir dos analíticos de aprendizagem, gerar recomendações inteligentes para professores e alunos;3. Experimentar a solução propostas em escolas da rede pública e particular;4. Fazer a transferência tecnológica para escolas interessadas;5. Publicar nas principais conferências e revistas especializadas da área.

    Members: Raimundo da Silva Barreto; Edwin Juan Lopes Barboza Monteiro; Gabriel de Souza Leitão.

    Funders: Não possui.

  3. -Current. Técnicas de Inteligência Artificial para Análise e Otimização de Desempenho de Software - SW_PerfI. (Participante)

    Description: Projeto de Pesquisa, Desenvolvimento e Inovação Tecnológica (PDI) sobre a aplicação de técnicas de inteligência artificial e afins, para a análise, verificação formal e otimização de desempenho de software, explorando o impacto de componentes de hardware no sistema embarcado, como consumo de bateria, comunicação em rede e gerenciamento de memória

    Members: Raimundo da Silva Barreto; Rosiane de Freitas Rodrigues; Lucas Carvalho Cordeiro.

    Funders: Não possui.

  4. -Current. SAPIENTIA : Plataforma inteligente para testes exploratórios autônomos e revisão de defeitos de software embarcados. (Participante)

    Description:

    Members: Raimundo da Silva Barreto; Lucas Carvalho Cordeiro; Juan Colonna; José Reginaldo Hughes Carvalho.

    Funders: Samsung Eletrônica da Amazônia.

  5. -Current. MODELAGEM, VERIFICAÇÃO FORMAL, METODOLOGIAS E FERRAMENTAS PARA DESENVOLVIMENTO DE SISTEMAS CIBER-FÍSICOS. (Coordenador)

    Description: O projeto "Modelagem, Verificação, Metodologias e Ferramentas para Desenvolvimento de Sistemas Ciber-Físicos" visa elevar o nível de conhecimento, competência e qualidade no desenvolvimento de sistemas ciberfísicos, tanto na inovação tecnológica de produto e de processo, quanto na formação de pessoal qualificado, em nível de graduação, mestrado, doutorado e outros profissionais. Este projeto vai atuar mais fortemente nas linhas de pesquisa relacionadas com o desenvolvimento de sistemas ciber-físicos e verificação formal com alto grau de complexidade e de natureza crítica. A proposta é que se possa fazer transferência tecnológica para possíveis empresas interessadas.

    Members: Raimundo da Silva Barreto; Gabriel Leitão; Anderson de Araújo Cruz; Edson de Araújo Silva; Nilmara da Silva Salgado; Márcio André da Costa Alencar; Romário Lira Batista.

    Funders: Fundação de Amparo a Pesquisa do Estado do Amazonas.

  6. -Current. Computação Desplugada: Ensinando Computação sem Computadores. (Coordenador)

    Description: O projeto consiste em ensinar os fundamentos de Ciência da Computação a crianças e adolescentes sem a necessidade do uso de computadores. Essa metodologia chamada ?Computação Desplugada? oferece a vantagem de alcançar até as mais carentes comunidades, visto que é independente de recursos de hardware e software. A liberdade de se poder realizar as atividades ao ar livre, também a torna um diferencial entre as metodologias de ensino da computação convencionais. O projeto é voltado a crianças e adolescentes mas pode ser aderido por quem interessar, independente de serem jovens ou adultos. Afinal, há computadores por toda a parte e todos precisam aprender a usá-los. Perguntas de como eles funcionam, como são estruturados, o que os move, são cada vez mais frequentes e é a computação que explora essas perguntas e suas respostas.

    Members: Raimundo da Silva Barreto; Odette Mestrinho Passos.

    Funders: Pró-reitoria de Extensão e Interiorização da UFAM.

  7. -Current. Computação Desplugada: Ensinando Computação sem Computadores. (Coordenador)

    Description: O projeto consiste em ensinar os fundamentos de Ciência da Computação a crianças e adolescentes sem a necessidade do uso de computadores. Essa metodologia chamada ?Computação Desplugada? oferece a vantagem de alcançar até as mais carentes comunidades, visto que é independente de recursos de hardware e software. A liberdade de se poder realizar as atividades ao ar livre, também a torna um diferencial entre as metodologias de ensino da computação convencionais. O projeto é voltado a crianças e adolescentes mas pode ser aderido por quem interessar, independente de serem jovens ou adultos. Afinal, há computadores por toda a parte e todos precisam aprender a usá-los. Perguntas de como eles funcionam, como são estruturados, o que os move, são cada vez mais frequentes e é a computação que explora essas perguntas e suas respostas.

    Members: Raimundo da Silva Barreto; Odette Mestrinho Passos.

    Funders: Não possui.

  8. -Current. Modelagem, Verificação Formal, Metodologias e Ferramentas para Desenvolvimento de Sistemas Embarcados. (Coordenador)

    Description: Este projeto visa elevar o nível de conhecimento, competência e qualidade no desenvolvimento de sistemas embarcados, tanto na inovação tecnológica de produto e de processo, quanto na formação de pessoal qualificado, em nível de graduação, mestrado, doutorado e outros profissionais. Este projeto vai atuar mais fortemente nas linhas de pesquisa relacionadas com o desenvolvimento de sistemas embarcados com alto grau de complexidade e de natureza crítica. Diversos desafios deverão ser superados, como por exemplo, lidar com severas restrições (consumo de energia, memória, poder de processamento, etc), sensoriamento, protocolos de comunicação, tratando questões importantes como geração automática de código, integração de sistemas, testes e verificação, modelagem e verificação formal, metodologias de desenvolvimento e segurança.

Espera-se obter os seguintes resultados: (1) gerar diversas ferramentas de apoio ao projetista para desenvolvimento de aplicativos com restrições temporais, estimativa de consumo de energia, restrições de consumo de energia e verificação e testes de programas; (2) integrar todas as ferramentas anteriores; (3) aplicar todas essas ferramentas em estudos de caso práticos do mundo real; (4) formar mão de obra qualificada em SE; (5) publicar nas principais conferências e revistas nacionais e internacionais da área de SE; (6) transferir tecnologias da universidade para possíveis empresas interessadas na melhoria qualidade de software de SE com restrições temporais, de energia ou de segurança; e (7) melhorar a contínua atuação do grupo de pesquisa em SE na UFAM.

    Members: Raimundo da Silva Barreto; Eduardo Valentin; Herbert Oliveira Rocha; Daniella Rodrigues Bezerra; Marcos André Fernandes Spósito; Gabriel Leitão.

    Funders: Fundação de Amparo a Pesquisa do Estado do Amazonas.

  9. -Current. Sistemas para Avaliação de Comportamento e Recomendação Inteligente em Ambientes Educacionais e de Saúde Remota. (Coordenador)

    Description: Este projeto de cooperação entre a SAMSUNG Eletrônica da Amazônia Ltda e o Instituto de Computação da Universidade Federal do Amazonas tem como meta principal propor um sistema de recomendação inteligente aplicado à área de educação e, tendo a saúde como um tema relacionado. Para melhorar o entendimento da proposta de pesquisa e desenvolvimento, esta descrição foi dividida em dois subprojetos: (1) Modelos de Reconhecimento de Comportamento Humano e Atividades Baseados em Sensores e Sinais Honestos. Esse subprojeto visa pesquisar e desenvolver modelos inovadores de inteligência do ambiente voltados para a classificação e o aprendizado de atividades e comportamentos de pessoas usando dados multidimensionais de sensores, inclusive sensores biométricos; (2) Modelos de Planejamento Inteligente para Material Educacional. Esse subprojeto visa pesquisar e desenvolver sistemas de recomendação inteligentes capazes de procurar material apropriado de forma autônoma entre repositórios de objetos de aprendizado.

O objetivo geral deste projeto é a avaliação do comportamento individual e social, além de propor modelos otimizados e seguros de coleta e transmissão de dados e geração de um sistema de recomendações inteligente, dentro do contexto educacional e de saúde, propondo soluções modernas, baseadas em produtos desenvolvidos sobre propriedade intelectual protegida da SAMSUNG, com características orientadas para o futuro e que façam uma contribuição inovadora e diferenciada para o mercado. Os objetivos específicos deste projeto incluem: (i) geração de novos métodos, técnicas, ferramentas, modelos e tecnologias que entreguem serviços avançados de avaliação de comportamento e de recomendação inteligente; (ii) criação de um repositório de informação educativa para apoiar os educadores na preparação de material de aulas; (iii) criação de métodos e técnicas que adotem dispositivos vestíveis e sensores biomédicos para poder diagnosticar com mais precisão situações de ansiedade, hiperatividade ou sono e, dessa forma, fazer recomendações; (iv) propor métodos, técnicas e ferramentas para reconhecer as atividades e comportamentos individuais dentro do contexto de sala de aula, usando dados multidimensionais de sensores, que tenham desempenho melhor do que os encontrados atualmente na literatura do estado-da-arte, e que possam ser ajustados dependendo do perfil de cada usuário, provendo alertas e recomendações personalizadas e contextualizadas, com o objetivo de prover monitoramento contínuo e melhorar a relação ensino-aprendizagem dos alunos e professores.

    Members: Raimundo da Silva Barreto; Moisés Gomes de Carvalho; Gabriel Leitão; Juan Colonna; Francisca Maria Coelho Cavalcanti; Vandermi João da Silva; Ingrid Nascimento da Costa; André Luiz da Costa Carvalho.

    Funders: Não possui.

  10. -Current. Programa de Capacitação de Recursos Humanos em Tecnologias da Informação e Computação e em Sistemas e Aplicativos para Plataformas Tecnológicas Portáteis, Móveis e Distribuídas (PROMOBILE). (Participante)

    Description: Programa de capacitação de três anos e de larga escala, a ser implantado simultaneamente em três campi (Manaus, Itacoatiara e Boa Vista) com o objetivo de criar massa crítica de especialistas em plataformas de software para dispositivos portáteis e móveis, mais especificamente Android e Tizen. O programa apoia cinco linhas de pesquisa e desenvolvimento: gerenciamento de consumo de energia, interface com usuário tangível, segurança, conteúdo peer to peer e aplicativos de e-learning. O programa contará com 80 bolsas de graduação, 16 de mestrado e 5 de doutorado, além de apoio à realização de três eventos por ano e treinamento de curta duração com conteúdo aprofundado.

    Members: Raimundo da Silva Barreto; José Reginaldo Carvalho; Horácio Antonio Braga Fernandes Oliveira; Elaine Harada Teixeira de Oliveira; César Augusto Viana Melo.

    Funders: Não possui.

  11. -Current. Computação Desplugada: Ensinando Computação sem o Uso de Computadores. (Coordenador)

    Description: O objetivo geral deste projeto é o de popularizar os fundamentos da ciência da computação, junto ás crianças e adolescentes de escolas públicas, usando a técnica conhecida como "computação desplugada", que consiste em uma coleção de atividade lúdicas desenvolvidas com o objetivo de ensinar conceitos computacionais sem a necessidade de computadores.

    Members: Raimundo da Silva Barreto; Odette Mestrinho Passos; Anacília Cavalcante Vieira.

    Funders: Fundação de Amparo a Pesquisa do Estado do Amazonas.

  12. -Current. Computação Desplugada: Ensinando Computação sem o Uso de Computadores. (Coordenador)

    Description: Jean Piaget afirmava: "O pensamento se desenvolve através de ações e não de palavras.". O objetivo geral deste projeto é o de popularizar os fundamentos da ciência da computação, junto com crianças e adolescentes de escolas públicas, tanto de Manaus quanto de Itacoatiara, usando a técnica conhecida como "computação desplugada", que consiste em passar o conhecimento da computação sem usar o computador através de diversas atividades. Este tipo de aprendizagem possibilita promover a construção de conhecimentos de forma natural, divertida e agradável. Os jogos ajudam a criar um entusiasmo sobre o conteúdo a ser trabalhado a fim de que os estudantes se interessem e se motivem de forma que expressem, ajam e interajam nas atividades lúdicas. A execução deste projeto é relevante tanto para as crianças participantes quanto para os professores e bolsistas envolvidos. Muitas crianças e adolescentes ainda vêem o computador como algo distante e inalcançável. Em algumas escolas da periferia, muitas crianças nunca tiveram contato com um computador. Como resultado, as crianças vão adquirir compreensão sobre como funcionam os computadores, além de desenvolvem as suas habilidades de comunicação, resolução de problemas, criatividade e diversos outros elementos cognitivos. Para os professores e bolsistas do projeto, haverá a interação da academia com a sociedade, através da troca de informações, e a satisfação de passar conhecimentos importantes e que seria difícil para algumas crianças obterem.

    Members: Raimundo da Silva Barreto; Odette Mestrinho Passos; Anacília Cavalcante Vieira.

    Funders: Fundação de Amparo a Pesquisa do Estado do Amazonas.

  13. -Current. PET Computação. (Coordenador)

    Description: Programa de Educação Tutorial (PET) é desenvolvido por um grupo de estudantes, chamados de alunos bolsistas, com a tutoria de um docente, sendo no máximo um por cada curso de graduação de Instituições de Ensino Superior (IES), orientados pelo princípio da indissociabilidade entre ensino, pesquisa e extensão.

De forma geral, os PETs têm como objetivos: (1) Desenvolver atividades acadêmicas em padrões de qualidade de excelência, mediante grupos de aprendizagem tutorial de natureza coletiva e interdisciplinar; (2) Contribuir para a elevação da qualidade da formação acadêmica dos alunos de graduação; (3) Promover a formação de profissionais e docentes de elevada qualificação técnica, científica, tecnológica e acadêmica; (4) Formular novas estratégias de de desenvolvimento e modernização do ensino superior no país; (5) Estimular o espírito crítico, bem como a atuação profissional pautada pela ética, pela cidadania e pela função social da educação superior.

No caso do PET Computação, além da integração do tripé ensino-pesquisa-extensão, a proposta se diferencia pela necessidade urgente da capacitação de pessoal qualificado para o desenvolvimento de sistemas embarcados, além tratar não só aspectos técnicos mas, principalmente, culturais, éticos e questões cidadania. Ou seja, a formação de profissionais não só com pensamento sistêmico, mas com uma visão holística da sociedade, através do contato sistemático com a comunidade acadêmica e com a sociedade, através da execução de atividades usando o trabalho coletivo e cooperativo, o que certamente favorece o desenvolvimento habilidades sociais e éticas.

    Members: Raimundo da Silva Barreto.

    Funders: Não possui.

  14. -Current. Núcleo de Excelência em Desenvolvimento de Sistemas Embarcados para Veículos Aéreos Não-Tripulados e Robôs Táticos Móveis.. (Coordenador)

    Description: Este Núcleo de Excelência visa a pesquisa e desenvolvimento de novos métodos, técnicas e ferramentas para a construção de sistemas embarcados críticos que usem veículos robóticos de aplicação crítica (VRACs) em situações onde aspectos de segurança e disponibilidade são fundamentais. A proposta é que os sistemas sejam construídos com máxima garantia de corretude. Exemplos de VRACs incluem Veículos Aéreos Não-Tripulados (VANTs), Robôs Táticos Móveis (RTMs) e Veículos Autônomos Submergíveis (VAS). Um maior nível de autonomia são atingidos quando for incorporado a eles a capacidade de percepção (sensores e sistemas que conseguem ?interpretar? o ambiente onde ele atua), capacidade de agir (atuadores, motores e sistemas de controle capazes de produzir ações, tais como o deslocamento do robô no ambiente), robustez e inteligência (capacidade de lidar com as mais diversas situações, de modo a resolver e executar tarefas por mais complexas que sejam). Os VRACs possuem as aplicações das mais variadas, desde aplicações ambientais (inspeção de reservas ambientais e gasodutos, desastres ecológicos, monitoramento de animais, pesquisas climáticas), quanto aplicações de segurança (reconhecimento e localização de alvos). Independente de suas especificidades com respeito à mobilidade (aéreo, terrestre aquático, etc), os VRACs possuem restrições críticas de segurança, disponibilidade e tolerância a falhas em todos os seus principais subsistemas: i) o veículo propriamente dito; ii) o subsistema de comando e supervisão; iii) o subsistema de comunicação, todos inseridos no domínio dos sistemas embarcados críticos.

    Members: Raimundo da Silva Barreto; Ruiter Braga Caldas; José Luiz de Souza Pio; Paulo Romero Martins Maciel; Horácio Antonio Braga Fernandes Oliveira; Tayana Uchôa Conte; José Carlos Maldonado; Arilo Cláudio Dias Neto; Eulanda Miranda Santos; Jordan Lima Caetano; Jó Oliveira Vidal; Marcos Paulo Siqueira Farias.

    Funders: Fundação de Amparo a Pesquisa do Estado do Amazonas.

  15. -Current. FCF para a sociedade: a criação do site da Faculdade de Ciências Farmacêuticas e do PET FARMÁCIA. (Coordenador)

    Description: O projeto visa à construção de um site sobre o curso de Farmácia da UFAM. Este site pretende diversificar as atividades de divulgação do curso de Farmácia junto à sociedade, ressaltanto as suas atividades, conteúdo disciplinar, pesquisas desenvolvidas e informações sobre a ciência farmacêutica, além de informações sobre o corpo docente e discente da FCF. Este projeto contará com a participação de alunos do curso da Ciência da Computação, os quais serão os responsáveis pela construção do site da FCF e a integração com o website da UFAM. Os alunos do curso de Farmácia irão prover as informações e dados disponíveis sobre o curso, desde informações históricas, criação do curso, conteúdo programático de disciplinas, dados de pesquisadores e
links interessantes sobre ciências farmacêuticas. A proposta é que as informações possam ser atualizadas de forma dinâmica, de forma que pouco esforço seja necessário para que tais atualizações possam ser feitas. Para tanto será adotado algum sistema de gerência de conteúdo (do inglês Content Management System). Essa atividade pretende suprir a carência de informações sobre o curso de Farmácia da UFAM para a sociedade.

    Members: Raimundo da Silva Barreto; Junia Raquel Dutra Ferreira.

    Funders: Pró-reitoria de Extensão e Interiorização da UFAM.

  16. -Current. Instituto Nacional de Ciência e Tecnologia em Sistemas Embarcados Críticos (INCT-SEC). (Participante)

    Description: O objetivo do INCT-SEC é elevar o nível de conhecimento, competência e qualidade no país sobre o desenvolvimento de sistemas embarcados críticos. A relação academia-indústria é fortemente explorada no desenvolvimento de soluções nesses diversos domínios e a difusão científica e a formação de recursos humanos são ações primordiais. Dentre suas metas específicas, está o desenvolvimento de pesquisas para a construção de sistemas embarcados críticos com ênfase em veículos aéreos, terrestres, aquáticos e subaquáticos autônomos.

    Members: Raimundo da Silva Barreto; Horácio Antonio Braga Fernandes Oliveira; Tayana Uchôa Conte; José Carlos Maldonado; Arilo Claudio Dias Neto; José Reginaldo Hughes Carvalho.

    Funders: Não possui.

  17. -Current. SEMPRE: Sistemas Embarcados Multimídia PoRtáteis com baixo consumo de Energia. (Coordenador)

    Description: Sistemas multimídia são muito usados em celulares, palm-tops, assistentes pessoais digitais (Personal Digital Assistants ? PDAs), internet tablets, etc. Estes equipamentos usualmente dependem de baterias para sua execução. Uma das principais preocupações dos projetistas de tais equipamentos está na sua autonomia, ou seja, o quanto pode ser usado sem a necessidade de recarga da bateria. Esta característica faz um grande diferencial de mercado. Multimídia pode ser executada em diversos tipos de equipamentos, inclusive os equipamentos portáteis que são dispositivos menores e mais restritos, por exemplo, PDAs, Internet Tablets, Smart Phones, dentre outros. O desenvolvimento de sistemas para esses equipamentos é mais desafiador do que para equipamentos convencionais. Isso porque os dispositivos portáteis possuem diversas restrições, como por exemplo, restrição de peso, tamanho, de consumo de energia, de consumo de memória e poder de processamento. A restrição a ser tratada neste projeto é a de desenvolver sistemas multimídia a com baixo consumo de energia. A proposta deste projeto é aplicar a técnica conhecida como escala dinâmica de voltagem e freqüência (dynamic voltage and frequency scaling - DVFS), onde a freqüência do clock, e a correspondente voltagem, podem ser controladas dinamicamente para o nível mínimo possível ao mesmo tempo em que as restrições temporais (deadline) da tarefa continuam sendo atingidas. Um problema que existe na utilização de DVFS é que a alteração da voltagem é de inteira responsabilidade do programador da aplicação. Por exemplo, não existem guias para selecionar os melhores locais onde colocar código de alteração de voltagem. Adicionalmente, programadores não são familiares com questões de baixo consumo de energia do software e técnicas de análise temporal. Na prática, é muito difícil usar DVFS em aplicações de tempo-real sem o suporte de uma metodologia de desenvolvimento sistemático, que é uma das propostas desse projeto.

    Members: Raimundo da Silva Barreto; Ruiter Braga Caldas; Meuse Nogueira de Oliveira Júnior.

    Funders: Conselho Nacional de Desenvolvimento Científico e Tecnológico; Conselho Nacional de Desenvolvimento Científico e Tecnológico.

  18. -Current. Inclusão Digital de Jovens e Adolescentes da Cidade de Manaus. (Coordenador)

    Description: Este projeto visa a realização de cursos de informática para jovens e adolescentes de baixa renda de vários bairros da cidade de Manaus. Esta proposta visa proporcionar a inclusão digital à juventude manauense que não possui condições, muitas vezes financeiras, de obter orientações sobre manutenção, instalação, configuração e manuseio de computadores.

    Members: Raimundo da Silva Barreto.

    Funders: Pró-reitoria de Extensão e Interiorização da UFAM.

  19. -Current. PESQUISA E DESENVOLVIMENTO DE SISTEMAS EMBARCADOS COM BAIXO CONSUMO DE ENERGIA. (Coordenador)

    Description: O projeto de sistemas embarcados de baixa potência tem despertado muito interesse nos últimos anos. A principal razão por este interesse crescente é função da proliferação de equipamentos portáteis, onde as preocupações com o baixo consumo de energia são fundamentais para que possam ser utilizados por longos períodos sem a necessidade de re-carga dos sistemas de alimentação. Além dos aspectos relacionados à demanda do mercado, a própria evolução das tecnologias dos sistemas semicondutores, em função da maior funcionalidade que se coloca por unidade de área dos circuitos integrados, tem levado ao crescimento constante da potência dissipada destes sistemas. Além disto, as preocupações ambientais relativas ao consumo de energia são fatores que fazem com que, no projeto destes sistemas, as preocupações com o consumo de energia sejam de fundamental importância. É bem sabido que a relação entre o consumo de energia e a tensão é quadrática. Dessa forma, ajustes na tensão produzem grande impacto no consumo de energia. Entretanto, a mudança de tensão também afeta (nesse caso linearmente) o tempo de processamento do processador. O objetivo geral é promover pesquisa, desenvolvimento e inovação tecnológica através da realização de estudos de casos, investigação científica, formação de capital humano e do desenvolvimento de uma metodologia para redução de consumo de energia no processador ARM operando com o sistema operacional Linux.

    Members: Raimundo da Silva Barreto.

    Funders: Não possui.

  20. -Current. Desenvolvimento de Aplicações com Baixo Consumo de Energia. (Coordenador)

    Description: O objetivo deste projeto é desenvolver e estabelecer competências no Departamento de Ciência da Computação da Universidade Federal do Amazonas, na área de Gerência de Consumo de Energia em sistemas embarcados, através da realização de estudos de casos, investigação científica, formação de capital humano e do desenvolvimento de uma metodologia para redução de consumo de energia na plataforma OMAP operando com o sistema operacional Linux.

    Members: Raimundo da Silva Barreto.

    Funders: Instituto Nokia de Tecnlogia (AM).

  21. -Current. RESMA: REde de Sensores sem fio e o controle do Meio ambiente Amazônico. (Coordenador)

    Description: Este projeto tem como objetivo principal a proposta de uma metodologia, e ferramentas de apoio, para a síntese automática do software para nodos sensores. 
Os objetivos específicos são: (i) Introduzir um modelo de especificação que capture as informações de cada tarefa a ser executada em cada nodo sensor, assim como as relações entre tarefas; (ii) Modelar a especificação usando um modelo formal; (iii) Estudar os sistemas operacionais utilizados na implementação de redes de sensores e, se for o caso, alterar tais sistemas operacionais; (iv)	Desenvolver um método para a geração de código fonte de programas de tal forma que seja garantido que este atende a todas as restrições especificadas; (v) Propor um método para estimativas de consumo de energia em sistemas de nodos sensores sem fio.

    Members: Raimundo da Silva Barreto; Herbert Oliveira Rocha.

    Funders: Conselho Nacional de Desenvolvimento Científico e Tecnológico.

  22. -Current. SSoft: Síntese de Software para Sistemas Embutidos Complexos. (Coordenador)

    Description: Síntese de software é definida como o processo de geração automática do código fonte, partindo de uma especificação usualmente composta por
processos concorrentes e comunicantes. Esta geração de código considera tanto as funcionalidades especificadas, quanto o suporte operacional de tempo de execução para execução da funcionalidade. Em palavras mais simples, a síntese de software preocupa-se em gerar os programas e (parte de) o sistema operacional.

A proposta deste projeto é o de buscar soluções para a construção de sistemas embutidos com garantia da corretude de projeto, que atendam requisitos de tempo-real, consumo mínimo de energia, acesso mutuamente exclusivo a recursos compartilhados, reconfiguráveis dinamicamente e tolerantes a falhas.

    Members: Raimundo da Silva Barreto.

    Funders: Conselho Nacional de Desenvolvimento Científico e Tecnológico.