Dependable Mechanisms for Dynamic Networks

 

Edital CNPq No 015/2009 - Convênios Bilaterais de Cooperação Internacional

CNPq/INRIA

 

Período: Maio 2010 - Abril2013

 

Universidades Envolvidas:

UFBA - Universidade Federal da Bahia

LIP6 - Laboratoire D'Informatique de Paris 6

USP - Universidade de São Paulo

Rennes 2 - Universite Rennes 2 - INRIA-IRISA/Rennes

 

Coordenador Brasileiro: Raimundo José de Araújo Macêdo, UFBA

Coordenador Francês: Achour Mostefaoui, INRIA-IRISA/Rennes

 

Equipe do Projeto:

Prof. Raimundo Macêdo (LaSiD/UFBA)

Prof. Achour Moustefaoui (coordenador francês)

Prof. Michel Raynal (INRIA-IRISA/Rennes, France)

Prof. Pierre Sens (Projet Regal (INRIA/LIP6), Paris, France)

Prof. Adjunto Sergio Gorender (LaSiD/UFBA, Salvador, Brazil)

Prof. Assistente Luciana Arantes (Projet Regal(INRIA/LIP6), Paris, France)

Prof. Assistente Gael Thomas (Projet Regal (INRIA/LIP6), Paris, France)

Prof. Assistente Julien Sopena (Projet Regal (INRIA/LIP6), Paris, France)

Prof. Associado Alfredo Goldman (IME-USP, Sao Paulo, Brazil)

Allan Freitas (doutorando, LaSiD/UFBA, Salvador, Brazil)

Alirio Sá (doutorando, LaSiD/UFBA, Salvador, Brazil)

Sandro Andrade (doutorando, LaSiD/UFBA, Salvador, Brazil)

Damien Imbs (doutorando, INRIA-IRISA/Rennes)

Paulo Floriano (mestrando, IME-USP, Sao Paulo, Brazil)

Marcio Vinicius dos Santos (mestrando, IME-USP, Sao Paulo, Brazil)

 

Resumo:

Este projeto trata da investigação dos desafios de confiabilidade ("dependability") advindos dos chamados sistemas distribuídos dinâmicos característicos das novas tecnologias de redes de computadores, tais como redes móveis ad-hoc (MANET), redes veiculares ad-hoc (VANET), "Worldwide Interoperability for Microwave Access" (WiMax), "Airborn Networks", "DoD Global Information Grid", "peer-to-peer" (P2P) etc. As aplicações típicas desse tipo de rede têm uma característica em comum: são altamente dinâmicas em suas composições - em termos de membros participantes e recursos disponíveis em dado instante. Tal dinamismo resulta em incertezas e não previsibilidade do ambiente computacional que colocam enormes desafios para a implementação de mecanismos de confiabilidade que garantam o funcionamento correto do sistema. Vale salientar que esse 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"'. Em particular, a descrição do desafio de número 6 (Desenvolvimento Tecnológico de Qualidade: sistemas disponíveis, corretos, seguros, escaláveis, persistentes e ubíquos). Ao mesmo tempo, os desafios colocados neste texto foram apresentados por membros deste projeto em dois artigos durante o Colóquio em Informática: Brasil/INRIA, Cooperações, Avanços e Desafios, realizado em Bento Gonçalves, Rio Grande do Sul, Brasil, em Julho de 2009 (Colibri 2009). As discussões durante o Colóquio e conseqüente percepção dos objetivos comuns, nos levaram a união de esforços que resultaram no presente projeto. Artigos publicados no Colóquio: Adding Dynamicity to the Uncertainty that Characterizes Distributed Systems: Challenges Ahead. Raimundo Macêdo (UFBA) and Michel Raynal (IRISA/Rennes);  Towards a distributed computing model that characterizes dynamics of mobile networks. Luciana Arantes (INRIA/LIP6), Alfredo Goldman (USP), Pierre Sens (INRIA/LIP6) .