Sistemas Embarcados

O grupo busca abordar todas as etapas de desenvolvimento de sistemas computacionais embarcados, explorando o espao de projeto para realizar automaticamente, de maneira rpida e confivel, as diferentes camadas de hardware e software que compem os mltiplos domnios de aplicao. Os tpicos de pesquisa cobrem a arquitetura de processadores dedicados e de sistemas multiprocessadores, a gerao automtica do software embarcado, os sistemas operacionais embarcados de tempo real, as ferramentas de modelagem e validao de sistemas e o teste do software e do hardware.

Pgina mantida pelo grupo Pgina do grupo no diretrio do CNPq

Pesquisadores Membros do Grupo

Flvio Rech Wagner Luigi Carro Carlos Eduardo Pereira rika Cota Joo Cesar Netto Lus da Cunha Lamb

Temas de Pesquisa

Software embarcado para aplicaes especficas: inclui o desenvolvimento de novas metodologias e tcnicas para automao de software visando a qualidade e a explorao do espao de projeto, de modo a atender a requisitos de desempenho, potncia e limitao de memria dos sistemas embarcados. Arquiteturas de hardware e software para sistemas embarcados multiprocessados: este tpico abrange desde o desenvolvimento de hardware que atenda restries de energia at a gerao eficiente de cdigo para multiprocessadores integrados em uma nica pastilha, passando pelo desenvolvimento de uma famlia de processadores Java orientados a aplicaes embarcadas. Projeto de sistemas embarcados dirigido por modelos: este tpico considera a utilizao da abordagem MDE (engenharia dirigida por modelos) no desenvolvimento do hardware e software de sistemas embarcados, sendo utilizada a transformao entre modelos tanto no projeto conjunto da aplicao e da arquitetura como na gerao de cdigo e na implementao do hardware. Implementao de algoritmos especializados: inclui o desenvolvimento de novos algoritmos e sua implementao em hardware e software, em campos como processamento digital de sinais, controle de energia e Java para aplicaes mveis e portteis. Prototipao de algoritmos atravs de plataformas complexas (multiprocessadores e FPGAS). Teste e confiabilidade de sistemas embarcados e mveis: inclui mtodos de teste de hardware e software embarcado a partir das etapas iniciais de projeto, o teste baseado no reuso dos componentes funcionais (hardware e software), visando o baixo custo e a plataforma de execuo, e a tolerncia a falhas em nvel de sistema para confiabilidade frente a futuras tecnologias com elevada taxa de defeitos transitrios e permanentes por circuito. Sistemas de tempo real embarcados e distribudos: Ciclo do projeto de sistemas embarcados de tempo real. Modelagem, especificao de requisitos, linguagens de programao para sistemas tempo-real, adaptao e desenvolvimento de ncleos de sistema de tempo real com suporte para previsibilidade temporal. Protocolos e redes de comunicao com restries temporais, escalonamento de mensagens, mtodos de acesso, modelos analticos de redes, middlewares de tempo real.

Projetos de Pesquisa Recentes na rea

SEEP Sistemas Embarcados Baseados em Plataforma Desenvolvimento de plataforma e metodologia completa de projeto, validao e teste de sistemas embarcados (2003-2007). Financiamento: CNPq. Plataforma Sashimi-web Desenvolvimento de plataformas de hardware baseadas em Java com livre acesso pela web (2005-2006). Financiamento: CNPq. BlueGum - Suporte computacional para uso de APIs Bluetooth em aplicaes mveis (2005). Financiamento: Trevisan Tecnologia.

ROBOPS Circuitos tolerantes a mltiplas falhas (2005-2007). Financiamento: Semiconductor Research Council SRC. Sistema de Gesto ASP Mvel Aplicao de tcnicas de mobilidade em gesto de negcios (2006-2007). Financiamento: LeaderTech. TISHE: Teste Integrado de Software e Hardware em Sistemas Embarcados Teste do software embarcado e sua combinao com o teste do hardware que o executa (2006-2008). Financiamento: CNPq. CLP-SIL Arquiteturas seguras e nvel de integridade de segurana em aplicaes crticas baseadas em controladores lgico-programveis (2004-2006). Financiamento: FINEP, parceria com empresa Altus. Sistemas de automao sem fio para controle de vlvulas (2006-2008). UFRGS/Coester/Petrobrs. Financiamento ANP/Petrobras. Avaliao de desempenho de protocolos industriais (2006-2008). UFRGS/UERJ. Financiamento ANP/Petrobrs. Digistar 3/play - Capacidades de roteamento multicast e vazo controlada para suporte a aplicaes de voz e vdeo em tempo real (2005-2006). Financiadora Digistar/Lei de Informtica Hart - Avaliao de desempenho do protocolo HART e integrao dos equipamentos da Altus em redes Hart com gateway para outras redes de campo (2007-2009) UFRGS/Altus. Financiadora Finep

Resultados de Pesquisa Recentes

Algoritmos de processamento digital de sinais para medio de energia, convnio com IMS Indstria de Micro Sistemas Ltda Software embarcado em telefones celulares, convnio LeaderTech Ltda Metodologia de clculo de nvel de integridade de segurana em aplicaes crticas baseadas em controladores lgico-programveis, convnio com Altus Avaliao de capacidades de roteamento multicast e vazo controlada para suporte a aplicaes de voz e vdeo em tempo real, convnio Digistar Ltda Projeto de uma matriz de chaveamento em tecnologia CMOS, convnio Equitel/Siemens Projeto de um ncleo de microcontrolador 8051 em VHDL, convnio CPqD