:: COOPERAÇÕES ACADÊMICAS
Dependable Mechanisms for Dynamic Networks
Projeto AST - Cooperação Acadêmica em Automação e Sistemas de Tempo Real
:: PROJETOS DE PESQUISA
ARCOS - ARchitecture for COntrol and Supervision
Sistemas Distribuídos Híbridos, Confiáveis e Auto-Adaptáveis: Modelos e Plataformas
Comunicação de Tempo Real Usando Ethernet
Modernização e Expansão da Infra-Estrutura de Pesquisa e Ensino para o DMCC (Doutorado Multiinstitucional em Ciência da Computação)
MDAPSEE - Um Ambiente para Especificação e Execução de Processo de Software Dirigido a Modelos
WGWSOA: Uma Arquitetura Orientada a Serviços de Middleware para a Interoperabilidade de Groupware
MODDEN - Uma Plataforma de Suporte a Engenharia de Domínio Dirigida a Modelos
SMART - Scheduling in Multiprocessor Architectures with Real-Time Guarantees
ESTER - Escalonamento em Sistemas de Tempo Real: Lidando com Incertezas e Adaptação
SANMINA-SCI - Confiabilidade e Disponibilidade de Sistemas Industriais Críticos
JABIL - Laboratório de Pesquisa e Desenvolvimento em Automação de Processos Industriais
:: PROJETOS DE INOVAÇÃO TECNOLÓGICA
Desenvolvimento de uma solução integrada para telefonia IP
:: Projetos/cooperações já realizados
BCG - Base confiável de Comunicação em Grupo
Protocolo de Comunicação para Redes Industriais Baseado em Ethernet
LOCUS - Lógica para Concorrência e Sincronização
FlexGroup - Atender aos requisitos de flexibilidade, extensibilidade, desempenho, confiabilidade, facilidade de compreensão e uso, impostos por uma aplicação
ARGO - Tolerância a Falhas em Sistemas Distribuídos Assíncronos
Monitor - Um ambiente para o diagnóstico e gerenciamento de sistemas distribuídos
MARES - Plataform suporting Mobile-Agent based REliable and Correct Applications
ForMOS - Métodos Formais para Código Móvel em Sistemas Abertos
IQ-Mobile - Improving the Quality of open Systems with Code Mobility through Rigorous Development
IARA - Integrated Architecture for Real-Time Applications
Modelos Híbridos e Adaptáveis para Sistemas Distribuídos Confiáveis