Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
Circuitos integrados para Redes Aquáticas
O objetivo desta pesquisa é desenvolver um protótipo de hardware para tratar a comunicação e a cooperação de entidades computacionais em redes de sensores aquáticas, facilitando o trabalho do homem, aumentando sua produtividade e melhorando a qualidade de vida. Como instância inicial deste projeto, será tratado o problema de desenvolvimento
Desenvolvimento de uma Infra-Estrutura para Experimentação com Enxames de Robôs
O objetivo principal desse projeto é desenvolver uma infra-estrutura de hardware e software que permita a experimentação com enxames de robôs. Feito isso, serão implementados e validados experimentalmente algoritmos que envolvam a localização, navegação, coordenação e controle de grandes grupos de robôs, complementando assim os trabalhos de simulação. Integrantes: Luiz
Otimização de Código em Ambiente de Semântica Formal Executável baseado em ASM
O objetivo deste trabalho de pesquisa se origina na necessidade de ferramentas eficientes de suporte à execução e análise de sisteas complexos de modelagem baseadas em métodos formais. Tais ferramentas apresentam difícies problemas de otimização e de bom uso dos recursos do ambiente de computãção, Assim, utilizar ASM para especificar
Caracterização e Modelagem de Sistemas Distribuídos em Larga Escala
O objetivo do projeto é avançar em direção a modelos que ofereçam uma visão ampla da Web. O foco deste projeto é um estudo quantitativo, tanto do ponto de vista experimental quanto teórico, de sistemas distribuídos em larga escala, como a internet/web, usando uma visão oferecida pela estrutura de grafos
Sistema de Monitoramento e Vigilância da Violencia e Acidentes de Trânsito
O projeto SIMVIDA pretende desenvolver e implementar um sistema de vigilância epidemiológica para dados de acidentes de trânsito e de violência para uso rotineiro em instituições de saúde pública que tenham referência geográfica e temporal. Os objetivos específicos são os seguintes: (1) Desenvolver métodos epidemiológicos para vigilância espaço-temporal de agravos
Arquitetura, Protocolos, Gerenciamento e Aplicações em Redes de Sensores Sem Fio
SensorNet foi um projeto de 30 meses de duração para pesquisa e desenvolvimento tecnológico em redes de sensores sem fio, executado em parceria entre as universidades federais de Minas Gerais e de Pernambuco, iniciado em janeiro de 2003. Objetiva principalmente o domínio e o desenvolvimento de novas tecnologias em redes
Avaliação Sensível a Características de Técnicas para Desenvolvimento de Linha de Produtos de Software
Algumas manifestações de características são consideradas indícios de problemas para a evolução de uma Linha de Produtos de Software (LPS) como, por exemplo, por levarem a um número excessivo de falhas e instabilidade dos produtos. Por outro lado, inúmeras técnicas de desenvolvimento têm sido propostas com o objetivo de separar
Planejamento de Trajetórias para Grandes Grupos de Robôs
Esse projeto de pesquisa concentrou-se na investigação e desenvolvimento de técnicas para execução do planejamento e controle de trajetórias para grandes grupos de robôs de forma eficiente e escalável. Basicamente, trabalhou-se em duas linhas principais: na primeira foram desenvolvidos e aperfeiçoados algoritmos de controle descentralizados para permitir que grupos de
Métodos e Ferramentas de Documentação de Programas e Especificação Formal Executável
Estudo e pesquisa de métodos de especificação formal executáveis e de geração de compiladores baseados em semântica formal. Integrantes: Mariza Andrade da Silva Bigonha – Integrante / Vladimir O Di Iorio – Integrante / BIGONHA, Roberto S. – Coordenador.
