Rede de Colaboração
Diretório de grupos de pesquisa|
Raimundo José de Araújo Macêdo Tem formação em Ciência da Computação: Graduação na Universidade Federal da Bahia - UFBA (1982), mestrado na Universidade Estadual de Campinas - UNICAMP (1986) e doutorado na University of Newcastle Upon Tyne, Inglaterra (1994). Realizou missões como pesquisador visitante no IRISA/França (1997, 2000, 2002 e 2011) e como Pesquisador Associado Sênior na Faculdade de Ciências da Universidade de Lisboa (2008). É professor TITULAR do Departamento de Ciência da Computação da Universidade Federal da Bahia. Foi o fundador do Laboratório de Sistemas Distribuídos da UFBA (LaSiD) e coordenou as ações para a criação do programa de pós-graduação em Ciência da Computação (PMCC), uma parceria da UFBA com a Unifacs e UEFS (mestrado e doutorado). Foi também um dos principais responsáveis pela criação do programa de pós-graduação em Mecatrônica da UFBA e fundador da Especialização Avançada em Sistemas Distribuídos da UFBA. Tem coordenado projetos de pesquisa e extensão (CNPq, CAPES, FAPESB, CTIC/RNP, etc.) e orientado teses e dissertações nas áreas de sistemas distribuídos, tolerância a falhas, sistemas de tempo real e segurança. Tem participado como membro de comitê de programa de diversas conferências internacionais e nacionais, nas áreas de confiabilidade, sistemas distribuídos, redes de computadores, sistemas de tempo real, entre outras áreas (IEEE/IFIP DSN, ACM/IFIP MIDDLEWARE, IEEE SRDS, IFIP DAIS, SBRC, SBSeg, LADC, SEMISH, etc.). Foi o presidente da comissão especial de redes e sistemas distribuídos da SBC - Sociedade Brasileira de Computação (1999-2001) e o Coordenador Geral do Congresso Anual da Sociedade Brasileira de Computação em 2004. Antes de ingressar na vida acadêmica, foi Analista de Sistemas do Centro de Processamento de Dados da UFBA, onde coordenou a Divisão de Projetos. É membro da Comissão de Propriedade Intelectual e Transferência de Tecnologia da UFBA. É Representante da UFBA no programa Internships do INRIA/França. É Diretor de Cooperação com Sociedades Científicas da SBC (Sociedade Brasileira de Computação). Mais informações em www.macedo.ufba.br
Última
atualização do currículo em 18/01/2012
Endereço para acessar este CV: http://lattes.cnpq.br/9840346055970503 |
Dados pessoais
| Nome | Raimundo José de Araújo Macêdo |
| Nome em citações bibliográficas | MACÊDO, R. J. de A.;De Araujo Macedo, Raimundo |
| Sexo | Masculino |
| Endereço profissional | Universidade Federal da Bahia, Instituto de Matemática, Departamento de Ciências da Computação. LaSiD, Prédio do CPD/UFBA, Campus de Ondina, Av Ademar de Barros, s/n Ondina 40170-110 - Salvador, BA - Brasil Telefone: (71) 32836142 Fax: (71) 32836145 URL da Homepage: http://www.ufba.br/~macedo/ |
Formação acadêmica/Titulação
| 1990 - 1994 | Doutorado em Ciência da Computação
.
Newcastle University, NCL, Inglaterra. Título: Fault-tolerant Group Communication Protocols for Asynchronous Systems, Ano de Obtenção: 1994. Orientador: Santosh K Shrivastava. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil . Palavras-chave: Distributed Systems; Causal Blocks; Fault Tolerance; Logical Clocks; Multicast Protocols; Ordering Protocols. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Software Básico. Setores de atividade: Informática. |
| 1983 - 1986 | Mestrado em Ciência da Computação
.
Universidade Estadual de Campinas, UNICAMP, Brasil. Título: DESENVOLVIMENTO DE SERVIDORES DE ARQUIVOS PARA CLIENTES DE BAIXO CUSTO, Ano de Obtenção: 1986. Orientador: CELIO CARDOSO GUIMARAES. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil . Palavras-chave: Redes Locais; Servidores de Arquivos; Sistemas de Arquivos; sistemas distribuídos; Modelo Cliente Servidor. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Software Básico. Setores de atividade: Informática. |
| 1978 - 1982 | Graduação em Ciência da Computação
.
Universidade Federal da Bahia, UFBA, Brasil. |
Atuação profissional
| Universidade Federal da Bahia, UFBA, Brasil. |
| Vínculo institucional |
| 2000 - Atual | Vínculo: Servidor Público, Enquadramento Funcional: Professor Titular, Carga horária: 40, Regime: Dedicação exclusiva. |
| Outras informações | Aprovado e Classificado em 1o lugar com Distinção para o concurso de professor titular de Eng. de Software do Departamento de Ciência da Computação/UFBA, em Setembro de 1999. |
| Vínculo institucional |
| 1983 - 1999 | Vínculo: Servidor Público, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40 |
| Outras informações | Apesar do meu enquadramento funcional de Analista de Sistemas de 1987 a 1999 atuei como professor/persquisador (sendo pesquisador bolsista do CNPq), tendo inclusive, fundado o Laboratorio de Sistemas Distribuídos (onde sou atual coordenador) e autor do projeto do curso de pos-graduacao lato sensu "Especialização Avançada em Sistemas Distribuidos", curso do sou atual coordenador. |
| Vínculo institucional |
| 1994 - 1995 | Vínculo: Celetista formal, Enquadramento Funcional: Professor Assistente, Carga horária: 20 |
| Vínculo institucional |
| 1987 - 1990 | Vínculo: Servidor Público, Enquadramento Funcional: Professor Assistente, Carga horária: 20 |
| Outras informações | Aprovado em 1o Lugar para o Concurso da Disciplina de Sistemas Operacionais - 1989 DCC/IM/UFBA |
| Vínculo institucional |
| 1980 - 1983 | Vínculo: Servidor público ou celetista, Enquadramento Funcional: Programador de Computadores, Carga horária: 40 |
| Outras informações | Programei e desenvolvi sistemas administrativos e de software básico nesse período |
| Atividades |
| 2010 - Atual | Atividades de Participação em Projeto, Departamento de Ciência da Computação, . |
|
Projetos de pesquisa Mecanismos de Suporte à Dependabilidade para Ambientes de Computação em Nuvem |
| 08/2009 - Atual | Conselhos, Comissões e Consultoria, Departamento de Ciência da Computação, . |
|
Cargo ou função
Presidente da Comissão para Acompanhar a Execução do Projeto de infra-estrutura da FINEP/FAPESB que prevê a construção de prédio para pesquisa e inovação e reforma do CICTI. Portaria 06/2009 do DCC/IM/UFBA. |
| 08/2009 - Atual | Conselhos, Comissões e Consultoria, Departamento de Ciência da Computação, . |
|
Cargo ou função
Presidente da Comissão para Desenvolver uma Proposta de Criação do Curso de Mestrado em Ciência da Computação. Portaria 05/2009 do DCC/IM/UFBA. |
| 08/2008 - Atual | Conselhos, Comissões e Consultoria, Reitoria, . |
|
Cargo ou função
Membro da Comisão de Propriedade Intelectual e Trasferência de Tecnologia da UFBA. Portaria 291/07 da Reitoria da UFBA.. |
| 03/2008 - Atual | Outras atividades técnico-científicas , Reitoria, . |
|
Atividade realizada Representante da UFBA no programa Internships do INRIA/França.. |
| 06/2007 - Atual | Atividades de Participação em Projeto, Instituto de Matemática, . |
| 03/2007 - Atual | Ensino, Doutorado em Ciência da Computação, Nível: Pós-Graduação. |
| Disciplinas ministradas Fundamentos de Tolerância a Falhas Sistemas de Tempo Real Algoritmos e Grafos |
| 09/2006 - Atual | Direção e administração, Instituto de Matemática, . |
| Cargo ou função Coordenador do Doutorado em Ciência da Computação (parceria da UFBA com a Unifacs e UEFS). Re-eleito para o período de 2008 a 2010.. |
| 03/2006 - Atual | Atividades de Participação em Projeto, Instituto de Matemática, . |
|
Projetos de pesquisa Cooperação Acadêmica em Automação e Sistemas de Tempo Real |
| 10/2004 - Atual | Direção e administração, Instituto de Matemática, . |
| Cargo ou função Coordenador do CI-CTI (Centro Inter-disciplinar em Ciência e Tecnologia da Informação) CT-INFRA/FINEP 2004 (Vários laboratórios e salas para professores e estudantes) - Obra em andamento.. |
| 08/2004 - Atual | Conselhos, Comissões e Consultoria, Instituto de Matemática, . |
|
Cargo ou função
Membno da Congregação do Instituto de Matemática da UFBA. |
| 03/2004 - Atual | Atividades de Participação em Projeto, Instituto de Matemática, . |
|
Projetos de pesquisa IARA - Integrated Architecture for Real-Time Applications |
| 1/2004 - Atual | Atividades de Participação em Projeto, Instituto de Matemática, Departamento de Ciências da Computação. |
|
Projetos de pesquisa Modelo Hibrido e Adaptativo Para Computação Distribuída Confiável |
| 03/2003 - Atual | Ensino, Mestrado Em Mecatrônica, Nível: Pós-Graduação. |
| Disciplinas ministradas fundamentos de sistemas distribuídos metodologia da pesquisa fundamentos de tolerância a falhas sistemas de tempo real |
| 10/2002 - Atual | Conselhos, Comissões e Consultoria, Instituto de Matemática, Instituto de Matemática. |
|
Cargo ou função
Membro da Congregação do Instituto de Matemática. |
| 2000 - Atual | Atividades de Participação em Projeto, Instituto de Matemática, . |
|
Projetos de pesquisa Dependable Mechanisms for Dynamic Networks |
| 2000 - Atual | Atividades de Participação em Projeto, Instituto de Matemática da UFBA, . |
|
Projetos de pesquisa Sistemas Distribuídos Híbridos, Confiáveis e Auto-Adaptáveis: Modelos e Plataformas |
| 03/1998 - Atual | Ensino, Especialização Acançada em Sistemas Distribuídos, Nível: Pós-Graduação. |
| Disciplinas ministradas Metodologia da Pesquisa Aspectos de Confiabilidade em Sistemas Distribuídos Fundamentos de Sistemas Distribuídos Fundamentos de Tolerância a Falhas |
| 5/1997 - Atual | Direção e administração, Instituto de Matemática, Departamento de Ciências da Computação. |
| Cargo ou função Coordenador do Curso de Pós-Graduação lato sensu de Caráter Permanente. |
| 5/1995 - Atual | Direção e administração, Instituto de Matemática, Departamento de Ciências da Computação. |
| Cargo ou função COORDENADOR DO LABORATORIO DE SISTEMAS DISTRIBUIDOS (LASID). |
| 1/1995 - Atual | Pesquisa e desenvolvimento , Instituto de Matemática, Departamento de Ciências da Computação. |
|
Linhas de pesquisa Sistemas Distribuídos Sistemas de Tempo Real Tolerância a Falhas Algoritmos Distribuídos |
| 2000 - 2013 | Atividades de Participação em Projeto, Instituto de Matemática da UFBA, . |
| 2010 - 2012 | Atividades de Participação em Projeto, Instituto de Matemática da UFBA, . |
|
Projetos de pesquisa Verificação de Sistemas de Tempo Real Tolerantes a falhas através de Injeção de Falhas |
| 2009 - 2010 | Atividades de Participação em Projeto, NIT - Núcleo de Inovação Tecnológida da UFBA, . |
|
Projetos de pesquisa Sistema de Inovação da UFBA: consolidação, fortalecimento e expansão |
| 2008 - 2010 | Atividades de Participação em Projeto, Instituto de Matemática, . |
|
Projetos de pesquisa Sistemas Distribuídos Confiáveis e Adaptáveis: uma abordagem autonômica |
| 03/2004 - 08/2008 | Outras atividades técnico-científicas , Instituto de Matemática da UFBA, . |
|
Atividade realizada Coordenador do Projeto PRO-CC (Pro-Doutorado em Ciência da Computacao). Esse projeto, financiado pela FAPESB, envolve docentes da UFBA, UNIFACS e UEFS e foi o responsável pelo financiamento de várias acoes e criacao de infra-estrutura com vistas a c. |
| 10/2004 - 04/2007 | Atividades de Participação em Projeto, Instituto de Matemática, Departamento de Ciências da Computação. |
|
Projetos de pesquisa Integração de Serviços e Monitoração de Falhas (Cooperação LaSiD/DCC/UFBA e SANMINA-SCI) |
| 1/2001 - 03/2007 | Atividades de Participação em Projeto, Instituto de Matemática, Departamento de Ciências da Computação. |
|
Projetos de pesquisa BCGMóvel - Base Confiável de Comunicação para Grupos Móveis |
| 2/2000 - 12/2006 | Ensino, Ciência da Computação, Nível: Graduação. |
| Disciplinas ministradas Sistemas Operacionais; Tótpicos em Sistemas de Computação (Sistemas Distribuídos) |
| 08/1997 - 12/2006 | Conselhos, Comissões e Consultoria, Instituto de Matemática, . |
|
Cargo ou função
Representante da UFBA junto ao LARC - Laboratório Nacional de Redes de Computadores. |
| 7/2004 - 09/2006 | Direção e administração, Instituto de Matemática, Departamento de Ciências da Computação. |
| Cargo ou função Coordenador de programa de pós-graduação em Mecatrônica (Inst Mat e Escola Politécnica) - Mestrado Acadêmico. |
| 1/2001 - 10/2004 | Conselhos, Comissões e Consultoria, Instituto de Matemática, Departamento de Ciências da Computação. |
|
Cargo ou função
Membro de conselho superior de Pesquisa e Pós-graduação da UFBA (SUPLENTE). |
| 9/2002 - 7/2004 | Direção e administração, Instituto de Matemática, Departamento de Ciências da Computação. |
| Cargo ou função vice-coordenador do Mestrado Acadêmico em Mecatrônica. |
| 3/2003 - 04/2004 | Atividades de Participação em Projeto, Instituto de Matemática, Departamento de Ciências da Computação. |
|
Projetos de pesquisa Convênio de Cooperação Científica/Tecnologica entre a UFBA e a WAYTEC |
| 7/2000 - 7/2002 | Atividades de Participação em Projeto, Instituto de Matemática, Departamento de Ciências da Computação. |
|
Projetos de pesquisa Projeto ARGO - Tolerância a Falhas em Sistemas Distribuídos Assíncronos (Coordenador) - Projeto Internacional Financiado pelo CNPq/INRIA |
| 4/2000 - 3/2002 | Atividades de Participação em Projeto, Instituto de Matemática, Departamento de Ciências da Computação. |
|
Projetos de pesquisa FlexGroup - Uma Meta-Arquitetura para Estruturação de Serviços de Comunicação em Grupo (projeto de de pesquisa em cooperação UFBA-UFPB, protem/CNPq) |
| 03/2000 - 02/2002 | Atividades de Participação em Projeto, Instituto de Matemática, . |
|
Projetos de pesquisa Improving the Quality of open Systems with Code Mobility through Rigorous Development |
| 10/1995 - 09/1998 | Atividades de Participação em Projeto, Centro de Processamento de Dados, . |
|
Projetos de pesquisa BCG - Base Confiável de Comunicação em Grupo (projeto individual com bolsa de produtividade do CNPq nível II) |
| 7/1996 - 7/1998 | Atividades de Participação em Projeto, Instituto de Matemática, Departamento de Ciências da Computação. |
|
Projetos de pesquisa LOCUS - Lógica para Concorrência e Sincronização (projeto de pesquisa em cooperação UFBA, UFPE, UFAL e UFRJ, financiado pelo Protem/CNPq - coordenador UFBA) |
| 10/1994 - 12/1995 | Ensino, Ciência da Computação, Nível: Graduação. |
| Disciplinas ministradas ESTRUTURAS DE ARQUIVOS // TOPICOS EM SISTEMAS DE COMPUTACAO : SIST. DISTRIBUIDOS |
| 03/1987 - 12/1990 | Ensino, Ciência da Computação, Nível: Graduação. |
| Disciplinas ministradas estruturas de arquivos |
| 08/1987 - 07/1989 | Atividades de Participação em Projeto, Centro de Processamento de Dados, . |
|
Projetos de pesquisa Desenvolvimento e Projeto de Servidores de Arquivos para Redes Locais (projeto individual com bolsa de produtividade do cnpq nivel III) |
| Faculdade de Ciências da Universidade de Lisboa, FCUL, Portugal. |
| Vínculo institucional |
| 2008 - 2008 | Vínculo: Professor vistante, Enquadramento Funcional: Pesquisador Associado Sênior, Carga horária: 40, Regime: Dedicação exclusiva. |
| Universite de Rennes I, U.R.I., França. |
| Vínculo institucional |
| 2002 - 2002 | Vínculo: pesquisador visitante, Enquadramento Funcional: pesquisador visitante, Carga horária: 40 |
| Outras informações | Visita financiada pelo INRIA e CNPq, através de projeto de cooperação internacional |
| Vínculo institucional |
| 2001 - 2001 | Vínculo: Professor Visitante, Enquadramento Funcional: Pesquisador Visitante, Carga horária: 40 |
| Vínculo institucional |
| 1997 - 1997 | Vínculo: Professor vistante, Enquadramento Funcional: Pesquisador Visitante, Carga horária: 40 |
| Outras informações | Pesquisador Visitanteno grupo ADP do IRISA, pesquisa sobre tolerancia a falhas em sistemas distribuidos |
| Atividades |
| 04/1997 - Atual | Pesquisa e desenvolvimento , IRISA, . |
|
Linhas de pesquisa O problema de consenso distribuído |
| Universidade Católica do Salvador, UCSAL, Brasil. |
| Vínculo institucional |
| 1985 - 1986 | Vínculo: Celetista formal, Enquadramento Funcional: Professor Assistente, Carga horária: 10 |
| Atividades |
| 3/1985 - 12/1985 | Ensino, Engenharia Civil, Nível: Graduação. |
| Disciplinas ministradas Introdução a Ciênicia da Computação |
| Fundação de Amparo à Pesquisa do Estado da Bahia, FAPESB, Brasil. |
| Vínculo institucional |
| 2009 - 2011 | Vínculo: Colaborador, Enquadramento Funcional: Membro da Câmara de Assessoramento |
| Outras informações | Membro da Camara de Assessoramento das Engenharias e Computação |
| Atividades |
| 11/2009 - 02/2011 | Conselhos, Comissões e Consultoria, Câmara de Assessoramento das Engenharias e Computação, . |
|
Cargo ou função
Membro da Câmara de Assessoramento das Engenharias e Computação. |
| 03/2004 - 02/2005 | Conselhos, Comissões e Consultoria, Câmara de Assessoramento da Computação, . |
|
Cargo ou função
Membro da Camara de Assessoramento Computação. |
Linhas de Pesquisa
| 1. | Sistemas Distribuídos |
| Objetivos: Essa linha se preocupa com os apectos de modelos de programação e implementação para sistemas distribuídos.. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Software Básico. Setores de atividade: Educação. Palavras-chave: transações distribuídas; tolerância a intrusão; tolerancia a falhas; Tendências e Desafios em Computação Distribuída; sistemas autonômicos; Quality of Service. |
| 2. | Sistemas de Tempo Real |
| Objetivos: Desenvolvimento de Arquiteturas e Algoritmos para Sistemas de Tempo Real.
Um aspecto de intresse especial são sistemas de tempo real hibridos e arquiteturas auto-adaptáveis (autonômica). Também tenho interesse em aplicações industriais de tempo real, em especial as relacionadas com controle e supervisão.. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação. Grande área: Engenharias. Setores de atividade: Educação. Palavras-chave: sistemas de tempo real; Sistemas de Controle de Tempo Real. |
| 3. | Tolerância a Falhas |
| Objetivos: Mecanismos de tolerância a falhas: algoritmos, arquiteturas e modelos.
Inclui detecção e recuperação de erros, redudancia espacial e temporal, mecanismos autonomos de tolerância a falhas, entre outros aspectos.. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Software Básico. Setores de atividade: Educação. Palavras-chave: Detectores de Defeitos; Detecção de Intrusão; tolerância a falhas; transações distribuídas. |
| 4. | Algoritmos Distribuídos |
| Objetivos: Desenvolvimento de Modelos e Algoritmos Distribuídos, notadamente aqueles relacionados a confiabilidade em sistemas distribuídos (consenso, difusão atomica, membership, etc.). Em particular, tenho investigado as possibilidades e impossibilidades de resolução do problema de consenso distribuído em modelos hibridos e dunâmicos.. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação. Setores de atividade: Educação. Palavras-chave: algorimos distribuídos; consenso bizantino; consensus; Detectores de Defeitos. |
| 5. | O problema de consenso distribuído |
| Objetivos: Nessa linha investigamos uma série de otimizações para o problema de consenso distribuídos, incluíndo adaptações a sistemas móveis, framework para a geração de soluções de consenso, estudos relativos a alternativas mais eficientes para o consenso, etc.. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação. Setores de atividade: Educação. Palavras-chave: algorimos distribuídos. |
Projetos de Pesquisa
| 2010 - 2013 | Dependable Mechanisms for Dynamic Networks |
| Descrição: 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 da. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 1) / Especialização ( 0) / Mestrado acadêmico ( 5) / Mestrado profissionalizante ( 0) / Doutorado ( 5) . Integrantes: Michel Raynal - Integrante / Achour Mosteafaoui - Integrante / Sérgio Gorender - Integrante / Sandro Santos Andrade - Integrante / Alírio Santos de Sá - Integrante / Allan Edgard Silva Freitas - Integrante / Pierre Sens - Integrante / Alfredo Goldman - Integrante / Luciana Arantes - Integrante / Gael Thomas - Integrante / Julien Sopena - Integrante / Damien Imbs - Integrante / Marcio Vinicius dos Santos - Integrante / Raimundo José de Araújo Macêdo - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Institut National de Recherche en Informatique et en Automatique - Auxílio financeiro. Número de produções C, T & A: 1 / Número de orientações: 7. |
| 2010 - 2013 | Sistemas Distribuídos Híbridos, Confiáveis e Auto-Adaptáveis: Modelos e Plataformas |
| Descrição: São três projetos aprovados no CNPq que compoem esse projeto.
1)Projeto Individual - Bolsa de Produtividade do CNPq - 2010 2013
2) Editaol Universal - 2010-2010
3) 1 bolsa de mestrado no País Edital MCT/CNPq nº 70/2009 - 2010 -2012
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 quatro Teses de Doutorado em Ciência da Computação (DMCC/UFBA/Unifacs/UEFS), cinco Dissertações de Mestrado em Mecatrônica (um curso multidisciplinar da UFBA - parceria entre Ciência da Computação e Engenharias) e dois trabalhos de Iniciação Científica de graduandos em
Ciência da Computação (CNPq/FAPESB). Em suma, através desse projeto formar-se-á uma rede de colaboração ampla, envolvendo universidades brasileiras e uma estrangeira.
. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 3) / Especialização ( 0) / Mestrado acadêmico ( 6) / Mestrado profissionalizante ( 0) / Doutorado ( 5) . Integrantes: Raimundo José de Araújo Macêdo - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Número de produções C, T & A: 7 / Número de orientações: 10. |
| 2010 - 2012 | Verificação de Sistemas de Tempo Real Tolerantes a falhas através de Injeção de Falhas |
| Descrição: Os sistemas computacionais, em especial os sistema de tempo real, estão cada
vez mais sendo utilizados no dia a dia da sociedade, estando presentes nos mais diversos
tipos de situações. Em decorrência disto, sua importância também aumenta de maneira
acelerada. À medida que estes sistemas passam a ser mais presentes e necessários, seus
requisitos e características passam também a crescer em complexidade. Neste contexto,
sua utilização passa a ser determinante na proteção de investimentos financeiros e vidas
humanas, fazendo com que a validação de atributos como confiabilidade, disponibilidade,
segurança e integridade torne-se uma etapa essencial do processo de desenvolvimento das
aplicações relacionadas.
Além de extremamente importante, a validação de sistemas computacionais
tolerantes a falhas também se configura como uma tarefa difícil de ser realizada, já que,
quanto maior a complexidade dos sistemas, mais complexos devem ser os mecanismos
para validá-los. A Injeção de Falhas possui um papel fundamental neste processo, pois
fornece meios para se validar experimentalmente a confiança no funcionamento
(dependability) de sistemas e, consequentemente, a qualidade dos mesmos.
Através da injeção de falhas em sistemas computacionais, torna-se possível
acelerar a realização dos testes, permitindo que os mecanismos de tolerância a falhas
implementados sejam executados, observados e analisados. É importante ressaltar que este
tipo de abordagem é complementar a outros tipos de validação e mecanismos de garantia
da qualidade, tais como utilização de verificação formal, inspeções de código, uso de
processos de qualidade e os demais processos da engenharia de software em geral.
No que tange aos processos de desenvolvimento de software, a Engenharia de
Software Baseada em Componentes (ESBC) tem se mostrado um elemento facilitador para
o aumento da qualidade e flexibilidade dos sistemas computacionais, em virtude dos seus
mecanismos de configuração e reuti. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 1) / Mestrado profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Rita Suzana Pitangueira Maciel - Integrante / LUDMILLA PALMEIRA ANDRADE - Integrante / Raimundo José de Araújo Macêdo - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Bolsa.. |
| 2010 - Atual | Mecanismos de Suporte à Dependabilidade para Ambientes de Computação em Nuvem |
| Descrição: Computação em nuvem é um modelo de computação distribuída em que recursos computacionais podem ser acessados sobre demanda através da Internet. Para tanto, uma coleção de computadores trabalham de forma coordenada, de modo a passar para o usuário a visão de um único computador altamente disponível. Tal paradigma vem se tornando uma solução promissora, permitindo grande economia para corporações e indivíduos, que passam a pagar apenas pelos serviços utilizados ao invés de toda a infraestrutura de TI. Para assegurar que o ambiente de computação em nuvem forneça o serviço de forma correta e com alta disponibilidade, em especial em configurações de alta escala, os mecanismos de coordenação subjacentes têm que dinamicamente reconfigurar o ambiente em função de falhas e/ou disponibilidade de recursos, de forma a garantir a qualidade de serviço especificada em acordos previamente firmados (SLA). Para tanto, mecanismos de dependabilidade (dependability) precisam ser disponibilizados, idealmente dotados de habilidades de auto-gestão, uma vez que o dinamismo natural da nuvem inviabiliza a parada do sistema para reconfigurações manuais. O presente projeto objetiva investigar tais mecanismos de dependabilidade dentro de uma abordagem autonômica, aproveitando a experiência prévia dos parceiros nessas áreas de pesquisa.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 3) / Especialização ( 0) / Mestrado acadêmico ( 1) / Mestrado profissionalizante ( 0) / Doutorado ( 2) . Integrantes: Marcos Ennes Barreto - Integrante / Carlos Alberto Maziero - Integrante / Rui Carlos Oliveira - Integrante / Raimundo José de Araújo Macêdo - Coordenador. Número de produções C, T & A: 2 / Número de orientações: 5. |
| 2009 - 2010 | Sistema de Inovação da UFBA: consolidação, fortalecimento e expansão |
| Descrição: Este projeto consiste na articulação em REDE do Sistema de Inovação da UFBA de modo sistêmico e com estrutura radicular, ou seja, infiltrando suas raízes em cada organismo, unidade e órgão e nas várias áreas do conhecimento. de modo a fortalecer e ampliar as atividades de P&D&I, gerando mais e melhores produtos, processo e serviços. O sistema de Inovação compreende vários organismos gerenciais aqui denominados de NÓS: NIT (Coordenação do Sistema de Inovação), incubadoras, núcleos especializados, as empresas juniores, entre outros. Sua atuação se dá em toda a cadeia produtiva da Propriedade Intelectual (PI) e da Transferência de Tecnologia (formação de RH, P&D&I, produção, apropriação, divulgação, prospecção tecnológica e de oportunidades, negociação, licenciamento e utilização). Situação: Em andamento; Natureza: Desenvolvimento. Alunos envolvidos: Graduação ( 1) . Integrantes: Cristina M. A. L. T. da Mata Hermida Quintella - Coordenador / Raimundo José de Araújo Macêdo - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Bolsa.. |
| 2007 - 2010 | Sistemas Distribuídos Confiáveis e Adaptáveis: uma abordagem autonômica |
| Descrição: Projeto financiado pela 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 projeto de pesquisa, ora submetido, representa um esforço inovador 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 quatro Teses de Doutorado em Ciência da Computação (DMCC/UFBA/Unifacs/UEFS), cinco Dissertações de Mestrado em Mecatrônica (um curso multidisciplinar da UFBA - parceria entre Ciência da Computação e Engenharias) e dois trabalhos de Iniciação Científica de graduandos em Ciência da Computação (CNPq/FAPESB). Em suma, através desse projeto formar-se-á uma rede de colaboração ampla, envolvendo universidades brasileiras e uma estrangeira.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 2) / Mestrado acadêmico ( 5) / Doutorado ( 4) . Integrantes: George M de A Lima - Integrante / Sérgio Gorender - Integrante / Luciano Porto Barreto - Integrante / Flavio Assis Silva - Integrante / Jean Marie Farines - Integrante / Daniela Berreiro Claro - Integrante / Raimundo José de Araújo Macêdo - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro. Número de produções C, T & A: 30 / Número de orientações: 8. |
| 2006 - 2010 | Cooperação Acadêmica em Automação e Sistemas de Tempo Real |
| Descrição: Título: Rede Acadêmica em Automação e Sistemas de Tempo Real (AST) - PROCAD/CAPES
Área de Atuação: Automação e Sistemas Computacionais para Mecatrônica
Coordenador Geral: Prof. Raimundo Macêdo
****
Duração Prevista: 24 meses
****
Data de início: 03/2006
****
1.1. Identificação das Equipes
Equipe 1: Programa de Pós Graduação em Engenharia Elétrica (PPGEEL/UFSC)
Coordenador Equipe 1: Professor Jean-Marie Faries
Professores participantes:
Jean-Marie Farines
Rômulo da Silva Oliveira
Leandro Buss Becker
Carlos Montez
Marcelo Stemmer
Eduardo Camponogara.
****
Equipe 2: Programa de Pós-graduação em Mecatrônica (PPGM/UFBA)
Coordenador Equipe 2: Professor Raimundo José de Araújo Macêdo
Professores participantes:
Raimundo José de Araújo Macêdo (Coordenador da equipe 2 e do projeto)
George Marconi de Araújo Lima
Luciano Porto Barreto
Flávio Morais de Assis Silva
Aline dos Santos Andrade
Leizer Schnitman
2. Justificativa
A principal justificativa para o presente projeto é a forte confluência de interesses acadêmicos entre os dois programas de pós-graduação, no que toca as atividades de pesquisa e formação na área de Automação e Sistemas de Tempo-real, possibilitando, dessa forma, a exploração de pesquisas e orientações conjuntas - com vistas à consolidação do Programa de Pós-Graduação em Mecatrônica da UFBA. Um fato que merece destaque e que retrata a grande convergência de interesses é a participação conjunta dos proponentes deste projeto nos comitês de programa e organização dos dois principais eventos científicos brasileiros voltados para sistemas de automação confiáveis e sistemas de tempo real que são constituídos por. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico ( 5) Doutorado ( 3) . Integrantes: George M de A Lima - Integrante / Flávio Morais de Assis Silva - Integrante / Aline Andrade - Integrante / Joni da Silva Fraga - Integrante / Sandro Santos Andrade - Integrante / Alírio Santos de Sá - Integrante / Luciano Porto Barreto - Integrante / Rômulo Silva de Oliveira - Integrante / Jean Marie Farines - Integrante / Raimundo José de Araújo Macêdo - Coordenador. Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Cooperação.Número de orientações: 2. |
| 2004 - 2008 | Modelo Hibrido e Adaptativo Para Computação Distribuída Confiável |
| Descrição: Sistemas distribuídos são caracterizados por computações realizadas em sítios distintos, onde a sincronização e troca de informações entre os processos envolvidos ocorrem por troca de mensagens. Aplicações nesse contexto, cada vez mais presentes no cotidiano moderno, vão desde páginas HTML na WEB, até sistemas de controle de manufatura distribuídos. Com tanta onipresença e diversidade de tecnologias de implementação (tipos redes de comunicação, processadores, meios de armazenamento, etc.), é imperativa a busca por sistemas distribuídos cada vez mais confiáveis, sem os quais grandes prejuízos e catástrofes se tornariam inevitáveis.
O presente projeto representa um esforço inovador na busca de modelos (algoritmos e provas de correção) para a construção de sistemas distribuídos confiáveis e adaptáveis e reflete o amadurecimento do grupo de pesquisa (LaSiD - Laboratório de Sistemas Distribuídos), ao longo de seus 10 anos de existência. Além do coordenador deste projeto, mais cinco doutores pesquisadores do LaSiD, alunos do Mestrado em Mecatrônica da e do Bacharelado em Ciência da Computação da UFBA participarão do esforço - que também inclui cooperadores de instituições estrangeiras, como o IRISA/França e Brasileiras, como a UFPE e UFSC.
Os resultados parciais já obtidos no contexto dessa pesquisa, incluem a definição de um modelo híbrido e adaptativo e de um framework, ambos publicados em 2005 em conferências patrocinadas pela IEEE. O plano de trabalho deste projeto visa complementar os esforções inicias, permitindo a ampla exploração do modelo proposto.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 2) / Especialização ( 0) / Mestrado acadêmico ( 5) / Mestrado profissionalizante ( 0) / Doutorado ( 3) . Integrantes: Michel Raynal - Integrante / George M de A Lima - Integrante / Flávio Morais de Assis Silva - Integrante / Sérgio Gorender - Integrante / Paulo Cunha - Integrante / Alírio Santos de Sá - Integrante / Sandro Andrade - Integrante / Ricardo Perrone da Silva - Integrante / Neima Prado dos Santos - Integrante / Geovani Santangelo - Integrante / Allan Edgard Silva Freitas - Integrante / Marco Antonio Costa Simões - Integrante / Rafael Andrade Miranda - Integrante / Semínares Ribeiro - Integrante / Raimundo José de Araújo Macêdo - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro. Número de produções C, T & A: 2 / Número de orientações: 12. |
| 2004 - 2008 | IARA - Integrated Architecture for Real-Time Applications |
| Descrição: O projeto IARA (Integrated Architecture for Real-Time Applications) visa a construção de uma plataforma distribuída para fornecer suporte a sistemas de tempo real. Tal plataforma prevê a integração de sistemas com requisitos temporais variados assim como deve fornecer suporte a mecanismos de tolerância a falhas e sistemas distribuídos. A integração destes requisitos numa mesma plataforma é a principal inovação de IARA, visto que geralmente o desenvolvimento de sistemas de tempo real tende a ser restrito a um domínio específico de aplicações. Assim, o principal desafio deste projeto de pesquisa é encontrar meios adequados para que tal integração seja possível. IARA prevê suporte à integração de aplicações em três níveis de abstração: redes de comunicação; sistemas operacionais e protocolos distribuídos.
. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico ( 1) Doutorado ( 1) . Integrantes: George M de A Lima - Coordenador / Raimundo José de Araújo Macêdo - Integrante. Número de orientações: 2. |
| 2004 - 2007 | Integração de Serviços e Monitoração de Falhas (Cooperação LaSiD/DCC/UFBA e SANMINA-SCI) |
| Descrição: Em geral, o tratamento de falhas, seja pelo mascaramento destas ou pela recuperação do estado do sistema, requer o diagnóstico dos componentes falhos, identificando-os e informando aos processos operacionais, de uma forma consistente, o diagnóstico estabelecido. Portanto, o diagnóstico compreende não somente a detecção de falhas, mas também o estabelecimento e difusão de uma visão coerente sobre o estado de todos os processos monitorados. Por outro lado, o objetivo de gerenciamento em sistemas distribuídos, entre outros, é assegurar que uma aplicação com processos e serviços remotos funcione adequadamente sobre uma infra-estrutura distribuída. Com base no diagnóstico de falhas e configurações, é possível executar ações preventivas e corretivas a fim de manter a aplicação em funcionamento ou para fazê-la retornar a uma condição aceitável para os usuários. O objetivo deste projeto atender dispor de um, sistema de monitoramento de serviços computacionais críticos para dedectar eventuais falhas (e eventuais mudanças no comportamento da aplicação) para adequar esta aplicação a situações de instabilidade.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 1) / Especialização ( 0) / Mestrado acadêmico ( 2) / Mestrado profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Flávio Morais de Assis Silva - Integrante / Fábio Ramon de Lima e Lima - Integrante / Rozember Rocha Leite - Integrante / Raimundo José de Araújo Macêdo - Coordenador. Financiador(es): Sanmina Sci Lei de Informática - Auxílio financeiro.Número de orientações: 3. |
| 2003 - 2005 | Convênio de Cooperação Científica/Tecnologica entre a UFBA e a WAYTEC |
| Descrição: Convênio de Cooperação Científica e Tecnológica que entre si celebram a Waytec Tecnologia em Comunicação Ltda. e a Universidade Federal da Bahia - UFBA com interveniência da Fundação de Apoio à Pesquisa e à Extensão - FAPEX. Foi desenvolvido um sistema de apoio de logistica para acompanhamento de componentes eletrônicos para a montagem na fábrica de Ilheus.
Constitui objeto deste Convênio o estabelecimento de um programa de cooperação e intercâmbio científico e tecnológico, amparado pela legislação brasileira relativa à capacitação e competitividade do setor de tecnologia da informação, abrangendo atividades de pesquisa, desenvolvimento e serviços científicos e tecnológicos, formação e treinamento de recursos humanos, absorção e transferência de tecnologias e aprimoramento e otimização do uso da infra-estrutura laboratorial, bem como outras iniciativas em assuntos de interesse comum.
O programa objeto deste Convênio será realizado por meio de projetos a serem desenvolvidos pelos convenentes, isoladamente ou em conjunto com outras entidades, os quais somente serão executados mediante a prévia celebração de Termos Aditivos a este Convênio, dos quais constarão todas as diretrizes relevantes aos respectivos projetos e que serão parte integrante e inseparável deste Convênio.
. Situação: Concluído; Natureza: Desenvolvimento. Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Cristiano Reis - Integrante / Claudete Alves - Integrante / Thais Silva de Lima - Integrante / Antônio Cristiano de Araújo Virgens - Integrante / Raimundo José de Araújo Macêdo - Coordenador. Financiador(es): Waytec Tecnologia Em Comunicação Ltda Inscrita Cnpj Mf Sob o n º 41 894 148 - Cooperação.. |
| 2001 - 2007 | BCGMóvel - Base Confiável de Comunicação para Grupos Móveis |
| Descrição: O conceito de mobilidade em sistemas distribuídos, tanto do hardware (computação móvel), quanto do software (agentes móveis ou migração de processos), tem se tornado uma alternativa muito utilizada nos últimos anos, de um lado, pelas características inerentes de algumas aplicações (no caso de computação móvel), de outro lado, pela conveniência em estruturar aplicações distribuídas (no caso de agentes móveis). Quando se consideram tais requisitos, há uma série de desafios (do ponto de vista da comunicação em grupo) que não são resolvidos no escopo das plataformas de comunicação em grupo convencionais.
O objetivo do projeto BCG Móvel é identificar os requisitos comuns aos tipos de mobilidade acima mencionados (hardware e software associado, no caso da computação móvel sem fio, ou apenas do software, no caso de agentes móveis e migração de processos), incorporando garantias e aspectos de mobilidade a uma plataforma de comunicação em grupo, a qual será chamada de BCGmóvel. A base do desenvolvimento da BCGmóvel é o conceito de grupos móveis, em desenvolvimento no LaSiD. Grupos móveis correspondem a uma extensão do conceito tradicional de grupos de processos que suporta a migração de membros participantes de um grupo de um nó a outro de um sistema distribuído. A BCGmóvel é uma continuação do desenvolvimento da plataforma BCG (Base Confiável de Comunicação em Grupo), uma plataforma de comunicação em grupo em desenvolvimento do LaSiD desde 2001 que implementa funcionalidades intrínsecas desse tipo de plataforma (protocolo de membership, ordenação de mensagens e controle de fluxo).
. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 2) / Especialização ( 2) / Mestrado acadêmico ( 1) / Mestrado profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Flávio Morais de Assis Silva - Integrante / Daniel Breves Martins - Integrante / Rosemberg Rocha Leite - Integrante / Joselito Messias Lobo - Integrante / Alex Ricardo Anunciação Araújo - Integrante / Alan Carvalho de Queiroz - Integrante / Raimundo José de Araújo Macêdo - Coordenador. Financiador(es): Sanmina Sci Lei de Informática - Cooperação / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Número de produções C, T & A: 13 / Número de orientações: 6. |
| 2001 - 2002 | Improving the Quality of open Systems with Code Mobility through Rigorous Development |
| Descrição: The fast and continuous evolution of computing and communication capabilities have resulted in massively distributed computacional environments (e.g. Internet). These environments are often called open environments and are characterized by: massive geographical distribution; highly dynamic environments; no global control; partial failures; lack of security and high heterogeneity due to diversity of communication links (delay, throughput), cooperating organizations, services offered, etc. Due to theses factors, developing applications for such environments is rather complex and therefore research efforts have been directed to improve support for development of distributed applications. One such efforts is the research area around code mobility. The aim of this cooperation project is to improve the quality of software for open environments, in special mobile and distributed applications, through the use of formal methods.
To reach this goal we have selected a research group containing Brazilian and Italian experts in the different areas involved in the project: distributed systems, formal specification, formal semantics, formal verification and analysis.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Flávio Morais de Assis Silva - Coordenador / Aline Maria Santos Andrade - Integrante / Raimundo José de Araújo Macêdo - Integrante. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.. |
| 2000 - 2002 | Projeto ARGO - Tolerância a Falhas em Sistemas Distribuídos Assíncronos (Coordenador) - Projeto Internacional Financiado pelo CNPq/INRIA |
| Descrição: Mecanismos de tolerância a falhas são fundamentais para que aplicações em sistemas distribuídos, principalmente àquelas de segurança crítica - controle de tráfego aéreo, saúde pública, gerenciamento ambiental, etc. -, garantam operações seguras e previsíveis mesmo na ocorrência de falhas, evitando-se catástrofes ou prejuízos importantes.
Os mecanismos de replicação ativa, usualmente utilizados para assegurar tolerância a falhas nos sistemas distribuídos, são baseados no conceito de comunicação em grupo. O objetivo do projeto ARGO é conceber e desenvolver serviços de comunicação em grupo (difusão ordenada, gerenciamento na formação de grupos, sincronização nas mudanças da composição dos grupos, etc.), a partir de uma abordagem que permita limitar e controlar as disfunções típicas dos sistemas distribuídos assíncronos (sem limites de tempo conhecidos para transferência de mensagens e velocidade relativa dos processos).
A originalidade de nossa abordagem reside no fato de todos os serviços de comunicação em grupo serem considerados como extensões de um problema de concordância mais elementar : o consenso distribuído. Ou seja, cada serviço em algum momento dependerá de uma decisão unânime (o consenso).
No decorrer dos últimos anos, os grupos envolvidos nesse cooperação (ADP/IRISA, LaSiD/UFBA) trabalharam conjuntamente na definição de um protocolo de consenso genérico, que pode adaptar-se aos requisitos específicos dos diferentes problemas de concordância [HMRT99]. Esse trabalho, serviu de base para os trabalhos que realizamos no escopo deste projeto cujo resultado principal foi a implementação de um protótipo capaz de garantir os requisitos de confiabilidade num sistema distribuído assíncrono.
[HMRT99] Hurfin M., Macedo R., Raynal M. and Tronel F. A general framework to solve agreement problems. Proc. of the 18th IEEE Symposium on Reliable Distributed Systems, (SRDS99). Lausanne, Oct 1999. pp.56-67
. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 6) / Especialização ( 0) / Mestrado acadêmico ( 1) / Mestrado profissionalizante ( 0) / Doutorado ( 1) . Integrantes: Michel Hurfin - Integrante / Fabiola Greve - Integrante / Michel Raynal - Integrante / Flávio Morais de Assis Silva - Integrante / Aline Maria Santos Andrade - Integrante / frederic tronal - Integrante / Raimundo José de Araújo Macêdo - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação. Número de produções C, T & A: 23 / Número de orientações: 5. |
| 2000 - 2002 | FlexGroup - Uma Meta-Arquitetura para Estruturação de Serviços de Comunicação em Grupo (projeto de de pesquisa em cooperação UFBA-UFPB, protem/CNPq) |
| Descrição: Utilização da abstração de grupos de processos e de serviços de comunicação em grupo faciliata sobremaneira a construção de aplicações tolerantes a falhas. Vários sistemas que oferecem serviços de comunicação em grupo (ordenação de mensagens, gerência de replicação, gerência de formação em grupos, sincronização nas mudanças da composição dos grupos, controle de fluxo, etc.) têm sido propostos e desenvolvidos nos últimos anos (como, por exemplo, Isis, Horus, NewTop, Totem, Bast, Esemble, JavaGroups, Eva, dentre outros). Esses serviços são estruturados de diversas formas nos diferentes sistemas existentes. Os primeiros sistemas propostos utilizam um modelo de arquitetura plana (como, por exemplo, Isis, Totem e NewTop ), onde não há uma hierarquia na forma de iteração entre os vários módulos que compõem o serviço de grupo. Por outro lado, a maioria dos sistemas disponíveis atualmente foi projetada e implementada adotando o modelo em camadas, onde a interação se dá exclusivamente entre os módulos adjacentes (como, por exemplo, Horus, Bast, Ensemble e JavaGroups ). Mais recentemente, outras abordagens propostas incluem um modelo baseado em canais de enventos, que permite um maior desacoplamento entre os módulos (Eva). As diferentes arquiteturas possuem vantagens e desvantagens em diferentes aspectos. O objetivo deste projeto é propor uma meta-arquitetura que possa ser instanciada para cada aplicação em particular, atendendo de forma equilibrada aos requisitos de flexibilidade, extensibilidade, desempenho, confiabilidade, facilidade de compreensão e uso, impostos pela aplicação. Com isto busca-se encontrar um equilíbrio entre as vantagens e desvantagens das arquiteturas existentes.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 2) / Especialização ( 0) / Mestrado acadêmico ( 1) / Mestrado profissionalizante ( 0) / Doutorado ( 0) . Integrantes: Marcela Santana Guimarães Batalha - Integrante / Fancisco Vilar Brasileiro - Integrante / Maria Luiza Braga - Integrante / Raimundo José de Araújo Macêdo - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação. Número de produções C, T & A: 3 / Número de orientações: 5. |
| 1996 - 1998 | LOCUS - Lógica para Concorrência e Sincronização (projeto de pesquisa em cooperação UFBA, UFPE, UFAL e UFRJ, financiado pelo Protem/CNPq - coordenador UFBA) |
| Descrição: A necessidade da utilização de técnicas de especificação formal para sistemas distribuidos deve-se principalmente à complexidade inerente a esse tipo de sistema. A utilização de descrições informais podem levar a descrições imprecisas e inconsistentes. Em [QueC94], os autores chamam a atenção para essa necessidade:
Os métodos de especificação formal permitem o desenvolvimento de sistemas sem ambiguidades, através de uma sintaxe e semântica bem definidas. Com este projeto pretende-se fornecer uma abordagem unificadora para formalização de sistemas distribuídos, concorrência e sincronização. O projeto é organizado em duas partes:
1. A construção de um sistema dedutivo rotulado cujos rótulos serão descrições de processos concorrentes, num cálculo tão próximo quanto possível do pi-cálculo e cujas fórmulas serão os "tipos" destes processos.
2. Utilização de uma generalização de lógica modal através do LDS para aplicações em sistemas distribuídos.
O trabalho apresentado em [Mac94] fornece uma solução geral para protocolos de Comunicação em Grupo em Sistemas Distribuídos adequados a uma variedade de configurações de sistemas e considera requisitos até então não abordados como, por exemplo, protocolos de ordem total para grupos sobrepostos. Os protocolos descritos em [Mac94] são o ponto de partida do sistema BCG (Base Confiável para Comunicação em Grupo), arcabouço de um projeto de pesquisa com o mesmo nome, em andamento do LaSid (Laboratório de Sistemas Distribuídos).
Assim, a abordagem unificadora para sistemas distribuidos que se pretende fornecer através do projeto aqui descrito deverá atender aos requisitos do paradigma de CG, dando continuidade ao projeto BCG do LaSid/UFBA.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 5) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) . Integrantes: George M de A Lima - Integrante / Ruy de Queiroz - Integrante / Anjolina de Oliveira - Integrante / Aline Santos Andrade - Integrante / Mario Roberto Folhadela Benevides - Integrante / Raimundo José de Araújo Macêdo - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação. Número de produções C, T & A: 5 / Número de orientações: 2. |
| 1995 - 1999 | BCG - Base Confiável de Comunicação em Grupo (projeto individual com bolsa de produtividade do CNPq nível II) |
| Descrição: Esse projeto integra as seguintes linhas de pesquisa:
Métodos formais
Comunicação em grupo e tolerância a falhas
Linguagens de programação distribuídas
O objetivo da BCG é prover um ambiente adequado ao desenvolvimento de aplicações distribuídas tolerantes a falha. A BCG é composta de um núcleo e duas camadas que o envolvem (acima, uma interface de linguagem e mecanismos complementares, e abaixo, um protocolo de multicast não confiável). No núcleo são encontrados os seguintes componentes: protocolo de ordem total; protocolos de ordem causal; protocolo de membership, detector de falhas e controlador de fluxo. Tais protocolos utilizam um serviço de multicast não confiável desenvolvido sobre a camada de transporte subjacente. Acima desse núcleo, existe uma interface de linguagem para CG, ainda em desenvolvimento, denominada Talk. Também acima do núcleo, estarão mecanismos de migração e replicação de processos. A BCG foi implementada em linguagem C++, numa plataforma UNIX, numa rede de estações de trabalho conectadas via rede Ethernet sobre o protocolo TCP/IP.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 8) / Especialização ( 7) / Mestrado acadêmico ( 2) . Integrantes: George M de A Lima - Integrante / Marcela Batalha - Integrante / Lilianne Dantas Cirne - Integrante / Deise da Silva Côrtes - Integrante / Eduardo Telmo Fonseca Santos - Integrante / Fabiola Gonçalves Pereira Greve - Integrante / João Carlos de Jesus Bulhões - Integrante / Leopoldo Gomez - Integrante / Raimundo José de Araújo Macêdo - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Número de produções C, T & A: 8 / Número de orientações: 14. |
| 1986 - 1990 | Desenvolvimento e Projeto de Servidores de Arquivos para Redes Locais (projeto individual com bolsa de produtividade do cnpq nivel III) |
| Descrição: Foi projetado e implementado todo o software de comunicação de rede, o software do servidor de arquivo e impressão (projeto ariginal com acesso concorrente) e impressão e alterado os sistemas operacionais das estações servidoras e clientes. O sistema ficou em uso na UFBA até 1990 nquando foi substituido por sistemas de mercado e em função da saida do pesquisador em quastão para doutoramento.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação ( 12) . Integrantes: Sérgio Gorender - Integrante / Anjolina de Oliveira - Integrante / Raimundo José de Araújo Macêdo - Coordenador. Financiador(es): Não informado / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa. Número de produções C, T & A: 6 / Número de orientações: 8. |
Membro de corpo editorial
| 2008 - Atual | Periódico: SBC Horizontes |
Revisor de periódico
| 2006 - Atual | Periódico: IEEE Transactions on Computers (0018-9340) |
| 2005 - Atual | Periódico: IEEE Transactions on Dependable and Secure Computing |
| 2007 - Atual | Periódico: IEEE Transactions on Parallel and Distributed Systems |
| 2008 - Atual | Periódico: IET SOFTWARE |
| 2009 - Atual | Periódico: Journal of the Brazilian Computer Society |
| 2010 - Atual | Periódico: Computer Networks |
| 2010 - Atual | Periódico: Journal of Parallel and Distributed Computing (Print) |
Áreas de atuação
| 1. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação. |
| 2. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação. |
| 3. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação /
Especialidade: Arquitetura de Sistemas de Computação. |
| 4. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação /
Especialidade: Software Básico. |
| 5. | Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação /
Especialidade: Engenharia de Software. |
Idiomas
| Inglês | Compreende Bem, Fala Bem, Lê Bem, Escreve Bem. |
| Espanhol | Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente. |
| Francês | Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente. |
Prêmios e títulos
| 2002 | Menção Honrosa - Melhores Artigos, Simpósio Brasileiro de Redes de Computadores - Melhores Artigos do SBRC2002. |
| 1999 | Distinção em Concurso para Professor Titular em Engenharia de Software (aprovado em primeiro lugar com Distinção), Universidade Federal da Bahia / Instituto de Metemática. |
| 1990 | Paraninfo da Turma de 1990 do Curso de Bacharelado em Ciência da Computação da UFBA, Departamento de Ciência da Computação da UFBA. |
| 1989 | Classificado em Primeiro Lugar no Concurso de Professor Auxiliar para a diciplina de Sistemas Operacionais (DCC/IM/UFBA), DCC/IM - Universidade Federal da Bahia - UFBA. |
| 1989 | Professor Homenageado; Formandos Ciencia da Computacao - UFBA 1989, Departamento de Ciencia da Computacao / UFVA. |
Produção em C,T & A
| Produção bibliográfica |
| Citações | ||||||||||
| ||||||||||
| Artigos completos publicados em periódicos |
| 1. | SILVA, Ricardo Perrone da ; MACÊDO, R. J. de A. ; LIMA, George M de A ; LIMA, Veônica . An Approach for Estimating Execution Time Probability Distributions of Component-based Real-Time Systems. Journal of Universal Computer Science , v. 15, p. 2142-2165, 2009. |
| 2. |   Gorender, Sergio ; MACÊDO, R. J. de A. ; RAYNAL, Michel . <![CDATA[An Adaptive Programming Model for Fault-Tolerant Distributed Computing]]>. IEEE Transactions on Dependable and Secure Computing, v. 4, p. 18-31, 2007. |
| 3. | MACÊDO, R. J. de A. ; SILVA, Flávio Morais de Assis . The mobile groups approach for the coordination of mobile agents. Journal of Parallel and Distributed Computing, Estados Unidos, v. 65, n. 3, p. 275-288, 2005. |
| Livros publicados/organizados ou edições |
| 1. | De Araujo Macedo, Raimundo (Org.) . Proceedings of the First Workshop on Autonomic Distributed Systems (WoSiDA),. 1. ed. Campo Grande: Sociedade Brasileira de Computação, 2011. v. 200. 50 p. |
| 2. | MACÊDO, R. J. de A. (Org.) ; Francisco Vasques (Org.) ; Montez, C. B. (Org.) . 11th Brazilian Workshop on Real-Time and Embedded Systems. 1. ed. Recife: SBC, 2009. v. 1. 300 p. |
| 3. | MACÊDO, R. J. de A. (Org.) ; Luciano Gaspary (Org.) . Anais do Congresso da SBC (Concurso de Teses e Dissertações - CTD 2009). 1. ed. Porto Alegre: SBC, 2009. v. 1. 128 p. |
| 4. | ANDRADE, Aline Maria Santos (Org.) ; MARTINS, Ana Terezqa (Org.) ; MACÊDO, R. J. de A. (Org.) . Livro texto do XXII JAI (Jarnada de Atualização em Informática). 1. ed. Salvador: Socieade Brasileira de Computação, 2004. v. 1. 383 p. |
| 5. | MACÊDO, R. J. de A. (Org.) . Anais do XXIV Congresso Brasileiro da Sociedade Brasileira de Computação (SBC). 1. ed. Salvador: Sociedade Brasileira de Computação, 2004. v. 1. 277 p. |
| 6. | PIRMEZ, Luci (Org.) ; RUST, Luiz Fernando (Org.) ; MACÊDO, R. J. de A. (Org.) . Anais do XX Simpósio Brasileiro de Redes de Computadores, VOL. I e II. 1. ed. Rio de Janeiro: Sociedade Brasileiora de Computação - SBC, 2002. v. 2. 880 p. |
| 7. | MACÊDO, R. J. de A. (Org.) ; FARINES, J. (Org.) . Livro Textos dos Minicursos SBRC'2001. 1. ed. Porto Alegre: Sociedade Brasileira de Computação/Laboratório Nacional de Redes de Computadores, 2001. v. 600. 202 p. |
| 8. | MACÊDO, R. J. de A. (Org.) ; NOGUEIRA, J. M. (Org.) . Anais do 17o Simpósio Brasileiro de Redes de Computadores. 1. ed. Salvador: Sociedade Brasileira de Computação/Laboratório Nacional de Redes de Computadores, 1999. v. 1000. 700 p. |
| 9. | MACÊDO, R. J. de A. (Org.) ; CALSAVARA, A. (Org.) ; BURNETT, R. (Org.) . Anais do Workshop em Sistemas Distribuídos. 1. ed. Curitiba: PUC-PR, 1998. v. 400. 124 p. |
| Capítulos de livros publicados |
| 1. | SÁ, Alírio Santos de ; MACÊDO, R. J. de A. . An Adaptive Failure Detection Approach for Real-Time Distributed Control Systems over Shared Ethernet. In: P. E. Myiagi; E. Villani; O. Horikawa. (Org.). ABCM Symposium Series in Mechatronics. 1 ed. Rio de Janeiro: Assiciação Brasileira de Ciências Mecânicas, 2006, v. 2, p. 43-50. |
| 2. | MACÊDO, R. J. de A. . Computação Distribuída. In: Willian Giozza, Horácio Hastenreiter, Adhvan Furtado, Péricles Magalhães Jr.. (Org.). Relatório de Tendências em Tecnologia da Informação e Comunicação. 1 ed. Salvador: Secretaria de Ciência, Tecnologia e Inovação - Bahia, 2006, v. 1, p. 157-169. |
| 3. | MACÊDO, R. J. de A. ; LIMA, George M de A ; BARRETO, Luciano Porto ; ANDRADE, Aline Maria Santos ; SÁ, Alírio ; BARBOZA, Frederico ; ALBURGUERQUE, Rodrigo ; ANDRADE, Sandro . Tratando a previsibilidade em sistemas de tempo-real distribuídos: Especificação. Linguagens, Middleware e Mecanismos Básicos . In: Edmundo Roberto Mauro Madeira. (Org.). LIVRO TEXTO DOS MINICURSOS DO SBRC2004. 1 ed. Campinas: SBC, 2004, v. 1, p. 105-163. |
| Textos em jornais de notícias/revistas |
| 1. | Guillerme Travassos ; MACÊDO, R. J. de A. . Apresentando a coluna Em Debate. SBC Horizontes - A Revista Eletrônica sobre Carreira em Computação da SBC, Rio de Janeiro, p. 1 - 1, 21 dez. 2008. |
| Trabalhos completos publicados em anais de congressos |
| 1. | De Araujo Macedo, Raimundo ; FREITAS, A. E. S. ; SÁ, Alírio Santos de . A Self-Manageable Group Communication Protocol For Partially Synchronous Distributed Systems. In: Fifth Latin-Amarican Symposium on dependable Computing - LADC 2011, 2011, São José dos Campos.
Proceeding of Fifth Latin-Amarican Symposium on dependable Computing. New York :
IEEE CS Press, 2011. v. 1. p. 146-155. |
| 2. | GORENDER, Sérgio ; De Araujo Macedo, Raimundo . Um Algoritmo Eficiente de Consenso Distribuído para o Modelo Síncrono Particionado. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2011, Campo Grande. Anais do SBRC 2011 (ISSN 2177-496X). Rio de Jenairo : SBC, 2011. v. 1. p. 587-600. |
| 3. | SÁ, Alírio Santos de ; De Araujo Macedo, Raimundo . QoS Self-Configuring Failure Detectors For Distributed Systems. In: 10th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS), 2010, Amsterdam. Proceedings of the 10th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS). Amsterdam : Springer - LNCS Series, 2010. v. 1. p. 126-140. |
| 4. | De Araujo Macedo, Raimundo ; FREITAS, A. E. S. . Group Communication for Self-Aware Distributed Systems. In: XXVIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), 2010, Gramado. Anais do XXVIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC). Porto Alegre : SBC - ISSN 2177496X, 2010. v. 1. p. 915-928. |
| 5. | SÁ, Alírio Santos de ; De Araujo Macedo, Raimundo . Detectores de Defeitos Autonôimicos para Sistemas Distribuídos. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), 2010, Gramado. Anais do 28o Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC). Porto Alegre : SBC - ISSN 2177496X, 2010. v. 1. |
| 6. | Eduardo Cambruzzi ; FARINES, Jean Marie ; MACÊDO, R. J. de A. ; Werner Kraus . Uma Abordagem Adaptativa para Detecção de Falhas em Redes Veiculares Ad hoc. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), 2010, Gramado. Anais dos 28o Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC). Porto Alegre : SBC - ISSN 2177496X, 2010. v. 1. p. 569-583. |
| 7. | GORENDER, Sérgio ; MACÊDO, R. J. de A. . Consenso com Recuperação no Modelo Partitioned Synchronous. In: XI Workshop de Testes e Tolerância a Falhas - WTF, 2010, Gramado. Anais do XI Workshop de Testes e Tolerância a Falhas - WTF. Porto Alegre : SBC - ISSN 2177496X, 2010. v. 1. p. 3-16. |
| 8. | Gorender, Sergio ; MACÊDO, R. J. de A. ; Waltemir Lemos Pacheco Júnior . Controle de Admissão para QoS, em Sistemas Distribuídos Híbridos, Tolerantes a Falhas. In: XI Workshop de Testes e Tolerância a Falhas - WTF, 2010, Gramado. Anais do XI Workshop de Testes e Tolerância a Falhas - WTF. Porto Alegre : SBC - ISSN 2177496X, 2010. v. 1. p. 45-58. |
| 9. | Eduardo Cambruzzi ; FARINES, Jean Marie ; De Araujo Macedo, Raimundo ; Werner Kraus . An Adaptive Failure Detection System for Vehicular Ad-hoc Networks. In: 2010 IEEE Intelligent Vehicles Symposium (IV 2010), 2010, San Diego. Proceedings of IEEE IV2010. SanDiego : IEEE, 2010. v. 1. p. 1-10. |
| 10. | Tanisia Foletto ; Victor Moraes ; Moreno, U. F. (Ubirajara Franco Moreno) ; SÁ, Alírio ; De Araujo Macedo, Raimundo . Avaliação sobre a inclusão de estimadores baseados em filtragem de Kalman em sistemas de controle via rede. In: XVIII Congresso Brasileiro de Automática, 2010, Bonito MS. Anais do XVIII Congresso Brasileiro de Automática. Rio de Janeiro : Sociedade Brasileira de Automática (SBA). p. 1-7. |
| 11. | RIBEIRO, S. ; De Araujo Macedo, Raimundo ; Gorender, Sergio . Replicação Reconfigurável em Sistema de Tempo Real. In: VI Congresso Nacional de Engenharia Mecânica (CONEM 2010), 2010, Campina Grande. Anais do VI Congresso Nacional de Engenharia Mecânica (CONEM 2010).. Rio de Janeiro : Associação Brasileira de Ciências Mecânicas (ABCM), 2010. v. 1. p. 1-10. |
| 12. | MACÊDO, R. J. de A. ; GORENDER, Sérgio . Perfect Failure Detection in the Partitioned Synchronous Distributed System Model. In: Fourth International Conference on Availability, Reliability and Security ( ARES 2009 The International Dependability Conference ), 2009, Fukuoka.
ARES/CISIS 2009 proceedings. Japan :
IEEE Computer Society, 2009. v. 1. p. 273-280. |
| 13. | ANDRADE, Sandro Santos ; MACÊDO, R. J. de A. . A non-intrusive component-based approach for deploying unanticipated self-management behaviour. In: IEEE ICSE 2009 Workshop Software Engineering for Adaptive and Self-Managing Systems, 2009, Vancouver.
Proceedings of the ICSE 2009 Workshop Software Engineering for Adaptive and Self-Managing Systems, 2009. v. 1. p. 152-161. |
| 14. | FREITAS, A. E. S. ; MACÊDO, R. J. de A. . Um Ambiente para Testes e Simulações de Protocolos Confiáveis em Sistemas Distribuídos Híbridos e Dinâmicos. In: O Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), 2009, Recife. Anais do O Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC). Recife : SBC, 2009. v. 1. p. 826-839. |
| 15. | Marcos Simões ; LIMA, George M de A ; MACÊDO, R. J. de A. . An Autonomic Approach for Dynamic Reconfiguration on Real-time Bandwidth-reservation Schedulers. In: 11th Brazilian Workshop on Real-Time and Embedded Systems (WiP Session), 2009, Recife. Proceedings of the 11th Brazilian Workshop on Real-Time and Embedded Systems. Recife : SBC, 2009. v. 1. p. 1-6. |
| 16. | SÁ, Alírio Santos de ; MACÊDO, R. J. de A. . Uma Proposta de Detector de Defeitos Autonômico Usando Engenharia de Controle. In: X WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF 2009), 2009, Joãp Pessoa. Anais do X WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF 2009). João Pessoa : SBC, 2009. v. 1. p. 1-14. |
| 17. | MACÊDO, R. J. de A. ; FREITAS, A. E. S. . A Generic Group Communication Approach for Hybrid Distributed Systems. In: 9th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS2009), 2009, Lisbon.
Proceedings of the 9th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS2009). Berlin :
Springer-Verlag in the Lecture Notes in Computer Science (LNCS) series, 2009. v. 5523. p. 102-115. |
| 18. | Claro, D. B. ; MACÊDO, R. J. de A. . Dependable Web Service Compositions using a Semantic Replication Scheme. In: Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), 2008, Rio de Janeiro. Anais do SBRC 2008. Rio de Janeiro : Sociedade Brasileira de Computação, 2008. v. 1. p. 441-454. |
| 19. | SILVA, Ricardo Perrone da ; MACÊDO, R. J. de A. ; LIMA, George M de A ; LIMA, Veônica . Estimating Execution Time Probability Distributions in Component-based Real-Time Systems. In: 10th Brazilian Workshop on Real-time and Embedded Systems, 2008, Rio de Janeiro. In Proceedings of the 10th Brazilian Workshop on Real-time and Embedded Systems. Rio de Janeiro : Sociedade Brasileira de Computação, 2008. v. 1. p. 21-28. |
| 20. | SANTOS, Neima Prado dos ; MACÊDO, R. J. de A. ; BARRETO, Luciano Porto . Reconfiguração Dinâmica de Componentes em Sistemas Distribuídos de Controle e Supervisão, com Aplicação a Tolerância a Falhas. In: IX Workshop de Teste e Tolerância a Falhas (WTF 2007), 2008, Rrio de Janeiro. Anais do IX Workshop de Teste e Tolerância a Falhas (WTF 2008). Rio de Jeneiro : SBC - Soc. Brasileira de Computação, 2008. v. 1. p. 197-210. |
| 21. | MACÊDO, R. J. de A. ; GORENDER, Sérgio . Detectores Perfeitos em Sistemas Distribuídos Não Síncronos. In: IX Workshop de Teste e Tolerância a Falhas (WTF 2007), 2008, Rio de Janeiro. Anais do IX Workshop de Teste e Tolerância a Falhas (WTF 2007). Rio de Janeiro : SBC - Sociedade Brasileira de Computação, 2008. v. 1. p. 127-140. |
| 22. | SÁ, Alírio Santos de ; MACÊDO, R. J. de A. ; SANTOS, T. L. M. ; Moreno, U. F. (Ubirajara Franco Moreno) . Um Procedimento para Avaliação de Redes Ethernet Comutada Baseada em uma Métrica de Qualidade de Controle. In: XVII Congresso Brasileiro de Automática (CBA), 2008, Juiz de Fora. Anais do XVII Congresso Brasileiro de Automática (CBA), 2008. v. 1. p. 1-6. |
| 23. | SILVA, Ricardo Perrone da ; MACÊDO, R. J. de A. ; LIMA, George M de A ; LIMA, Veônica . Uma Abordagem para Estimar Tempos de Execução em Sistemas de Tempo Real Baseados em Componentes. In: II Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2008), 2008, Porto Alegre. Anais do II Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS 2008). POrto Alegre : Sociedade Brasileira de Computação, 2008. v. 1. p. 82-95. |
| 24. | Daniela Barreiro Claro ; Oriana Licchelli ; Patrick Albers ; MACÊDO, R. J. de A. . Personalized reliable Web service compositions. In: 3rd WORKSHOP ON ONTOLOGIES AND THEIR APPLICATIONS (WONTO'2008) (co-located with SBIA 2008), 2008, Salvador. Proceedings of 3rd WORKSHOP ON ONTOLOGIES AND THEIR APPLICATIONS. Salvador : Sociedade Brasileira de Computação, 2008. v. 1. p. 1-10. |
| 25. | MACÊDO, R. J. de A. . An Integrated Group Communication Infrastructure for Hybrid Real-time Distributed Systems. In: 9th Workshop on Real-Time Systems, 2007, Belém. Proceedings of the 9th Workshop on Real-Time Systems. Porto Alegre : SBC - Sociedade Brasileira de Computação, 2007. v. 1. p. 81-88. |
| 26. | SÁ, Alírio Santos de ; MACÊDO, R. J. de A. . Um Framework para Prototipagem e Simulação de Detectores de Defeitos na Construção de Sistemas de Tempo Real. In: VIII Workshop de Teste e Tolerância a Falhas (WTF 2007), 2007, Belém. Proceedings of WTF'2007. Porto Alegre : SBC, 2007. v. 1. p. 43-56. |
| 27. | ANDRADE, Sandro Santos ; MACÊDO, R. J. de A. . Engineering Components for Flexible and Interoperable Real-Time Distributed Supervision and Control Systems. In: 12th IEEE Conference on Emerging Technologies and Factory Automation, 2007, Patras. 1Proceedings of the 2th IEEE Conference on Emerging Technologies and Factory Automation. New York : IEEE - Institute of Electrical and Electronics Engineers, 2007. v. 1. p. 376-383. |
| 28. | SÁ, Alírio Santos de ; MACÊDO, R. J. de A. . Avaliando o Impacto de Detectores de Defeitos na Estabilidade de Sistemas de Controle de Tempo Real sobre Redes Convencionais. In: WTF 2006 - VII Workshop de Testes e Tolerância a Falhas, 2006, Curitiba. Anais do WTF 2006. Curitiba : SBC, 2006. v. 1. p. 55-66. |
| 29. | ANDRADE, Sandro Santos ; MACÊDO, R. J. de A. . Using Real-Time Components to Construct Supervision and Control Applications. In: 8th Brazilian Workshop on Real-Time Systems, 2006, Curitiba. Proceedings of the WTR 2006. Curitiba : SBC, 2006. v. 1. p. 1-4. |
| 30. | ANDRADE, Sandro Santos ; MACÊDO, R. J. de A. . A Management Tool for Component-Based Real-Time Supervision and Control Systems. In: Simpósio Brasileiro de Engenharia de Software (Sessão de Ferramentas), 2006, Floerianópolis. XIII Sessão de Ferramentas do SBES, 2006. v. 1. p. 139-144. |
| 31. | ANDRADE, Sandro Santos ; MACÊDO, R. J. de A. . Real-Time Component Software For Flexible And Interoperable Automation Systems. In: XII Congresso Brasileiro de Automática (XII CBA), 2006, Salvador. Anais do XII Congresso Brasileiro de Automática, 2006. v. 1. p. 3014-3019. |
| 32. | ANDRADE, Sandro Santos ; MACÊDO, R. J. de A. ; SÁ, Alírio Santos de ; SANTOS, Neima . USING REAL-TIME COMPONENTS TO CONSTRUCT SUPERVISION AND CONTROL APPLICATIONS. In: The 27th IEEE Real-Time Systems Symposium (RTSS 2006) Work in Progress Session, 2006, Rio de Janeiro. Proceedings of the The 27th IEEE Real-Time Systems Symposium (Working in Progress Session), 2006. v. 1. p. 1-4. |
| 33. | GORENDER, Sérgio ; MACÊDO, R. J. de A. ; RAYNAL, Michel . A Hybrid and Adaptive Model for Fault-Tolerant Distributed Computing. In: DNS05- IEEE/IFIP Int. Conference on Computer Systemas and Networks, 2005, Yokohama, Japan. Proceedings of the IEEE/IFIP DSN 05. Los Alamitos, CA, USA : IEEE Computer Press, 2005. v. 1. p. 412-421. |
| 34. | SÁ, Alírio Santos de ; MACÊDO, R. J. de A. . Detectores de Defeitos Adaptáveis para Sistemas de Controle Distribuídos de Tempo-Real sobre Redes Ethernet. In: VII Brazilian Workshop of Real-Time Systems, 2005, Fortaleza. Proceedings of the VII Brazilian Workshop of Real-Time Systems. Fortaleza : SBC/LARC, 2005. v. 1. p. 65-68. |
| 35. | MACÊDO, R. J. de A. ; GORENDER, Sérgio ; CUNHA, Paulo . The Implementation of a Distributed System Model for Fault Tolerance with QoS . In: SBRC 2005, Simpósio Brasileiro de Redes de Computadores, Maio/2005, 2005, Fortaleza. Anais do SBRC 2005. Fortaleza : SBC/LARC, 2005. v. 1. p. 827-840. |
| 36. | ANDRADE, Sandro ; MACÊDO, R. J. de A. . A Component-Based Real-Time Architecture for Distributed Supervision and Control Applications . In: 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005, Catania. Proceedings of the ETFA 2005. New York : IEEE Computer Society Press, 2005. v. 1. p. 15-22. |
| 37. | SÁ, Alírio Santos de ; MACÊDO, R. J. de A. . An Adaptive Failure Detection Approach for Real-time Ddistributed Control Systems over Shared Ethernet. In: International Congress on Mechanical Engenniering - Mechatronics Symposium, 2005, Ouro Preto. Proceedings of the 18th International Congress on Mechanical Engeneering, 2005. v. 1. p. 1-8. |
| 38. | ANDRADE, Sandro ; MACÊDO, R. J. de A. ; SÁ, Alírio Santos de . ARCOS: A Component-Based Architecture for the Construction of Robust Control and Supervision Applicatrions. In: WDAS - Latin-American Workshop on Dependable Automation System - co-located with the Second Latin-Americam Symposium on Dependable Computing, 2005, Salvador. WDAS - Latin-American Workshop on Dependable Automation System Proceedings. Salvador : SBC/LADC2005, 2005. v. 1. p. 11-16. |
| 39. | SÁ, Alírio Santos de ; MACÊDO, R. J. de A. . Avaliando Detectores de Defeitos Adaptáveis em Sistemas Distribuídos de Controle de Tempo Real sobre Redes Convencionais. In: III Workshop on Theses and Dissertations (co-located with the Second Latin-American Symposium on Dependable Computing), 2005, Salvador. Suplemental Volume of The Procceedings of LADC'2005. Salvador : SBC, 2005. v. 1. p. 61-66. |
| 40. | LIMA, Fábio Ramon de Lima e ; MACÊDO, R. J. de A. . Adapting Failure Detectors to Communication Network Load Fluctuations Using SNMP and Artificial Neural Nets. In: Second Latin-American Dependable Computing Symposium - LADC05, 2005, Salvador.
Proceedings of Second Latin-American Dependable Computing Symposium. Berlin :
Springer-Verlag in the Lecture Notes in Computer Science (LNCS) series, 2005. v. 3747. p. 191-205. |
| 41. | MACÊDO, R. J. de A. ; LIMA, Fábio Ramon de Lima e . Improving the Quality of Service of Failure Detectors with SNMP and Artificial Neural Networks. . In: Simpósio Brasileiro de Redes de Computadores - SBRC2004 (short paper track), 2004, Gramado. Anais do 22o Simpósio Brasileiro de Redes de Computadores. Porto Alegre : Sociedade Brasileira de Computação - SBC, 2004. v. 1. p. 583-586. |
| 42. | GORENDER, Sérgio ; MACÊDO, R. J. de A. ; CUNHA, Mathues Ciríaco Cerqueira . Implementação e Análise de Desempenho de um Mecanismo Adaptativo para Tolerância a Falhas em Sistemas Distribuídos com QoS. In: V Workshop de Testes e Tolerância a Falhas (WTF 2004), 10-14 Maio, 2004, Gramado/RS. Anais do WTF 2004. Porto Alegre : Sociedade Brasileira de Computação, 2004. v. 1. p. 3-14. |
| 43. | MACÊDO, R. J. de A. ; SILVA, Flávio Morais de Assis ; FREITAS, Ana Vitória Piaggio . MARES Platform: Support for Transactional and Fault-tolerant Execution of Mobile Agent-based Applications. In: IV Workshop de Testes e Tolerância a Falhas (II WTF), 2003, Natal. Proceedings. NATAL : SBC, 2003. v. 1. p. 71-78. |
| 44. | MACÊDO, R. J. de A. ; SILVA, Flávio Morais de Assis . Coordination of Mobile Processes with Mobile Groups. In: The IEEE/IFIP International Conference on Dependable Systems and Networks. June 23rd-26th, 2002, Washington, D.C., USA., 2002, Washington. Proceedings of the DSN'2002. Washington : IEEE Computer Society Press, 2002. p. 177-186. |
| 45. | GORENDER, Sérgio ; MACÊDO, R. J. de A. . Um Modelo de Tolerância a Falhas para Sistemas Distribuídos com QoS. In: Simpósio Brasileiro de Redes de Computadores - SBRC2002, 20-24/Maio, 2002, Búzios. Anais do SBRC2002. Porto Alegre : Sociedade Brasileira de Computação, 2002. p. 277-292. |
| 46. | FERREIRA, N. ; MACÊDO, R. J. de A. . Uso de Redes Neurais Artificiais para a Implementação de Um Detector de Falhas. In: II Workshop de Testes e Tolerância a Falhas (II WTF), 20-24/Junho, 2002, Búzios. Anais do II WTF. Porto Alegre : Sociedade Brasileira de Computação, 2002. p. 33-40. |
| 47. | MACÊDO, R. J. de A. ; SILVA, Flávio Morais de Assis . Mobile Groups. In: Simpósio Brasileiro de Redes de Computadores, 2001, Florianópolis. Anais do SBRC'2001. Porto Alegre : Sociedade Brasileira de Computação, 2001. p. 66-81. |
| 48. | BATALHA, M. ; MACÊDO, R. J. de A. . Um Serviço Tolerante a Falhas para o Gerenciamento de Sistemas Distribuídos Sobre CORBA. In: Conferência Latinoamericana de Informática, 2001, Mérida. Anais do CLEI'2001. Santiago : CLEI - Centro Latinoamericano de Estudios en Informática, 2001. |
| 49. | MACÊDO, R. J. de A. ; SILVA, Flávio Morais de Assis . Integrating Mobility into Groups. In: European Research Seminar on Advances in Distributed System, 2001, Bertinoro. Proceedings of ERSADS'2001. Bolongna : University of Bolongna (Ozalp Babaoglu), 2001. p. 209-214. |
| 50. | SILVA, Flávio Morais de Assis ; MACÊDO, R. J. de A. . Reliable Communication for Mobile Agents with Mobile Groups. In: Workshop on Software Engineering and Mobility (co-located with ACM/IEEE ICSE 2001), 2001, Toronto. Proceedings, 2001. |
| 51. | HURFIN, Michel ; MACÊDO, R. J. de A. ; MOSTEAFAOUI, A. ; RAYNAL, Michel . A Sliding Round Window Diamond S-based Consensus. In: 20th IEEE Int. Symposium on Reliable Disributed Systems, 2001, New Orleans. Proceedings of the SRDS'01. New Orleans : IEEE Computer Society Press, 2001. p. 120-129. |
| 52. | MACÊDO, R. J. de A. ; HURFIN, Michel . ARGO PROJECT : Fualt Tolerance in Asynchronous Distributed Systems. In: Projects Evaluation Workshop - International Cooperation (CNPq/NFS/INRIA) - ProTeM-CC, 2001, Rio de Janeiro. Proceedings of the Internacional Cooperation (NSF/INRIA) Project Evaluation Workshop. Brasilia : CNPq, 2001. p. 518-541. |
| 53. | CIRNE, L. D. ; MACÊDO, R. J. de A. . Uma Abordagem para Tolerância a Falhas em JAVA através de Comunicação em Grupo. In: XVIII Simpósio Brasileiro de Redes de Computadores - SBRC'2000, 2000, Belo Horizonte. Anais do SBRC'2000. Belo Horizonte : Sociedade Brasileira de Computaçãp - SBC, 2000. p. 101-116. |
| 54. | MACÊDO, R. J. de A. . Failure Detection in Asyncronous Distributed Systems. In: II Workshop de Testes e Tolerância a Falhas (II WTF), 15-16/Julho, 2000, Curitiba. Anais do II WTF. Porto Alegre : Sociedade Brasoleira de Computação - SBC, 2000. p. 76-81. |
| 55. | SILVA, Flávio Morais de Assis ; MACÊDO, R. J. de A. . Reliability Requirements for Mobile Agent Systems. In: II Workshop de Testes e Tolerância a Falhas (II WTF), SBC, 15-16/Julho, 2000, Curitiba. Anais do II WTF da SBC, 2000. p. 04-09. |
| 56. | GREVE, F. G. P. ; HURFIN, Michel ; MACÊDO, R. J. de A. ; RAYNAL, Michel . Consensus Based On Strong Failure Detectors : A Time and Message-Efficient Protocol. In: IEEE International Workshop on Fault-Tolerant Parallel and Distributed Systems ( FTPDS`2000), 2000, Cancun.
Proceedings of the IEEE International Workshop on Fault-Tolerant Parallel and Distributed Systems. Berlin :
Springer-Verlag in the Lecture Notes in Computer Science (LNCS) series, 2000. v. 1800. p. 1258-1267. |
| 57. | BADACHE, N. ; HURFIN, Michel ; MACÊDO, R. J. de A. . Solving The Consensus Problem In A Mobile Environment. In: The 1999 IEEE International Performance,Computing, and Communications Conference - IPCCC'99, 1999, Phoenix/Scottsdale. Proceedings. Piscataway, NJ, USA : IEEE Press, 1999. p. 29-35. |
| 58. | HURFIN, Michel ; MACÊDO, R. J. de A. ; RAYNAL, Michel ; TRONEL, F. . A General Framework to Solve Agreement Problems. In: International Symposium on Reliable Distributed Systems - SRDS'99, 1999, Lausanne.
Proceedings of the IEEE Symposium on Reliable Distributed Systems, 1999. p. 56-67. |
| 59. | LIMA, George M de A ; MACÊDO, R. J. de A. . A Robust Causal Order Protocol. In: 11th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD`99), 1999, Natal. 11th Symposium on Computer Architecture and High Performance Computing, 1999. |
| 60. | LIMA, George M de A ; MACÊDO, R. J. de A. . Avaliação de Desempenho de Protocolos de Ordenação Causal para Comunicação em Grupo. In: XXV Conferência Latino-Americana de Informática, 1999, Assunção. CLEI. Assunção : CLEI, 1999. |
| 61. | BADACHE, N. ; HURFIN, Michel ; MACÊDO, R. J. de A. . A Solution for the Consensus Problem in a Mobile Environment. In: XVII Simpósio Brasileiro de Redes de Computadores, 1999, Salavdor. Anais do SBRC'99, 1999. p. 272-288. |
| 62. | GREVE, Fabiola ; MACÊDO, R. J. de A. . The Bcg Membership Service Performance Analysis. In: Simpósio Brasileiro de Redes de Computadores, 1998, Rio de Janeiro. Anais. Rio de Janeiro : SBC - Sociedade Brasileira de Computação, 1998. p. 682-700. |
| 63. | EZHILCHELVAN, P. D. ; MACÊDO, R. J. de A. ; SHRIVASTAVA, S. . Buffer Overflow Avoidance Techiniques For Group Communication Protocols. In: Simpósio Brasileiro de Redes de Computadores, 1996. Anais. Fortaleza. p. 633-652. |
| 64. | MACÊDO, R. J. de A. ; EZHILCHELVAN, P. ; SHRIVASTAVA, S. . Flow Control Schemes For A Fault-Tolerant Multicast Protocol. In: PACIFIC RIM INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT SYSTEMS, 1995, Newport Beach. PROCEEDINGS. Los Alamitos : IEEE. p. 80-88. |
| 65. | MACÊDO, R. J. de A. ; EZHILCHELVAN, P. . Reliability Aspects Of Multicast Protocols. In: VI SIMPOSIO BRASILEIRO DE COMPUTADORES TOLERANTES A FALHA, 1995. Anais. CANELA, RS, BRASIL. p. 239-259. |
| 66. | MACÊDO, R. J. de A. ; SHRIVASTAVA, S. . The Implementation And Performance Analysis Of A Total Order Delivery Total Order Protocol For Group Communication. In: THE XXI LATIN AMERICAN CONFERENCE ON INFORMATICS AND THE VX CONGRESS OF THE SBC (SEMISH), 1995, Canela. Proceedings. CANELA : SBC, 1995. p. 287-299. |
| 67. | MACÊDO, R. J. de A. ; EZHILCHELVAN, P. ; SHRIVASTAVA, S. . Flows Control Schemes For Multicast Protocols. In: II OPEN BROADCAST WORKSHOP, 1995, Greboble. BROADCAST/ESPRIT DELIVERABLE REPORT. GRENOBLE, FRANCE : ESPRIT/BROADCAST. v. 3. p. 0-0. |
| 68. | EZHILCHELVAN, P. ; MACÊDO, R. J. de A. ; SHRIVASTAVA, S. . Newtop: a fault-tolerant group communication protocol. In: PROC. OF THE 15TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS., 1995, Vancouver.
PROCEEDINGS. VANCOUVER, CANADA :
IEEE, 1995. p. 296-306. |
| 69. | MACÊDO, R. J. de A. . Causal Order Protocols For Group Communication. In: XIII SIMPOSIO BRASILEITO DE REDES DE COMPUTADORES, 1995, Belo Horizonte. ANAIS. BELO HORIZONTE, MG, BRASIL : SBC. p. 265-283. |
| 70. | D, P. ; MACÊDO, R. J. de A. ; SHRIVASTAVA, S. . Newtop: A Total Order Protocol Using Causal Blocks. In: FIRST OPEN BROADCAST WORKSHOP, 1993, Newcastle upon Tyne. Deliveravle Reports. NEWCASTLE UPON TYNE, ENGLAND : ESPRIT/Newcastle, 1993. v. 1. p. 0-0. |
| 71. | MACÊDO, R. J. de A. . Um Sistema Integrado de Baixo Custo Para Desenvolvimento de Software Num Ambiente de Ensino. In: II SEMANA DE INFORMATICA DA UFBA. PAGINAS 152-165., 1988. Anais. SALVADOR, BA, BRASIL. p. 152-165. |
| 72. | MACÊDO, R. J. de A. . Servidores de Arquivo: Uma Introucao. In: I SEMANA DE INFORMATICA DA UFBA, 1986, Salvador. Anais. SALVADOR, BA, BRASIL : UFBA, 1986. p. 54-79. |
| Resumos expandidos publicados em anais de congressos |
| 1. | MACÊDO, R. J. de A. ; RAYNAL, Michel . Adding Dynamicity to the Uncertainty that Characterizes Distributed Systems: Challenges Ahead. In: Colóquio em Informática: Brasil / INRIA, Cooperações, Avanços e Desafios, 2009, Bento Gonçalves. Anais do Colóquio em Informática: Brasil / INRIA, Cooperações, Avanços e Desafios. Porto Alegre : SBC/INRIA, 2009. v. 1. p. 2551-2554. |
| 2. | Claro, D. B. ; MACÊDO, R. J. de A. . Web Services e sua relação com Sistemas de Informação. In: IV Simpósio Brasileiro de Sistemas de Informação, 2008, Rio de Janeiro. In Mini-cursos do IV Simpósio Brasileiro de Sistemas de Informação. Rio de Jenairo : SBC, 2008. v. 1. p. 1-5. |
| 3. | GORENDER, Sérgio ; MACÊDO, R. J. de A. . A Dynamically QoS Adaptable Consensus and Failure Detector.. In: DNN02- IEEE/IFIP Int. Conference on Computer Systemas and Networks, 2002, Washington. Suplemental Volume of the Proceedings DSN02, 2002. p. B80-B81. |
| Resumos publicados em anais de congressos |
| 1. | MACÊDO, R. J. de A. ; SILVA, Flávio Morais de Assis . An Overview of the Mobile Group Approach. In: First Open ARGo Project Workshop, 2001, Salvador. Extended Abstracts, 2001. p. 7-8. |
| 2. | SILVA, Flávio Morais de Assis ; MACÊDO, R. J. de A. . Approaches for Mobile Agent Fault Tolerance. In: First Open ARGO Workshop, 2001, Salvador. Extended Abstracts. Salvador : ProTem-CC, CNPQ/INRIA, 2001. p. 9-10. |
| 3. | FERREIRA, N. ; MACÊDO, R. J. de A. . Implementation of a Failure Detector bsed on an Artificial Neural Network. In: First Open ARGO Workshop, 2001, Salvador. Extended Abstracts. Salvador : ProTeM-CC, CNPq/INRIA, 2001. p. 11-12. |
| 4. | BATALHA, M. ; MACÊDO, R. J. de A. . A Fault-Tolerant CORBA based Management Tool. In: First Open ARGO Worhsop, 2001, Salvador. Extended Abstracts. Salvador : ProTeM-CC, CNPq/INRIA, 2001. p. 25-26. |
| 5. | GREVE, Fabiola ; HURFIN, Michel ; MACÊDO, R. J. de A. ; RAYNAL, Michel . Time and Message-Efficient S-Based Consensus. In: Nineteenth Annual ACM SIGACT0SIGOPS Symposium on PRINCIPLES OF DISTRIBUTED COMPUTING, 2000, Portland/Oregon. Proceedings of PODC`2000, 2000. |
| 6. | MACÊDO, R. J. de A. . A Solution For The Consensus Problem In A Mobile Environment. In: II Workshop Aberto do Projeto LOCUS/PROTEM-CC Fase III, 1998, Recife. Resumos. Recife : LOCUS/PROTEM. |
| 7. | MACÊDO, R. J. de A. ; EZHILCHELVAN, P. D. ; SHRIVASTAVA, S. . Modelling Group Communication Using Causal Blocks. In: V EUROPEAN WHORSHOP ON DEPENDABLE COMPUTING., 1993. Abstracts. LISBON, PORTUGAL, 1993. p. 0-0. |
| 8. | MACÊDO, R. J. de A. . Desenvolvimento de Estruturas de Acesso Via Chave Primaria Para Um Ambiente de Acesso Concorrente.. In: III SEMINARIO DE DOCENTES DA UFBA, 1988. Anais. SALVADOR, BA, BRASIL : UFBA. p. 0-0. |
| 9. | MACÊDO, R. J. de A. . Desenvolvimento de Estacoes Servidoras de Arquivos Dedicada A Interligacao de Micro-Computadores e Com Acesso Ao Main-Frame. In: II SEMINARIO DE DOCENTES DA UFBA, 1987. Anais. SALVADOR : UFBA. p. 0-0. |
| Artigos aceitos para publicação |
| 1. | De Araujo Macedo, Raimundo ; GORENDER, Sérgio . Exploiting Partitioned Synchrony to Implement Accurate Failure Detectors. International Journal of Critical Computer-Based Systems (IJCCBS), 2009. |
| Apresentações de Trabalho |
| 1. | MACÊDO, R. J. de A. . Problemas Ambientais Causados pela Tecnologia da Informação: Cenário Atual e Soluções (Palestra Convidada). 2008. (Apresentação de Trabalho/Conferência ou palestra). |
| 2. | Claro, D. B. ; MACÊDO, R. J. de A. . Confiabilidade em Serviços Web (Minicurso). 2008. (Apresentação de Trabalho/Conferência ou palestra). |
| 3. | MACÊDO, R. J. de A. . Approaches for Adaptive and Dependable Distributed Systems (Palestra Convidada). 2008. (Apresentação de Trabalho/Conferência ou palestra). |
| 4. | MACÊDO, R. J. de A. . Os Problemas Ambientais Causados pela Sociedade da Informação. 2007. (Apresentação de Trabalho/Conferência ou palestra). |
| 5. | MACÊDO, R. J. de A. . Lei de Informática (Palestra Convidada). 2007. (Apresentação de Trabalho/Conferência ou palestra). |
| 6. | MACÊDO, R. J. de A. . Sistemmas Computacionais Tolerantes (ou Imunes) a Falhas: em Busca de Modelos Biológicos. 2006. (Apresentação de Trabalho/Conferência ou palestra). |
| 7. | MACÊDO, R. J. de A. . Sistemas Distribuídos e Convergência. 2006. (Apresentação de Trabalho/Conferência ou palestra). |
| 8. | MACÊDO, R. J. de A. . III Colóquio Internacional Redes e Cibercidades LIXO DIGITAL . 2004. (Apresentação de Trabalho/Conferência ou palestra). |
| 9. | MACÊDO, R. J. de A. ; GIOZZA, Willian ; BITTENCOURT, Roberto ; SOUZA, Josemar Rodrigues de ; LUCCHESI, Rafael ; PEREIRA, Hernane . Tecnologia da Informação na Bahia: Os elos entre o Governo Estadual e o Setor Acadêmico. 2004. (Apresentação de Trabalho/Outra). |
| 10. | MACÊDO, R. J. de A. . Impactos Ambientais da Fabricação, Uso e Descarte de Computadores. 2004. (Apresentação de Trabalho/Conferência ou palestra). |
| 11. | MACÊDO, R. J. de A. . O outro lado dos computadores, ou tudo o que não se pretendia deles: hardlixo + softlixo. 2003. (Apresentação de Trabalho/Conferência ou palestra). |
| Demais tipos de produção bibliográfica |
| 1. | MACÊDO, R. J. de A. ; Luciano Gaspary . Concurso de Teses e Dissertações da Sociedade Brasileira da Computação - SBC. Porto Alegre, 2009. (Prefácio, Pósfacio/Prefácio). |
| 2. | GORENDER, Sérgio ; MACÊDO, R. J. de A. ; RAYNAL, Michel . A QoS-Based Adaptive Model for Fault-tolerant Distruibuted Computing. Rennes: IRISA, 2006 (Relatório Técnico). |
| 3. | MACÊDO, R. J. de A. ; MONTEIRO, José Augusto Suruagy ; GIOZZA, Willian ; BITTERNCOURT, Roberto . Projero Pró-Doutorado muiltiinstitucional em Tecnlogia da Informação na Bahia . Salvador: UFBA, 2003 (Projeto). |
| 4. | LEPKSON, Herman ; MACÊDO, R. J. de A. . Projeto do Curso de Mestrado em Mecatônica. Salvador: UFBA, 2002 (Projeto). |
| 5. | MACÊDO, R. J. de A. ; HURFIN, Michel . Projeto ARGO - Relatório Parcial - Workshop ProTeM-CC/INRIA. Brasília: CNPq, 2001 (Relatório Técnico). |
| 6. | MACÊDO, R. J. de A. ; HURFIN, Michel . First Open ARGO Workshop - Extended Abstracts. Salvador: UFBA, 2001 (Anais de Conferência (Editor)). |
| 7. | HURFIN, Michel ; MACÊDO, R. J. de A. ; MOSTEFAOUI, A. ; RAYNAL, Michel . A Sliding Round Window <>S Based Consensus Protocol. Rennes: IRISA, 2000 (Relatório Técnico No 1304, IRISA/FRANCE, Feb/2000.). |
| 8. | MACÊDO, R. J. de A. ; HURFIN, Michel . ARGO - Tolerância a Falhas nos Sistemas Distribuídos Assíncronos. Salvador: LaSiD/UFBA, 1999 (Projeto de Pesquisa). |
| 9. | MACÊDO, R. J. de A. . Projeto do Curso de Pós-graduação lato senso Especialização Avançada em Sistemas Distribuídos - 40 páginas 1997 (Projeto). |
| 10. | MACÊDO, R. J. de A. ; DRUMMOND, R. . I Workshop de Sistemas Distribuídos. Salvador: UFBA, 1996 (Anais de Conferência (Editor)). |
| 11. | MACÊDO, R. J. de A. . Projeto de Criação do Labotatório de Sistemas Distribuídos - LaSiD da UFBA 1995 (Projeto). |
| 12. | MACÊDO, R. J. de A. . BCG - Base Confiável de Comunicação em Grupo. Salvador: LaSiD/UFBA, 1995 (Projeto de Pesquisa). |
| 13. | MACÊDO, R. J. de A. ; Magalhães, Geovane C. . Anais da Primeira Semana de Informática da UFBA. Salvador, 1986. (Prefácio, Pósfacio/Prefácio). |
| Produção técnica |
| Softwares sem registro de patente |
| 1. | MACÊDO, R. J. de A. . Newtop : A Fault-Tolerant Multicast Protocol. 1993. |
| 2. | MACÊDO, R. J. de A. . Servidor de Arquivos e Impressão e Protocolos de Acesso Via Rede Local. 1987. |
| Produtos tecnológicos |
| 1. | MACÊDO, R. J. de A. . Plataforma Newtop - Newcastle Total Order Protocol. 1993. |
| 2. | MACÊDO, R. J. de A. . Servidor de Arquivos e Impressão. 1987. |
| Trabalhos técnicos |
| 1. | MACÊDO, R. J. de A. ; SILVA, Flavio Assis . Re(credenciamento do DCC/UFBA junto ao CATI). 2006. |
| 2. | MACÊDO, R. J. de A. . Projeto do Doutorado Multinstitucional em Ciência da Computação. 2006. |
| 3. | LEPIKSON, H. ; MACÊDO, R. J. de A. . Projeto do Mestrado em Mecatrônica da UFBA. 2002. |
| 4. | MACÊDO, R. J. de A. . Projeto de Credenciamento do DCC/UFBA junto ao CATI/MCT. 2002. |
| 5. | MACÊDO, R. J. de A. . Página WEB da Comissão Especial de Redes de Computadores e Sistemas Distribuídos da SBC. 2000. |
| 6. | MACÊDO, R. J. de A. ; HURFIN, Michel . ARGO -Tolerância a Falhas nos Sistemas Distribuídos Assincronos. 1999. |
| 7. | MACÊDO, R. J. de A. . Projeto do Curso de Pós-graduação lato sensu Especialização Avançada em Sistemas Distribuídos - 50 páginas. 1997. |
| 8. | MACÊDO, R. J. de A. . Projeto do Laboratório de Sistemas Distribuídos - LaSiD : Objetivos, Projetos e Requisitos de Funcionamento. 1995. |
| Demais tipos de produção técnica |
| 1. | Claro, D. B. ; MACÊDO, R. J. de A. . Confiabilidade em Web Services. 2008. (Curso de curta duração ministrado/Outra). |
| 2. | MACÊDO, R. J. de A. . Lixo Digital. 2004. (Programa de rádio ou TV/Mesa redonda). |
| Demais trabalhos |
| 1. | MACÊDO, R. J. de A. . Projeto Para Realização do Congresso Geral da Sociedade Brasileira de Computação de 2004 em Salvador (UFBA). 2002 (Projeto de Realização do Congresso Geral da SBC em 2004). |
| 2. | ANDRADE, Aline ; MACÊDO, R. J. de A. ; SILVA, A. F. ; SILVA, Flávio Morais de Assis . Uma Proposta de Reestruturação da área de ciência da computação da UFBA (22 páginas). 2001 (Projeto de Reestruturação Acadêmica). |
Bancas
| Participação em bancas examinadoras |
| Dissertações |
| 1. | De Araujo Macedo, Raimundo; SOUSA, José Neuman de; Rossana Andrade. Participação em banca de Bruno Góis Mateus. Análise sobre o impacto da densidade veicular, da carga da rede, e da mobilidade no desempenho de protocolos de roteamentos para redes veiculares. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará. |
| 2. | De Araujo Macedo, Raimundo; Renato Cerqueira; SILVA, Flavio Assis; Claúdio Sant'ana. Participação em banca de Neima Prado dos Santos. Reconfiguração Dinâmica em Sistemas Distribuídos de Tempo Real Baseados em Componentes. 2011. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia. |
| 3. | SERRAA, A. B.; BARROSO, G. C.; Mario Mauricio Fiallos Aguilar; José Marques Soares; De Araujo Macedo, Raimundo. Participação em banca de Isabel Cristina Régio de Oliveira. Modelagem e Análise de Desempenho de Mecanismo de Balanceamento de Cargas em Clusters Web. 2011. Dissertação (Mestrado em Engenharia de Teleinformática) - Universidade Federal do Ceará. |
| 4. | De Araujo Macedo, Raimundo; CUNHA, Paulo; SILVA, Flávio Assis. Participação em banca de Semiramis Ribeiro de Assis. Replicação Reconfigurável em Sistema de Tempo Real. 2010. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia. |
| 5. | SOUSA, José Neuman de; BARROSO, G. C.; Antônio Fontelles Thomaz; SERRAA, A. B.; De Araujo Macedo, Raimundo. Participação em banca de Dniela Medeiros Cedro. Gestão da QoS em Arquiteturas de Grades Computacionais Orientadas a Serviços. 2010. Dissertação (Mestrado em Engenharia de Teleinformática) - Universidade Federal do Ceará. |
| 6. | ANDRADE, Aline; FARINES, Jean Marie; MACÊDO, R. J. de A.. Participação em banca de André Luis Nunes Muniz. TANGRAM: Uma Ferramenta de Apoio à Varificação Formal de Sistemas de Tempo Real baseados em Componentes. 2009. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia. |
| 7. | De Araujo Macedo, Raimundo; DUARTE JUNIOR, Elias Procópio; FERNANDES, Marco Antônio N; BARRETO, Luciano Porto. Participação em banca de Ricardo Perrone da Silva. Distribuição de Probabilidade de Tempo de Execução em Sistemas de Tempo Real Baseados em Componentes. 2009. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia. |
| 8. | FERRAZ, Carlos; CUNHA, Paulo; De Araujo Macedo, Raimundo. Participação em banca de Roberto José Lopes Mendonça. Flexibilidade e Otimmização do Backbone baseado na Arquitetura IM/MPLS na Rede SERPRO. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. |
| 9. | MACÊDO, R. J. de A.; LIMA, George M de A; Mossé, Daniel. Participação em banca de Ana Carolina Sokolonski Ferreira. Reconfiguração Dinâmica em Sistemas de Tempo Real Adaptativos. 2008. Dissertação (Mestrado em Mestrado Em Mecatrônica) - Universidade Federal da Bahia. |
| 10. | MACÊDO, R. J. de A.; FARINES, Jean Marie; FRAGA, Joni da Silva; BARRETO, Luciano Porto. Participação em banca de Sandro Santos Andrade. Sistemas Distribuídos de Supervisão e Controle Baseados em Componentes de Tempo Real. 2006. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia. |
| 11. | MACÊDO, R. J. de A.; LIMA, George M de A; OLIVEIRA, Romulo de; WEBER, Taisy. Participação em banca de Alirio Santos de Sá. Detectores Adaptativos de Defeitos para Sistemas de Controle de Tempo Real Críticos. 2006. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia. |
| 12. | MACÊDO, R. J. de A.; VARELA, Aida; BALANCO, Paulo. Participação em banca de Bianka Lucas. Segurança da Informação nas Empresas de Salvador. 2005. Dissertação (Mestrado em Ciência da Informação) - Universidade Federal da Bahia. |
| 13. | MACÊDO, R. J. de A.; MONTEIRO, Suruagy; GIOZZA, Willian; SILVA, Flávio Assis. Participação em banca de Fernando Luiza Pinheiro Amorim. Modelo Computacional de Segurança para Secretarias Estaduais de Segurança Pública. 2004 - Universidade Salvador. |
| 14. | MACÊDO, R. J. de A.; SILVEIRA, Glebson Elias da; BATISTA, Thais Vasconcelos. Participação em banca de José Neilton Dias de Morais. Seleção Dinâmica de Componentes Corba. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte. |
| 15. | MACÊDO, R. J. de A.; BATISTA, Thais Vasconcelos. Participação em banca de José Neilton Dias de Morais.. Seleção Dinâmica de Componentes. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte. |
| 16. | MACÊDO, R. J. de A.; BRASILEIRO, Francisco; OLIVEIRA, Mauro. Participação em banca de Marcela Santana Guimarães Batalha. Marcela Santana Guimarães Batalha. Serviço CORBA de Diagnóstico de Falhas.. 2001. Dissertação (Mestrado em Informática) - Universidade Federal da Paraíba. |
| 17. | MACÊDO, R. J. de A.; SILVA, Dilma Menezes da; DARHAM, Alan Micthel. Participação em banca de Clovis Seragiotto Júnior. Detecção dinâmica de condições de disputa para programas multithreaded em Java. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo. |
| 18. | MACÊDO, R. J. de A.; RUST, Luiz Fernando; PIRMEZ, Luci. Participação em banca de Eduardo Carneiro da Cunha. Uma Estratégia de Criação e Apresentação de documentos Multimídia Adaptativos em Rede. 2000. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro. |
| 19. | MACÊDO, R. J. de A.; CUNHA, Paulo; SOUVÉ, Jaques. Participação em banca de Lilianne Dantas Cirne. Tolerância a Falhas em JAVA através de Comunicação em Grupo . 1999. Dissertação (Mestrado em Informática) - Universidade Federal da Paraíba. |
| 20. | MACÊDO, R. J. de A.; OLIVEIRA, Mauro. Participação em banca de César Olavo Moura Filho.. OM-4: Concepção e Especificação de um Sistema IBW para a Educação Tecnológica à Distância. 1999. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará. |
| 21. | MACÊDO, R. J. de A.; CUNHA, Paulo; FERRAZ, Carlos. Participação em banca de Júlio César Ramalho Leite. Suporte à Tolerância a Falhas em um Ambiente de Programação Distribuída Baseado no Paradigma de Configuração. 1997. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. |
| 22. | MACÊDO, R. J. de A.; FRAGA, Joni; FARINES, J.; LOQUES, Orlando. Participação em banca de Frank Sirqueira. Programação de Aplicações com Requisitos Temporais em Sistemas Abertos : O Modelo de Objetos Reflexivos Tempo-Real Distribuídos. 1996. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina. |
| 23. | MACÊDO, R. J. de A.; WERBER, Taisy; PORTO, Ingrid. Participação em banca de Patricia Pitthan de Araújo Barcelos. ADC - Ambiente para Experimentação e Avaliação de Protocolos de Difusão Confiável. 1996. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul. |
| 24. | MACÊDO, R. J. de A.; FRAGA, Joni da Silva; LOQUES, Orlando; LEITA, Julius. Participação em banca de LAU CHEUK LUNG. Implementacao de Tecnicas de Replicacao de Componentes de Software Sobre A Plataforma Aberta Corba. 1996. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina. |
| 25. | MACÊDO, R. J. de A.; CUNHA, Paulo; FERRAZ, Carlos. Participação em banca de Roberto Wagner da Silva Rodrigues. Uma Metodologia para o Desenvolvimento de Aplicações de Gerenciamento Baseada no Paradigma de Configuração. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco. |
| 26. | MACÊDO, R. J. de A.; OLIVEIRA, Antônio Mauro Barbosa de; SOUSA, José Neuman de. Participação em banca de CIDCLEY TEIXEIRA DE SOUZA. Um Ambiente para o Desenvolvimento de Aplicações Orientadas à Configuração Utilizando Objetos Distribuídos.. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará. |
| 27. | MACÊDO, R. J. de A.; BAUZER, Claudia; TOLEDO, Maria Beatriz Felgar de. Participação em banca de George Marconi de Araújo Lima. Gerenciamento de Transacoes: Um Estudo e uma Proposta . 1996. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas. |
| Teses de doutorado |
| 1. | De Araujo Macedo, Raimundo; Ranato Fontoura de Gusmão Cerqueira; Noemi de la Rocque Rodriguez; Ruy Luiz Milidiú; Rodrigo Fernandes de Mello. Participação em banca de Sand Luz Corrêa. Uma Abordagem Estatística para Caracterizar Problemas e Desempenho em Sistemas Baseados em Middleware. 2011. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro. |
| 2. | De Araujo Macedo, Raimundo; FRAGA, Joni; SILVA, Flavio Assis; Alfredo Goldman; Joberto Martins; Renato Cerqueira. Participação em banca de Alírio Santos de Sá. Mecanismos Autonômicos de Tolerância da Falhas para Sistemas Distribuídos. 2011. Tese (Doutorado em Ciência d Computação) - Universidade Federal da Bahia. |
| 3. | De Araujo Macedo, Raimundo; Rui Carlos Oliveira; CASIMIRO, A.; Vasco Vasconcelos; BESSANI, A.; RESPICIO, A.. Participação em banca de Mônica Lopes Muniz Corrêa Dixit. Support for Dependable and Adaptive Distributed Systems and Applications. 2011. Tese (Doutorado em DOUTORAMENTO EM INFORMÁTICA ESPECIALIDADE ENGENHAR) - Faculdade de Ciências da Universidade de Lisboa. |
| 4. | MACÊDO, R. J. de A.; Carlos Becker Westphall; DUARTE JUNIOR, Elias Procópio. Participação em banca de Andréa Weber. Um algoritmo de Diagnóstico Distribuído para Redes Particionáveis de Topologia Arbitrária. 2008. Tese (Doutorado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná. |
| 5. | MACÊDO, R. J. de A.; FRAGA, Joni da Silva; LUNG, Lau Cheuk; BUZATO, Luiz Eduardo; CRREIA, Miguel Pupo; FARINES, Jean Marie; OLIVEIRA, Rômulo Silva de. Participação em banca de Alyssom Neves Bessami. Coordenação Desacoplada Tolerante a Faltas Bizantinas. 2006. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina. |
| 6. | MACÊDO, R. J. de A.; ROSA, Nelson; FERRAZ, Carlos; GUIMARÃES, Katia; PORTO, Indrid. Participação em banca de Sergio Gorender. Um Modelo Hibrido e Adaptativo para Sistemas Distribuídos Tolerantes a Falhas. 2005. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco. |
| 7. | MACÊDO, R. J. de A.; BENEVIDES, Mário; ENDLER, Marcus; HAEUSLER, Edward Hermann. Participação em banca de Carlos Bazílio Martins. Análise Formal de Protocolos e Algoritmos Distribuídos: Uma Abordagem Baseada em Linguagem. 2005. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro. |
| 8. | MACÊDO, R. J. de A.; DUARTE JUNIOR, Elias Procópio; NOUGUEIRA, José Marcos; LEITE, Julius César Barreto; LOUREIRO, Antônio Alfredo Ferreira; GUEDES NETO, Dorgival Olavo. Participação em banca de ALDRI LUIZ DOS SANTOS. Gerencia de Redes Distribu da e Con avel Baseada em Grupos de Agentes. 2004. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais. |
| 9. | MACÊDO, R. J. de A.; WEBER, Taisy Silva; LOPES, Luis Felipe Dias. Participação em banca de Raul Ceretta Nunes. Adaptação Dinâmica do timeout de detectores de defeitos através do uso de séries temporais. 2003. Tese (Doutorado em Computação) - Universidade Federal do Rio Grande do Sul. |
| 10. | MACÊDO, R. J. de A.; FERRAZ, Carlos; VASCONCELOS, Alexandre; SOUZA, Neuman de. Participação em banca de Cidcley Teixeira de Souza. Arquitetura de Software e Estilos Arquiteturais Distribuídos. 2003. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco. |
| 11. | GREVE, F. G. P.; MACÊDO, R. J. de A.; POWELL, D.; RAYNAL, Michel; HURFIN, Michel; VERISSIMO, Paulo. Participação em banca de Fabiola Gonçalves Pereira Greve. Responses Efficaces au Besoin D'acoord dans un Groupe. 2002. Tese (Doutorado em Doctorat Informatique) - Universite de Rennes I. |
| 12. | MACÊDO, R. J. de A.; CUNHA, Paulo; JUSTO, George; FERRAZ, Carlos; CASTRO, Joelson. Participação em banca de Nelson Souto Rosa. An Architecture-Based Approach for Treating Non-functional Propoerties of Dynamic Distributed Systems. 2001. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco. |
| 13. | MACÊDO, R. J. de A.; FRAGA, Joni; VERISSIMO, Paulo; BRASILEIRO, Francisco; LEITE, Julius. Participação em banca de Lau C. Lung. Experiências com Tolerância a falhas no CORBA e Extensões do FT - CORBA para Sistemas Distribuídos de Larga Escala. . 2001. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina. |
| 14. | MACÊDO, R. J. de A.; PALACIOS, Marcos da Silva. Participação em banca de Claudio Guimarães Cardoso. Atrás do Trio Eletrônico: Negócios, Internet e Sistemas de Informação. 1999. Tese (Doutorado em Comunicação e Cultura Contemporânea) - Universidade Federal da Bahia. |
| Qualificações de doutorado |
| 1. | De Araujo Macedo, Raimundo; CUNHA, Paulo; FERRAZ, Carlos; ROSA, Nelson; Kelvin Lopes Dias. Participação em banca de Obionor de Oliveira Nóbrega. Um Framework para Transparência de HandoverVerical Centrada no Usuário em Ambientes de Redes Heterogenêneas Sem Fio de Quarta Geração. 2010. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco. |
| 2. | De Araujo Macedo, Raimundo; FRAGA, Joni da Silva; SILVA, Flavio Assis. Participação em banca de Frederico Jorge Ribeiro Barboza. Algoritmo de Broadcast com Eficiência Energética em Redes de Sensores sem Fio. 2010. Exame de qualificação (Doutorando em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia. |
| 3. | De Araujo Macedo, Raimundo; FRAGA, Joni; SILVA, Flavio Assis. Participação em banca de Frederico Jorge Ribeiro Barboza. Algoritmo de Broadcast com Eficiência Energética em Redes de Sensores Sem Fio. 2010. Exame de qualificação (Doutorando em Doutorado em Ciência da Computação (DMCC)) - Universidade Federal da Bahia. |
| 4. | MACÊDO, R. J. de A.; Montez, C. B.; FARINES, Jean Marie; Werner Kraus; Becker, L.. Participação em banca de Eduardo Cambruzzi. Uma Arquitetura de Coleta de Dados em VANETs para Aplicações de Gerenciamento de Tráfego em Tempo Real). 2009. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina. |
| 5. | MACÊDO, R. J. de A.; FARINES, Jean Marie; Becker, L.; SILVA, Flávio Morais de Assis; Montez, C. B.. Participação em banca de Marcelo Maio Sobral. Arquitetuea de Comunicação para Coordenação de Sistemas de Tempo Real Autônomos e Móveis. 2008. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina. |
| 6. | MACÊDO, R. J. de A.; OLIVEIRA, Rômulo Silva de; FRAGA, Joni da Silva; FARINES, Jean Marie; NEGRI, Victor Juliano de. Participação em banca de Fábio Rodrigues de La Rocha. Esacalonamento de Tarefas Baseado em Instante Ideal. 2005. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina. |
| 7. | MACÊDO, R. J. de A.; NOUGUEIRA, José Marcos; LOUREIRO, Antônio; DUARTE, Elias. Participação em banca de Aldri Luiz dos Santos. Gerência de Redes Distribuída e Confiável Baseada em Grupos de Agentes. 2003. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais. |
| Monografias de cursos de aperfeiçoamento/especialização |
| 1. | MACÊDO, R. J. de A.; BARRETO, Luciano Porto. Participação em banca de Antônio Claúdio L de Araújo. Um supervisor para redes baseado em componentes de tempo real utilizando a plataforma arcos. 2007. Monografia (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. |
| 2. | MACÊDO, R. J. de A.; BARRETO, Luciano Porto. Participação em banca de Arleys Pereira N. de Castro. Um supervisor para redes baseado em componentes de tempo real utilizando a plataforma arcos. 2007. |
| 3. | MACÊDO, R. J. de A.; SILVA, Flávio Morais de Assis. Participação em banca de Adriana Serravalle de Almeira. REplicação de Dados. 2002. Monografia (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. |
| 4. | MACÊDO, R. J. de A.; ANDRADE, Aline. Participação em banca de Sérgio Anibal. UMa Máquina de Busca Paralela. 2002. Monografia (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. |
| Trabalhos de Conclusão de Curso de graduação |
| 1. | SANTOS, D. A.; De Araujo Macedo, Raimundo. Participação em banca de Jerônimo Teles dos Santos. SARC: Um Sistema para auxílio no reconhecimento de computadores. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia. |
| 2. | MACÊDO, R. J. de A.. Participação em banca de Marco Othoniel Argolo. Análise de Segurança em Transações Financeiras via Celular. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia. |
| 3. | MACÊDO, R. J. de A.. Participação em banca de Liline Teixeira Santos. TESTER: Uma Ferramenta para Auxiliar a Análise de Escalonamento de Sistemas de Tempo Real. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia. |
| 4. | MACÊDO, R. J. de A.; SILVA, A. F.. Participação em banca de Alex Miura. Transmissão de Dados pela Rede de Distribuíção Elétrica. 2002. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia. |
| Participação em bancas de comissões julgadoras |
| Professor titular |
| 1. | MACÊDO, R. J. de A.; KAESTNER, Celso Antônio Alves; CHAUKE, Claudio. Concurso Para Professor Titular do Departamento de Tecnologia da Informação da UFAL. 2003. Universidade Federal de Alagoas. |
| Concurso público |
| 1. | MACÊDO, R. J. de A.; LIMA, George M de A; SILVA, Flávio Assis. Seleção de Docente por Tempo Determinado para Linguagens de Programação do DCC/UFBA. 2008. Universidade Federal da Bahia. |
| 2. | ANDRADE, Aline Maria Santos; LIMA, George M de A; MACÊDO, R. J. de A.. Concurso Publico - DCC/UFBA - Professor Temporáreo de Algoritmos. 2007. Universidade Federal da Bahia. |
| 3. | MACÊDO, R. J. de A.; ANDRADE, Aline; SILVA, Flávio Morais de Assis. Concurso para a Disciplina Programação Matemática e Modelos Probapilisticos de Pesquisa Operacional. 2003. Universidade Federal da Bahia. |
| 4. | MACÊDO, R. J. de A.; SILVA, A. F.; SANTOS, D. A.. Concurso para Professor Substituto da disciplina MAT150 - Introdução aos Sistemas de Computação do Departamento de Ciência da Computação UFBA. 2002. Universidade Federal da Bahia. |
| 5. | MACÊDO, R. J. de A.; BUCK, Thomas A; SILVA, A. F.. Consurso para Professor Substituto da disciplina MAT056 - Computação Gráfica do Depart. de Ciência da Computação. 2002. Universidade Federal da Bahia. |
| 6. | MACÊDO, R. J. de A.; WEBER, Taisy; BURNETT, R.. Membro da Banca de Concurso Publico Adjunto I na matéria de Sistemas Distribuídos no DCC/UFBA. 2001. Universidade Federal da Bahia. |
| Livre docência |
| 1. | De Araujo Macedo, Raimundo; VERISSIMO, Paulo; CUNHA, J. A. C. E.; Fernando Fernandes; FREITAS, V. L. B.; J. M. da S. A. Marques; J. E. P. Martins; L .E. T. Rodrigues; R. J. M. T. Valadas. Concurso para Agregação ao Departamento de Engenharia Informática do Instituto Superior Técnico da Universidade Técnica de Lisboa (Prof. Catedrático). 2009. Universidade Técnica de Lisboa. |
| Outras participações |
| 1. | BARRETO, Luciano Porto; MACÊDO, R. J. de A.; SILVA, Flávio Morais de Assis. Exame de Qualificação de Mestrado em Mecatrônica - Roteamento em Redes de Sensores sem Fio com Suporte à Micgração de Nós Sensores em um Ambiente Estruturado - Ulisses Telemaco Neto. 2007. Universidade Federal da Bahia. |
| 2. | BARRETO, Luciano Porto; LIMA, George M de A; MACÊDO, R. J. de A.. Exame de Qualidficação de Mestrado em Mecatrônica da UFBA - Análise do Pior Caso de Tempo de Execução de Tarefas de Sistemas de Tempo Real Baseado em Componentes - Ricardo Perrone. 2007. Universidade Federal da Bahia. |
| 3. | BARRETO, Luciano Porto; LIMA, George M de A; MACÊDO, R. J. de A.. Exame de Qualificação de Mestrado em Mecatrônica da UFBA. Escalonamento Flexivel para Prover Degradação Controlada em Sistemas de Tempo Real. Ana Carolina Sokolonski Anton. 2007. Universidade Federal da Bahia. |
| 4. | MACÊDO, R. J. de A.; ANDRADE, Aline Maria Santos; SILVA, Flávio Morais de Assis. Exame de Qualificação do Mestrado em Mecatrônica: Verificação de Mecanismos de Tolerância a Falhas em Sistemas de Tempo Real Baseados em Componentes Através de Injeção de Falhas. 2007. Universidade Federal da Bahia. |
| 5. | BARRETO, Luciano Porto; LIMA, George M de A; MACÊDO, R. J. de A.. Banca de Qualificação do Mestrado em Mecatrônica - Aluna Flávia Nascimento. 2007. Universidade Federal da Bahia. |
| 6. | MACÊDO, R. J. de A.; RAYNAL, Michel; HURFIN, Michel; VERISSIMO, Paulo; POWELL, D.. Tese de Doutorado de Fabiola Grave, defendida na Université de Rennes, França. 2002. Universite de Rennes I. |
| 7. | MACÊDO, R. J. de A.; PRETTO, Nelson; RATORI, Liquiso; MONTEIRO, Suruagy. Comitê Assessor Interciciplinar na Área de Ciência da COmputação, Informação e Educação a Distância da FAPESB- Fundação de Amparo à Pesquisa do Estado da Bahia. 2002. Fundação de Amparo à Pesquisa do Estado da Bahia. |
| 8. | MACÊDO, R. J. de A.; FERNANDES, Marco Antônio N; OLIVEIRA, Nelson F de. Membro da Comissão de Progressão Funcional da Profa Deborah Pereira de Medeiros do Departamento de Estatistica do Insti. de Matemática. 2002. Universidade Federal da Bahia. |
| 9. | MACÊDO, R. J. de A.; VERGASTA, Enaldo; OLIVEIRA, Nelson F de. Coordenador da Comissão de Avaliação de Progressão Funcional dos Professores Anna Friedericka Silva, Aline Maria santos Andrade, Claudia Maria de Moura Pôssa, Fabiola Gonçalves Pereira Greve e João Nestor Pinho e Braga.. 2001. Universidade Federal da Bahia. |
Eventos
| Participação em eventos |
| 1. | I Workshop on Autonomic Distributed Systems.Sistemas Distribuídos Autonômicos: experiências e desafios. 2011. (Congresso). |
| 2. | X ERBASE - Escola Regional de Computacao Bahia Sergipe Alagoas.Problemas Teoricos dos Sistemas Distribuidos. 2010. (Congresso). |
| 3. | 10th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS).QoS Self-Configuring Failure Detectors For Distributed Systems. 2010. (Congresso). |
| 4. | 10th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS).Coordenador da DAIS - Session II - Grid computing. 2010. (Congresso). |
| 5. | Workshop de Tempo Real e Sistemas Embarcados. 2010. (Congresso). |
| 6. | XI Workshop de Testes e Toleância a Falhas.Controle de Admissão para QoS em Sistemas Distribuídos Híbridos, Tolerantes a Falhas. 2010. (Congresso). |
| 7. | IX ERBASE - Escola Regional de Computacao Bahia Sergipe Alagoas.Sistemas Distribuídos de Tempo Real Embarcados. 2009. (Congresso). |
| 8. | IX ERBASE - Escola Regional de Computacao Bahia Sergipe Alagoas.Mesa Redonda "A Educação em TI na Bahia, Alagoas e Sergipe". 2009. (Congresso). |
| 9. | 9th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2009).A Generic Group Communication Approach for Hybrid Distributed Systems. 2009. (Congresso). |
| 10. | he Fourth International Conference on Availability, Reliability and Security (ARES 2009).Perfect Failure Detection in the Partitioned Synchronous Distributed System Model. 2009. (Congresso). |
| 11. | In Colloquium of Computation: Brazil / INRIA, Cooperations, Advances and Challenges.Adding Dynamicity to the Uncertainty that Characterizes Distributed Systems: Challenges Ahead. 2009. (Congresso). |
| 12. | The Fourth International Conference on Availability, Reliability and Security.Availability and Reliability I. 2009. (Congresso). |
| 13. | 27th Brazilian Symposium on Computer Networks and Distributed Systems (SBRC2009).Redes Ad Hoc - Sessão Técnica. 2009. (Congresso). |
| 14. | IFIP Workshop on Dependability of Large-Scale and Dynamic Systems.Approaches for Adaptive and Dependable Distributed Systems. 2008. (Seminário). |
| 15. | VII ERBASE - Escola Regional Bahia-Alagoas-Sergipe.Lei de Informática. 2007. (Congresso). |
| 16. | VII ERBASE - Escola Regional Bahia-Alagoas-Sergipe.Os problemas ambientais causados pela Sociedade da Informação. 2007. (Congresso). |
| 17. | Seminário Ambiente de Negócios e Pesquisa em Tecnologia da Informação (TI) - Promovido pela Sec. de Ciência Tecnologia e Inivação do Estado da Bahia.Ambiente de Pesquisa em TI na Bahia. 2007. (Seminário). |
| 18. | 1 Seminario Abrindo Caminhos: Uma Alternativa Para a Destinação do Lixo Tecnológico.Ameaças do Lixo Tecnológico. 2007. (Seminário). |
| 19. | VII Seminário de Pesquisa e Pós-Graduação da UFBA n- Sessão 38.Sessão Técnica 38. 2006. (Seminário). |
| 20. | VII Seminário de Pesquisa e Pós-Graduação.Sistemas Distribuídos de Supervisão e Controle Baseados em Componentes de Tempo Real. 2006. (Seminário). |
| 21. | Seminário de Tendências em Tecnologia da Informação e Comunicação - Promovido Sec. de Ciência Tecnologia e Inovação do Estado da Bahia.Computação Distribuída: Desafios e Tendências. 2006. (Seminário). |
| 22. | IEEE/IFIP DSN 2005 - Dependable Systems and Network Conference, Yokohama, Japão.Membro do Comitê de Programa da Trilha Principal (Dependable Computing and Communications Symposium - DCCS); Membro do Comitê de Programa de Seleção de Workshops; Membro do Pequeno Comitê de Escolha dos Melhores Artigos. 2005. (Congresso). |
| 23. | XXIV Seminario Estudantil de Pesquisa.VI Seminário de Pesquisa e Pós-graduação e XXIV Seminário Estudantil de Pesquisa - Palestra CONVIDADA sobre minha experiência acadêmica na construção de um ambiente de pesquisa e pós-graduação na UFBA (Rompendo Barreiras). 2005. (Seminário). |
| 24. | DSN'04 - IEEE/IFIP International Conference on Dependable Systems and Networks.Membro do Comitê de Programa da Trilha Principal (Dependable Computing and Communications Symposium - DCCS). 2004. (Congresso). |
| 25. | IEEE/IFIP Dependable Systems and Network Conference (DSN 2004).Membro do Comitê de Programa da Trilha Principal (Dependable Computing and Communications Symposium - DCCS); Chair da Sessão 9A - Dissemination and Difussion. 2004. (Congresso). |
| 26. | Workshop de Desafios e Tendências Tecnológicas nas Tecnologias de Informação e Comunicação.Desafios e Tendências Tecnológicas nas Tecnologias de Informação e Comunicação. 2004. (Seminário). |
| 27. | Middleware 2003 - ACM/IFIP/USENIX International Middleware Conference.Middleware 2003 - ACM/IFIP/USENIX International Middleware Conference http://middleware2003.inf.puc-rio.br/. 2003. (Congresso). |
| 28. | LADC'03 - First Latin-American Symposium on Dependable Computing.Membro do Comitê Consultivo; Membro do Comitê de Programa; Chair da Sessão Técnica Algoritmos Distribuídos.. 2003. (Congresso). |
| 29. | SBRC'03 - XXI Simpósio Brasileiro de Redes de Sistemas Distribuídos.SBRC'03 - XXI Simpósio Brasileiro de Redes de Sistemas Distribuídos - http://www.sbrc2003.ufrn.br/portugues/. 2003. (Congresso). |
| 30. | WebMídia 2003 - Simpósio Brasileiro de Sistemas Multimidia e WEB.Membro do Comitê de Programa. 2003. (Simpósio). |
| 31. | WTF'03 - IV Workshop de Testes e Tolerância a Falhas http.Membro do Comitê de Programa - wtf 2003. 2003. (Oficina). |
| Organização de eventos |
| 1. | De Araujo Macedo, Raimundo . First Workshop on Autonomic Distributed Systems (WoSiDA), Co-located with the Brazilian Symposium on Computer Networks and Distributed Systems. 2011. (Congresso). |
| 2. | De Araujo Macedo, Raimundo . 29th IEEE Symposium on Reliable Distributed Systems (SRDS) - Membro do Comitê de Programa. 2010. (Congresso). |
| 3. | De Araujo Macedo, Raimundo . 10th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS) - Membro do Comitê de Programa. 2010. (Congresso). |
| 4. | De Araujo Macedo, Raimundo . 28th Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC) - Membro do Comitê de Programa. 2010. (Congresso). |
| 5. | De Araujo Macedo, Raimundo . WTR - XII Workshop de Tempo Real e Sistemas Embarcados - Membro do Comitê de Programa. 2010. (Congresso). |
| 6. | De Araujo Macedo, Raimundo . WTF - XI Workshop de Testes e Tolerância a Falhas - Membro do Comitê de Programa. 2010. (Congresso). |
| 7. | De Araujo Macedo, Raimundo . CTD - XXIII Concurso de Teses e Dissertações da Sociedade Brasileira de Computação - Membro do Comitê de Avaliação. 2010. (Congresso). |
| 8. | De Araujo Macedo, Raimundo . Reunião Anual da Sociedade Brasileira para o Progresso da Ciência (SBPC) - Revisor de Artigos. 2010. (Congresso). |
| 9. | De Araujo Macedo, Raimundo . Presidente do Comitê de Escolha dos Melhores Artigos dos SBRC (Simp. Bras. de Redes e Sistemas Distribuídos). 2010. (Concurso). |
| 10. | MACÊDO, R. J. de A. ; Luciano Gaspary . Consurso de Teses e Dissertações da Sociedade Brasileira de Computação - CTD 2009 (Presidente do Comitê). 2009. (Concurso). |
| 11. | MACÊDO, R. J. de A. . DSN 2009 The IFIP/IEEE International Conference on Dependable Systems and Networks - Comitê de Seleção de Workshops. 2009. (Congresso). |
| 12. | MACÊDO, R. J. de A. ; Francisco Vasques ; Montez, C. B. . 11th Brazilian Workshop on Real-Time and Embedded Systems. 2009. (Congresso). |
| 13. | FERRAZ, Carlos ; BRASILEIRO, Fancisco Vilar ; MACÊDO, R. J. de A. . 27º - Simpósio Brasileiro de Redes de Computadores- SBRC 2009. Recife, Brazil. Maio 2009. 2009. (Congresso). |
| 14. | De Araujo Macedo, Raimundo . 27º - Simpósio Brasileiro de Redes de Computadores- SBRC 2009. Recife, Brazil. Maio 2009. 2009. (Congresso). |
| 15. | De Araujo Macedo, Raimundo . SRDS 2009 - 28th IEEE International Symposium on Reliable Distributed Systems - Comitê de Programa. 2009. (Congresso). |
| 16. | MACÊDO, R. J. de A. . CLEI 2009 - annual event promoted by the Centro Lationamericano de Estudios en Informática,. 2009. (Congresso). |
| 17. | De Araujo Macedo, Raimundo . 9th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2009) - Comitê de Programa. 2009. (Congresso). |
| 18. | De Araujo Macedo, Raimundo . Colóquio em Informática: Brasil / INRIA, Cooperações, Avanços e Desafios. 2009. (Congresso). |
| 19. | De Araujo Macedo, Raimundo . X WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF 2009). 2009. (Congresso). |
| 20. | De Araujo Macedo, Raimundo . IX Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg). 2009. (Congresso). |
| 21. | MACÊDO, R. J. de A. . 28º - Simpósio Brasileiro de Redes de Computadores- SBRC 2008. 2008. (Congresso). |
| 22. | MACÊDO, R. J. de A. . 27th International Symposium on Reliable Distributed Systems (IEEE SRDS 2008). 2008. (Congresso). |
| 23. | MACÊDO, R. J. de A. . Second Workshop on Dependable Distributed Data Management (WDDDM'2008). 2008. (Congresso). |
| 24. | MACÊDO, R. J. de A. . Minicursos do 26 Simpósio Brasileiro de Redes de Computadores (SBRC2008). 2008. (Congresso). |
| 25. | MACÊDO, R. J. de A. . IX Workshop Brasileiro de Testes e Tolerância a Falhas. 2008. (Congresso). |
| 26. | MACÊDO, R. J. de A. . 10o Brazilian Workshop on Real-Time and Embedded Systems. 2008. (Congresso). |
| 27. | MACÊDO, R. J. de A. . 8th Brazilian Symposium on Information and Computer System Security. 2008. (Congresso). |
| 28. | MACÊDO, R. J. de A. . Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 2007. (Congresso). |
| 29. | MACÊDO, R. J. de A. . 8o Workshop de Testes e Tolerância a Falhas Coordenadores - WTF 2007. 2007. (Congresso). |
| 30. | MACÊDO, R. J. de A. . 9o Brazilian Workshop on Real-Time Systems - WTR. 2007. (Congresso). |
| 31. | MACÊDO, R. J. de A. . 7o Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg). 2007. (Congresso). |
| 32. | MACÊDO, R. J. de A. . Congresso Anual da Sociedade Brasileira de Cimputação - SBC. 2004. (Congresso). |
| 33. | MACÊDO, R. J. de A. . 17 Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. 1999. (Congresso). |
Orientações
| Orientações em andamento |
| Dissertação de mestrado |
| 1. | Felipe Tironel Abreu. Simuladores para Sistemas Distribuídos Hibridos e Dinâmicos. Início: 2010. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador). |
| 2. | Renyclay Quadros de Souza. Reconfiguração Autonômica em Sistemas Distribuídos de Tempo Real. Início: 2010. Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia. (Orientador). |
| Tese de doutorado |
| 1. | Marco Antonio Dantas Ramos. Confiabilidade em Sistemas Distribuídos Dinâmicos. Início: 2010. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal da Bahia. (Orientador). |
| 2. | Roberto de Cerqueira Figueiredo. Composições Autonômicas Corretas de Serviços Web. Início: 2010. Tese (Doutorado em Ciência da Computação - Ufba - Unifacs) - Universidade Federal da Bahia. (Co-orientador). |
| 3. | Sandro Santos Andrade. Adaptação Arquitetural baseada em Componentes como Suporte à Computação Autonômica. Início: 2008. Tese (Doutorado em Doutorado em Ciência da Computação (DMCC)) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia. (Orientador). |
| 4. |  Allan Edgard Silva Freitas. Algoritmos Distribuídos Auto-Adaptáveis Para Sistemas Autonômicos de Tempo Real.
Início: 2007. Tese (Doutorado em Doutorado em Ciência da Computação (DMCC)) - Universidade Federal da Bahia. (Orientador). |
| 5. | Marco Antonio Costa Simões. Métodos de Inteligência Artificial para Escalonamento de Sistema de Tempo Real Complexos. Início: 2007. Tese (Doutorado em Doutorado em Ciência da Computação (DMCC)) - Universidade Federal da Bahia. (Co-orientador). |
| Trabalho de conclusão de curso de graduação |
| 1. | Tulio Miranda Vieira Pinto. Tolerância a Falhas em Sistemas de Nuvens. Início: 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal da Bahia. (Orientador). |
| Iniciação científica |
| 1. | Anne Blagojevic. Simuladores para Sistemas Distribuídos Hibridos e Dinâmicos. Início: 2011. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal da Bahia. (Orientador). |
| Supervisões e orientações concluídas |
| Dissertação de mestrado |
| 1. | Neima Prado dos Santos. RECONFIGURAÇÃO DINÂMICA EM SISTEMAS DISTRIBUÍDOS DE TEMPO REAL BASEADOS EM COMPONENTES. 2011. 0 f. Dissertação (Mestrado em Mestrado Em Mecatrônica) - Universidade Federal da Bahia, . Orientador: Raimundo José de Araújo Macêdo. |
| 2. | Ricardo Perrone da Silva. ANÁLISE DO PIOR CASO DE TEMPO DE EXECUÇÃO DE TAREFAS DE SISTEMAS DE TEMPO REAL BESEADOS EM COMPONENTES.
2009. 0 f.
Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo. |
| 3. | Semíramis Ribeiro de Assis. Replicação Reconfigurável em Sistemas de Tempo Real.
2007.
Dissertação (Mestrado em Programa de Pós-Graduação em Mecatrônica -PPGM) - Universidade Federal da Bahia, . Orientador: Raimundo José de Araújo Macêdo. |
| 4. | Sandro Santos Andrade. Sistemas Distribuídos de Supervisão e Controle baseados em Componentes de Tempo Real.
2006. 191 f.
Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Raimundo José de Araújo Macêdo. |
| 5. | Alírio Santos de Sá. Detectores Adaptativos de Defeitos para Sistemas de Controle de Tempo Real Críticos.
2006. 194 f.
Dissertação (Mestrado em Mecatrônica) - Universidade Federal da Bahia, . Orientador: Raimundo José de Araújo Macêdo. |
| 6. | Fernando Luiza Pinheiro Amorim. Modelo Computacional de Segurança para Secretarias Estaduais
de Segurança Pública.
2004. 150 f.
Dissertação - Universidade Salvador, . Orientador: Raimundo José de Araújo Macêdo. |
| 7. | Marcela Santana Guimarães Batalha. Serviço CORBA de Diagnóstico de Falhas. 2001. 0 f. Dissertação (Mestrado em Informática) - Universidade Federal da Paraíba, . Orientador: Raimundo José de Araújo Macêdo. |
| 8. | Lilianne Dantas Cirne. Tolerância a Falhas em JAVA através de Comunicação em Grupo. 1999. 140 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo. |
| Tese de doutorado |
| 1. | Alírio Santos de Sá.
Mecanismos Autonômicos de Tolerância da Falhas para Sistemas Distribuídos.
2011. 0 f. Tese
(Doutorado em Doutorado em Ciência da Computação (DMCC)) - Universidade Federal da Bahia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Raimundo José de Araújo Macêdo. |
| 2. | Sérgio Gorender. Um Modelo Hibrido e Adaptativo para Sistemas Distribuídos Tolerantes a Falhas. 2005. 0 f. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Co-Orientador: Raimundo José de Araújo Macêdo. |
| Supervisão de pós-doutorado |
| 1. | Daniela Barreiro Claro. 2008. Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia. Raimundo José de Araújo Macêdo. |
| Monografia de conclusão de curso de aperfeiçoamento/especialização |
| 1. | ELVIRA VAZQUEZ MARTINEZ. SEGURANÇA EM REDES MANETS: MECANISMOS DE SEGURANÇA PREVENTIVA E CORRETIVA. 2009. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 2. | MÔNICA SILVA RIVAS. SEGURANÇA EM REDES MANETS: MECANISMOS DE SEGURANÇA PREVENTIVA E CORRETIVA. 2009. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 3. | Antônio Claúdio L de Araújo. Um supervisor para redes baseado em componentes de tempo real utilizando a plataforma arcos. 2007. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 4. | Arleys Pereira N. de Castro. Um supervisor para redes baseado em componentes de tempo real utilizando a plataforma arcos. 2007. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 5. | Ricardo Perrone da Silva. ALTERNATIVAS PARA DETECÇÃO DE TERMINAÇÃO. 2005. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 6. | Adriana Serravale Almeida. Replicação de Dados. 2002. 60 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 7. | Eduardo Octávio Ehrlich de Araújo. Eduação a Distância : Em Busca de uma Ferramenta para a Pós-graduação em Sistemas Distribuídos do LaSiD/UFBA. 2002. 80 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 8. | Flávia Vasconcelos Costa. Replicação de Dados n e WEB. 2002. 60 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 9. | José Tadeu David Silva. Uma máquina de busca paralela. 2002. 87 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 10. | Stoessel Dourado Moitinho. Segurança em Sistemas Distribuídos. 2002. 70 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 11. | Ivã das Neves Reis. Educação a Distância. 2002. 80 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 12. | Jairo Nunes Barbosa Sousa. Educação a Distância : em busca de uam ferramenta para a pós-graduação em sistemas distribuídos do LaSiD/UFBA. 2002. 80 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 13. | Sérgio Anibal de Carvalho Junior. Uma Máquina de Busca Paralela. 2002. 80 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 14. | Eduardo Telmo Fonseca Santos. Balanceamento de Carga em Servidores Web Usando Redirecionamento HTTP. 2001. 0 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 15. | Nilton Souza Santos. Balanceamento de Carga. 2001. 0 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 16. | Ely Wagner Aguiar de Oliveira. Gerenciamento de Sistemas Distribuídos no Ambiente CORBA. 2001. 0 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 17. | Alba Couto Falção Scheible. A Web como Ferramenta de Instrumentalização de Cursos de Pós-graduação Lato sensu. 2000. 0 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 18. | Ayala Rocha. Uma Ferramenta Baseada na WEB para Educação a Distância. 2000. 0 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avamçada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 19. | Jurema Rocha Barreto. A Web como Ferramenta de Instrumentalização de Cursos de Pós-graduação latu sensu. 2000. 0 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 20. | Davi Mustafa Tanajura. Tolerância a Falhas de Objetos Distribuídos no Ambiente CORBA. 2000. 0 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 21. | Genaro F. de Carvalho Costa. Comunicação Confiável entre Sistemas Legados sobre a Internet. 2000. 0 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 22. | Marcela Batalha. Arquitetura para um Serviço Distribuídos de Diagnóstico de Falhas. 1999. 0 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 23. | Oswaldo Mattos Barbosa de Souza. 10 Uma Proposta para a Distribuição da Base de Dados do Sistema de Controle de Materiais do Estado da Bahia - SIMEB. 1999. 0 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 24. | Wellington Lacerda. Critérios de Seleção de Ferramentas de Workflow para o Projeto Governo Eletrônico do Estado da Bahia. 1999. 0 f. Monografia. (Aperfeiçoamento/Especialização em Especialização Avançada Em Sistemas Distribuídos) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| Trabalho de conclusão de curso de graduação |
| 1. | ANTONIO SANTOS VASCONCELOS. AVALIAÇÃO DA QUALIDADE DE CONTROLE EM SISTEMAS DISTRIBUÍDOS SOB A PLATAFORMA ARCOS. 2007. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 2. | Fábio Ramon de Lima e Lima. Detectores de Defeitos Adaptáveis baseados em Redes Neurais e Agentes SNMP. 2005. 60 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 3. | Marcos Guedes. Uso de Séries Temporais na Implementação de Detectores de Defeitos em Sistemas Distribuídos. 2004. 50 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 4. | Cristiano Reis. Um sistema de busca peer-to-peer para artigos em ciência da computação. 2003. 50 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 5. | Alex Miura. Transmissão de Dados pela Linha de Distribuíção Elétrica. 2002. 60 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 6. | Deise da Silva Côrtes. Implementação de um Framework para a Geração Automática de Protocolos de Acordo em Ambientes Assíncronos. 2001. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 7. | Sérgio Anibal de Carvalho Junior. Segurança nos Sistemas de Computadores : O Papel da Criptografia. 2000. 0 f. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| Iniciação Científica |
| 1. | Melissa Shihfan Ribeiro Wen. ADICIONANDO FUNCIONALIDADES PARA O SIMULADOR DE SISTEMAS DISTRIBUÍDOS HDDSS. 2011. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo. |
| 2. | Melissa Shihfan Ribeiro. Implementação de algoritmos de consenso para sistemas distribuídos híbridos e dinâmicos. 2009. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo. |
| 3. | Lucas de Almeida Gama Paixão. Modelos de Propriedade Intelectual para Software de Computadores. 2009. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 4. | HUGO VINICIUS VAZ BRAGA. Desenvolvimento, implementação e teste de algoritmos de consenso. 2007. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo. |
| 5. | Waltemir Lemos Pacheco Júnior. Implementação e Teste do Modelo HA. 2007. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo. |
| 6. | Fábio Ramon de Lima e Lima. desenvolvimento de detectors de defeitos para sistemas assincronos. 2004. 40 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 7. | Daniel Breves Martins. Fabrica de Software. 2004. 40 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 8. | Matheus Cunha. Implementação de Mecanismos de Tolerância a Falhas para Redes com QoS. 2004. 30 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 9. | Daniel Breves Martins. Integração dos Módulos da BCG-Móvel. 2002. 50 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 10. | Fábio Ramon de Lima e Lima. Desenvolvimento de Detectores de Defeitos para Sistemas Assincronos. 2002. 50 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 11. | Mathues Ciríaco Cerqueira Cunha. Tolerância a Falhas em Sistemas Distribuídos Assincronos. 2002. 40 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 12. | Fábio Ramon de Lima e Lima. Implementação de um Detector de Defeitos para Sistemas Distribuídos utilizando Redes Neurais Artificiais. 2002. 40 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 13. | Daniel Breves Martins. Integração dos Modulos da BCGMovel. 2002. 40 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 14. | Fábio Mascarenhas. Análise Comparativa de Plataformas de Comunicação em Grupo. 2000. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 15. | Criston Pereira de Souza. Implementação da Camada de Transporte da BCG em JAVA. 1998. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 16. | Deise da Silva Côrtes. Implementação da Camada de Transporte da BCG em JAVA. 1998. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 17. | Eduardo Telmo Fonseca Santos. Implementação da Camada de Transporte da BCG em JAVA. 1998. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo. |
| 18. | Claudio Guido Silva Cardoso. Implementação da Camada de Transporte da BCG - Base Confiável de Comunicação em Grupo. 1998. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo. |
| 19. | João Carlos de Jesus Bulhões. Implementação da Camada de Transporte da BCG - Base Confiável de Comunicação em Grupo. 1998. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo. |
| 20. | Marco Antônio Caldas de Figueirêdo Júnior. Implementação da Camada de Transporte para a BCG. 1997. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo. |
| 21. | Laércio Souza Santos. Implementação da Camada Multicast para a BCG. 1997. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo. |
| 22. | Eder Reis Lima. Desenvolvimento da Camada de Multicast para Comunicação em Grupo. 1997. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 23. | Geysa Vinhaes Dantas. Base Confiável de Comunicação em Grupo - BCG. 1995. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo. |
| 24. | Fabiano Gusmão Melllo. Base Confiável de Comunicação em Grupo. 1995. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo. |
| 25. | Gabriela Mascarenhas Espinheira. Base Confiável de Comunicação em Grupo. 1995. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo. |
| 26. | Leopoldo Arthur Gomes Lima e Silva. Base Confiável de Comunicação em Grupo. 1995. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo. |
| 27. | Sergio Gorender. Compressão de Dados. 1990. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo. |
| 28. | João Gualberto Rizzo Araújo. Compressão de Dados. 1990. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo. |
| 29. | Georges Baladi Junior. Compressão de Dados. 1990. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 30. | Luiz Fernando Coutinho Fernandes. Compressão de Dados. 1990. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 31. | Sergio Gorender. Desenvolvimento de um Sistema para Compressão de Arquivos. 1989. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo. |
| 32. | João Gualberto Rizzo Araújo. Desenvolvimento de um Sistema para Compressão de Arquivos. 1989. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo. |
| 33. | Georges Joseph Baladi Junior. Desenvolvimento de um Sistema para Compressão de Arquivos. 1989. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 34. | Luiz Fernando Coutinho Fernandes. Desenvolvimento de um Sistema para Compressão de Arquivos. 1989. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 35. | Tatiana Simas. Desenvolvimento de um Sistema para Recuperação Automática de Bando de Dados. 1989. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 36. | Rodolfo Vieira da Silva Neto. Desenvolvimento de um Sistema para Recuperação Automática de Bando de Dados. 1989. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 37. | André Luiz Conceição. Desenvolvimento de um Sistema para Recuperação Automática de Bando de Dados. 1989. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 38. | Joao Batista dos Santos. Desenvolvimento de Estruturas de Gerenciamento de Chaves Secundárias. 1989. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo. |
| 39. | Leonardo Galeffii. Desenvolvimento de Estruturas de Gerenciamento de Chaves Secundárias. 1989. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 40. | Carlos Henrique Rebouçs Oliveira. Um Sistema de Gerenciamento de Arquivos Endereçados via Hashing para o Turbo-Pascal. 1988. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 41. | Sergio Gorender. Monografias em Estruturas de Dados. 1988. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo. |
| 42. | João Gualberto Rizzo Araújo. Monografias em Estruturas de Dados. 1988. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Raimundo José de Araújo Macêdo. |
| 43. | Luiz Fernando Coutinho Fernandes. Monografias em Estruturas de Dados. 1988. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 44. | Georges Joseph Baladi Junior. Monografias em Estruturas de Dados. 1988. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
| 45. | Christina Brandão Von Flach. Desenvolvimento de um Compilador Didático Pascal para CP/M. 1987. 0 f. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal da Bahia. Orientador: Raimundo José de Araújo Macêdo. |
Outras informações relevantes
Résumé: Além de minhas atividades na UFBA, orientei dissertações e teses em outras instituições (UFPB, UPFE, Unifacs). Fui pesquisador de produtividade de pesquisa do CNPq (II e III) e membro da Câmara de Assessoramento e Avaliação Técnico-Científico da FAPESB.
Fui membro do comitê consultivo e/ou de programa de diversos eventos apoiados ou diretamente ligados à SBC (SBRC, LADC, WTF, SCTF, WTF, WSO, WebMIdia, WTR, SEMISH, JAI, entre outros). Além desses, fui membro de comitê de programa IEEE/IFIP DSN, ACM/IFIP/USENIX Middleware, WoSID (cood. geral e de programa), entre outros.
Tenho atuado, em nível nacional, regional e local, entre outras, nas seguintes atividades: coordenação de grupos de interesse da SBC; coordenação de debates relativos à área de Redes e Sistemas Distribuídos; coordenação de dois painéis sobre criação de cursos em centros emergentes em 1998 (SEMINFO/UFBA e no Congresso da SBC em BH); e coordenação (no caso do Doutorado e Especialização) ou co-coordenação (no caso do Mestrado) das ações para criação dos três cursos de pós-graduação ligados a informática que hoje temos na UFBA (Especialização em Sistemas Distribuídos, Mestrado em Mecatrônia e Doutorado em Ciência da Computação em parceria com a Unifacs e UEFS). Também atuei junto ao governo local para aumentar a prioridade dada a TI (através de participação em consulta pública na elaboração de planejamento de políticas do Estado) e através de documentos e palestras. Fui o idealizador da SEMINFO, um evento que se tornou de cunho regional, contribuindo para o surgimento de diversas iniciativas acadêmicas dentro e fora da UFBA, e deu origem à ERBASE Escola Regional da SBC na regional NE III. Também fundei o Laboratório de Sistemas Distribuídos e coordeno as ações para criação do Centro Interdisciplinar em Ciência e Tecnologia da Informação na UFBA.
Junto à Sociedade Brasileira de Computação (SBC), fui delegado institucional da UFBA e presidente da comissão especial de redes de computado.
|
| Página gerada pelo Sistema Currículo Lattes em 08/02/2012 às 4:13:50 |