Sistemas Distribuídos Híbridos, Confiáveis e Auto-Adaptáveis: Modelos e Plataformas

Coordenador: Raimundo Macêdo

Participantes: Pesquisadores do LaSiD

Financiamentos:

Bolsa de Produtividade do CNPq (Raimundo Macêdo)

Bolsas no País / Edital MCT/CNPq nº 70/2009 - Mestrado/Doutorado

FAPESB (EDITAL 005/2007 - APOIO A PROJETOS DE PESQUISA – Projeto número 8951)

Resumo:

A utilização de sistemas distribuídos têm crescido proporcionalmente à evolução e ao uso das redes de computadores. Nesse contexto, as aplicações distribuídas têm se tornado progressivamente mais complexas. Os sistemas passam a usar recursos mais complexos, exigindo maior velocidade nos mecanismos de execução e também maior disponibilidade e confiabilidade no uso desses serviços. Portanto, a busca por sistemas distribuídos cada vez mais confiáveis, tendo em vista esses novos ambientes, é um grande desafio que se apresenta para a comunidade científica.Tal desafio foi devidamente abraçado pela Sociedade Brasileira de Computação (SBC), ao lançar um documento com o título "Grandes Desafios da Pesquisa em Computação no Brasil - 2006/2016". O presente projeto de pesquisa representa um esforço na busca de modelos (algoritmos e provas de correção) e plataformas (soluções de middleware e frameworks) para a construção de sistemas distribuídos confiáveis e adaptáveis. O seu desenvolvimento dar-se-á através da realização de cinco Teses de Doutorado em Ciência da Computação, cinco Dissertações de Mestrado em Mecatrônica e dois trabalhos de Iniciação Científica de graduandos em Ciência da Computação (CNPq/FAPESB).