Projects


 

Research Projects


         
  • Dependable and Self-adaptive Distributed Systems: Models and Platforms
    • Website: http://www.lasid.ufba.br/projetos/Dependable.htm

    • Financial Support: CNPq (Edital Universal and Bolsa PQ)

    • Members: Raimundo Macêdo (leader) and Sérgio Gorender

    • Summary: Modern computing systems delivered over the Internet, such as cloud computing, allow higher flexibility for end users in terms of resource allocation and service compositions. The fact that users do not have to plan ahead for resource provisioning, and computing resources (such as network bandwidth, CPU, etc.) are allocated on demand to meet user defined SLA (Service Level Agreement), makes these new paradigms very appealing for users and new business opportunities for IT providers. These benefits come, however, with a price for infrastructure and service providers: how to assure continuous availability and prescribed SLA in such a highly dynamic environment? Adapting to resource variability and changing user requirements at run-time while still maintaining desired characteristics like scalability and continuity of service is a great challenge. As a consequence, these systems need the ability to be self-manageable, continually reconfiguring and tuning themselves to attain certain goals while keeping their complexity hidden from the users. In this project we have been developing algorithms and software infra-structure (middleware) that are well-suited for such dynamics distributed systems. Among the results so far, we have developed a new hybrid and dynamic distributed system model and core related algorithms for such a model: consensus, group communication, etc. We have also developed a simulation tool to experiment with these new algorithms.

  • Dependability Support for a Federated Cloud Computing System
    • Financial Support: CTIC/RNP

    • Members: Raimund Macêdo (leader), Marcos Barreto and Alírio Sá

    • Summary: In dynamic and elastic computing environments, such as cloud computing, users are billed by the amount of the computing resources (e.g. networking, processing and storage facilities etc.) which their applications consume. In these contexts, underlying mechanisms (like group communication protocols) must be able to self-adjust their resource usage according to changes in the cloud workload or in the cloud’s application requirements. In this project we are developing self-manageable replication techniques for a IaaS cloud computing system.

  • GT-MCC: my scientific cloud
    • Website: http://www.lncc.br/sinapad/projectmanager/public/projects/gt-mcc/wiki

    • Financial Support: MCT/RNP - Workgroups 2011/2012

    • Members: Coordinators -- Dr. Antônio Tadeu Gomes (LNCC) and Dr. Francisco Vilar Brasileiro (UFCG); Researchers -- Dr. Marcos Ennes Barreto (principal investigator); Undergraduate students -- Fernando Lúcio Carneiro, David de Pinho Gonçalves, Marino Souza dos Santos

    • Summary: This project aims at to implant a cloud computing platform for scientific applications called mc2 ("minha cloud científica"). This platform will provide access to a set of services related to huge processing power and storage, repeatability of experiments, and control of data source (provenance). The platform is based on a PaaS (platform-as-a-service) infrastructure that allows a rapid deployment of personalized services, offered according to a SaaS (software-as-a-service) model. The set of services also includes a broker responsible for resource allocation in different IaaS providers, according to specific security requirements and workloads demanded for e-science applications.

  • ARCOS - ARchitecture for COntrol and Supervision
    • Website: http://www.lasid.ufba.br/projetos/arcos.htm

    • Members: Coordinator -- Dr. Raimundo José de Araújo Macêdo

    • Summary: The ARCOS Project is an ongoing academic effort aimed at the construction of a highly configurable and open software platform devoted to the development of industrial supervision and control applications. The research is carried out in the Distributed System Laboratory (www.lasid.ufba.br) in the context of the Post-Graduation Program on Mechatronics at UFBA (www.mecatronica.ufba.br). The ARCOS project is based on the concepts of real-time components, vertical frameworks, and open standards. The research effort involves the definition of the basic framework, application management and assembly tools, demonstration applications, support for dependability (failure detection, group communication, and active replication), and support for static and dynamic adaptation, among other features.The work force of the project counts on the work of several Master students of the Post-Graduation Program on Mechatronics, and a few research grants, from CAPES and Fapesb.

  • Sistemas Distribuídos Híbridos, Confiáveis e Auto-Adaptáveis: Modelos e Plataformas
    • Website: http://www.lasid.ufba.br/projetos/hibridos.htm

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

    • Members: Pesquisadores do LaSiD

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

  • Real-time communication using Ethernet
    • Website: http://www.lasid.ufba.br/projetos/temporeal.htm

    • Financial Support: PIBIC-FAPESB

    • Members: Coordinator -- Dr. George Lima

    • Summary: This is an undergrad research project that aims at the implementation of a new Ethernet-based real-time communication protocol, called DoRiS (An Ethernet Double Ring Service). The protocol is being proposed in the context of the MSc program on Mecatronics and is the goal of a project described earlier.

  • SAREK - A Reliable Web services Composition Framework
    • Website: http://www.lasid.ufba.br/projetos/sarek/sarek.php

    • Members: Coordinator -- Dr. Daniela Barreiro Claro and Dr. Raimundo José de Araújo Macêdo

    • Summary: SAREK is a modified and enhanced version of SPOC , where its internal architecture has been re-designed and fault-tolerant mechanisms introduced in order to attain highly available compositions. The architecture of SAREK is divided into two major modules: the Planner and the Executor. The first module, the Planner, aims to automatically determine the activities for a given composition. The Executor module executes the composition defined by the Planner activating alternative execution paths when necessary (due to failure of composite services). The modules are interrelated and they communicate themselves. The output parameters of the Planner module are the input parameters for the Executor module. Figure 1 depicts SAREK with both modules and their interrelations.

  • MDAPSEE - Um Ambiente para Especificação e Execução de Processo de Software Dirigido a Modelos
    • Website: http://www.lasid.ufba.br/projetos/MDAPSEE.htm

    • Financial Support: Fapesb

    • Members: Coordinator -- Rita Suzana Pitangueira Maciel; Undergraduate studants -- Bruno Carreiro da Silva, João Pedro Dantas Bittencourt de Queiroz, Fabrício de Oliveira Alves and Ramon Araújo Gomes

    • Summary: Este projeto tem como objetivo geral uma abordagem para especificação, implementação e avaliação de um Ambiente de Engenharia de Software Centrado em Processos (PSEE Process Centered Software Engineering Environment) voltado particularmente para o desenvolvimento de aplicações através da abordagem do desenvolvimento dirigido por modelos (DDM) de acordo com o padrão Model Driven Achitecture (MDA) da Object Management Group (OMG) integrado a geração de Testes Dirigidos por Modelo.

  • WGWSOA: Uma Arquitetura Orientada a Serviços de Middleware para a Interoperabilidade de Groupware
    • Website: http://www.lasid.ufba.br/projetos/WGWSOA.htm

    • Financial Support: Fapesb

    • Members: Coordinator -- Rita Suzana Pitangueira Maciel

    • Summary: WGWSOA (Web-based Groupware Service-Oriented Architecture) é uma arquitetura orientada a serviços de middleware cujo objetivo é apoiar a reutilização e a interoperabilidade entre sistemas colaborativos. É uma arquitetura na qual os serviços utilizados são serviços de middleware de acordo. Adicionalmente, é uma plataforma independente e pode ser mapeada para diferentes ambientes de middleware

  • MODDEN - Uma Plataforma de Suporte a Engenharia de Domínio Dirigida a Modelos
    • Website: http://www.lasid.ufba.br/projetos/WGWSOA.htm

    • Financial Support: Fapesb

    • Members: Coordinator -- Rita Suzana Pitangueira Maciel

    • Summary: Este projeto tem como objetivo especificar um processo que integra a Engenharia de Domínio (ED) e o Desenvolvimento Dirigido por Modelos (DDM), para construção de artefatos (modelos, componentes, serviços, etc.) que possam ser reutilizáveis em aplicações de um mesmo domínio. Além disso, objetiva também o desenvolvimento de uma ferramenta que apóie o uso deste processo por equipes de desenvolvimento de software.

  • SMART - Scheduling in Multiprocessor Architectures with Real-Time Guarantees
    • Website: http://www.lasid.ufba.br/projetos/SMART.htm

    • Financial Support: CNPq

    • Members: Coordinator -- George Marconi de Araújo Lima

    • Summary: Atualmente é comum o uso de processadores multinúcleos, mesmo em simples computadores pessoais, alguns dos quais já estão equipados com processadores 8 núcleos, a exemplo dos processadores I7 e Xeon da Intel, comercializados a preços modestos. Protótipos da própria Intel já possuem chips com 80 núcleos enquanto que previsões de especialistas afirmam que em 2017 existirão máquinas com até 4096 núcleos de processamento num único chip. Neste contexto, será necessário grande investimento na adaptação de aplicações e sistemas operacionais para lidar com tal grau de paralelismo. Tais constatações motivam o presente projeto, que visa elaborar soluções adequadas para lidar com sistemas de tempo real em arquiteturas multiprocessadas. Mais precisamente, objetiva-se desenvolver: 1) Políticas de escalonamento adaptáveis e parametrizáveis; 2) Técnicas de análise de escalonamento adequadas e eficientes. Este projeto recebe financiamento do CNPq (Edital Universal) no valor de R$ 15.000,00.

  • ESTER - Escalonamento em Sistemas de Tempo Real: Lidando com Incertezas e Adaptação
    • Website: http://www.lasid.ufba.br/projetos/ESTER.htm

    • Financial Support: FAPESB

    • Members: Coordinator -- George Marconi de Araújo Lima

    • Summary: Sistemas de tempo real são aqueles especificados em função do tempo (real) em que suas ações devem produzir resultados. Para estes sistemas, escalonamento é um problema fundamental, cujas soluções são peça-chaves na garantia de sua correção. Com o avanço tecnológico, e pela ampla necessidade de novas demandas de aplicações de tempo real, esta área de pesquisa enfrenta novos desafios. A complexidade das novas plataformas de hardware e do software assim como as incertezas provenientes do ambiente requerem dos mecanismos de escalonamento suporte à adaptação e capacidade de lidar com incertezas subjacentes ao seu funcionamento. Apesar de já existirem avanços de pesquisa na área, estes estão ainda em estágios preliminares de desenvolvimento. Ressalta-se ainda o fato de que a comunidade brasileira da área possui muito pouco envolvimento nos temas relacionados ao presente projeto. O projeto ESTER têm como principal objetivo desenvolver modelos e técnicas de escalonamento adequadas aos sistemas de tempo real modernos. Tais modelos devem ser capazes de quantificar as incertezas mencionadas acima e equacioná-las durante a análise de escalonamento de tais sistemas. O projeto ESTER possui financiamento FAPESB (Apoio projeto de pesquisa) no valor de R$ 27.692,00.


 

Academic Cooperations


         
  • Dependable Mechanisms for Dynamic Networks
    • Financial Support: CNPq (Edital Universal Bilateral INRIA/CNPq)

    • Members: UFBA/Brazil: Raimundo Macêdo (Brazilian coordinator), Sérgio Gorender, Alírio Sá, Allan Freitas and Sandro Santos Andrade; IRISA/France: Achour Mosteafaoui (French coordinator), Michel Raynal and Damien Imbs; LIP6/France: Pierre Sens, Luciana Arantes, Gael Thomas and Julien Sopena; USP/Brazil: Alfredo Goldman, Paulo Floriano and Marcio Vinicius dos Santos

    • Summary: The aim of this project is to exploit dependable aspects of dynamic distributed systems such as Mobile Ad-hoc Networks (MANET), Vehicular Ad-hoc Networks (VANET),Worldwide Interoperability for Microwave Access (WiMax), Airborn Networks, DoD Global Information Grid, peer-to-peer(P2P), etc. Applications that run on these kind of networks have a common point: they are extremely dynamic both in terms of the nodes that take part of them and available resources at a given time. Such dynamics results in unpredictability and uncertainty of the environment which provide great challenges for the implementation of dependable mechanisms that ensure the correct work of the system.

  • JiT Clouds: increasing the elasticity of cloud computing providers through federation of amortized computing resources
    • Financial Support: MCT/CTIC/RNP - Cloud Computing

    • Members: Coordinators -- Dr. Francisco Vilar Brasileiro (UFCG) and Dr. Philippe Olivier Alexandre Navaux (UFRGS); Researchers at UFBA -- Dr. Raimundo José Araújo de Macêdo (local coordinator), Dr. Marcos E. Barreto, Dr. Alírio S. Sá; PhD student at UFBA -- Allan Edgard S. Freitas; Undergraduate students at UFBA -- Marivaldo Júnior, Vinícius Santos

    • Partners institutions: UFCG, UFRGS, UFBA, CESAR, IFPB, LNCC, PUC-PR, PUC-RJ, UFPB, UFPE, UFSC, UFSCAR, UNICAMP, UNIFOR, UNISINOS, Universidade do Minho (Portugal) e Cambridge University

    • Summary: Cloud computing allows IT provision as an on-demand service. Among the several benefits this new paradigm provides, the elasticity (the user's ability to increase or decrease the capacity of his IT infrastructure without additional costs) is the most important characteristic, as it transfers to the service provider all risks and costs associated with IT's capacity planning. The "state-of-practice" on IT provision as a service (IaaS) imposes a limit to this elasticity, as the service provides must keep its operating costs at an acceptable value while ensuring a highly availability of services. As a consequence, the number of applications that can benefit from this paradigm is restricted. In this project, we investigate an alternative approach for IaaS deployment, in which ownership costs only incur when the resources needed to sustain the infrastructure are demanded by clients; thus allowing an increase of several orders of magnitude in the limit that must be imposed to the clients. Besides these issues, the coupling with other cloud computing levels will be also considered.

  • Analysis of performance models for hybrid, high performance architectures
    • Financial Support: UFBA/PROAE - Programa Permanecer 2010/2011

    • Members: Coordinators -- Dr. Marcos Ennes Barreto (UFBA); Collaborators -- MSc. Murilo Boratto (UNIVASF) and Dr. Gesil Amarante Segundo (UESC);Undergraduate students at UFBA -- Cairo Moreira Andrade, Tarço Dourado Silva, David Sodré Lins

    • Partners institutions: UFBA, UNVIASF and UESC

    • Summary: In this project we study some performance models used in the context of high-performance systems, specially those comprised by multicore CPUs and GPUs. Our goal is to identify capability metrics, limitations related to applications support, design tools currently available and specific aspects of each hardware platform. We also consider the study of different types of high-performance applications, such as highly-coupled, bag of tasks and data intensive applications, mainly with respect of minimum number of threads, quantity (and size) of data to be processed/moved, bottlenecks, and so on. We aim at to establish a set of characteristics and requisits for each class of applications. In general, we hope that this project produces a good revision on the "state-of-the-art" regarding the adequacy of the existing performance models in relation to hybrid (CPUs + GPUs) scenarios, as well as points some possible extensions or adjustments to these models in order to better support such scenarios.

  • Automação e Sistemas de tempo real

 

Innovation Technology Projects


         
  • Desenvolvimento de uma Solução Integrada para Telefonia IP
    • Website: http://www.lasid.ufba.br/projetos/telefoniaIP.htm

    • Financial Support: Fapesb

    • Members: Coordinator -- Dr. Sérgio Gorender

    • Summary: Atender a necessidades de telefonia através de uma solução integrada composta de servidor com hardware otimizado e corretamente dimensionado com funcionalidades de PABX em linha digital E1 integradas a telefonia IP, dispositivo que permita a utilização dos recursos fornecidos pelo servidor por usuários em um telefone convencional ou telefone IP de baixo custo e um software de parametrização e gestão dos recursos do servidor por usuários sem conhecimento técnico, com interface amigável.


 

Projects with the Industry


         
  • SANMINA-SCI - Confiabilidade e Disponibilidade de Sistemas Industriais Críticos
    • Website: http://www.lasid.ufba.br/projetos/sanmina.htm

    • Summary: O LaSiD (Laboratório de Sistemas Distribuídos) da UFBA, ao longo de sua existência, tem contribuído com a área cientifica e tecnológica relacionado à confiabilidade de sistemas distribuídos, inclusive tendo desenvolvido vários conceitos inovadores na área, como, por exemplo, um sistema de monitoramento e diagnóstico de falhas para sistemas distribuídos. Tais publicações e inovações foram publicadas em conferências e revistas nacionais e internacionais e podem ser consultados em http://www.lasid.ufba.br/public/publicacoes.html. O presente projeto visa ao aperfeiçoamento dos aspectos de confiabilidade e disponibilidade relacionados a sistemas críticos, típicos de uma Industria como a SANMINA-SCI e conta com a participação de dois alunos de Mestrado (um deles com bolsa financiada pela SANMINA-SCI) e alunos de iniciação científica. O cooperação com a SANMINA-SCI, no contexto da Lei de Informática, tem possibilitado ganhos, tanto para os alunos da UFBA envolvidos no projeto, que encontram um ambiente profissional para aplicar e testar seus conhecimentos, quanto para a SANMINA-SCI, que tem a possibilidade de aproveitar resultados na melhoria de seus processos. O Convênio UFBA/SANMINA-SCI foi celebrado em 2002 e já está em seu 8o Termo Aditivo (Maio/2006)


 

Past Projects and Cooperations


         
  • JABIL - Laboratório de Pesquisa e Desenvolvimento em Automação de Processos Industriais
  • BCG - Base confiável de Comunicação em Grupo
    • Website: http://www.lasid.ufba.br/projetos/bcg.html

    • Members: Pesquisadores do LaSiD

    • Summary: 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 está sendo implementada em linguagem C++, numa plataforma UNIX, numa rede de estações de trabalho conectadas via rede Ethernet sobre o protocolo TCP/IP. Atualmente, uma parte do núcleo encontra-se implementada (Detector de Falhas, Protocolo de Ordem Total e uma versão preliminar do Membership).

  • Communication Protocol for Industrial Networks based on Ethernet
    • Website: http://www.lasid.ufba.br/projetos/pcethernet.htm

    • Financial Support: FAPESB

    • Members: Coordinator -- George Marconi Lima

    • Summary: The research carried out here is closely related to the IARA project. The main focus here is designing a new Ethernet-based communication protocol capable of integrating hard and soft real-time traffics in a single Ethernet bus. The innovation here is the way the bus arbitration scheme is designed, making use of two logical rings together with a TDMA approach. The protocol is being called DoRiS, which stands for An Ethernet Double Ring Service for Real-Time Systems.

  • LOCUS - Lógica para Concorrência e Sincronização
  • FlexGroup - Atender aos requisitos de flexibilidade, extensibilidade, desempenho, confiabilidade, facilidade de compreensão e uso, impostos por uma aplicação
    • Website: http://www.lasid.ufba.br/projetos/flexgroup.html

    • Summary: 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.

  • ARGO - Tolerância a Falhas em Sistemas Distribuídos Assíncronos
    • Website: http://www.lasid.ufba.br/projetos/argo/index.html

    • Summary: 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 de formação de grupos, sincronização nas mudanças da composição dos grupos, etc.), a partir de uma abordagem inovadora que permita limitar e controlar as disfunções típicas dos sistemas 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). Este projeto visa obter como resultado principal a implementação de um protótipo capaz de garantir requisitos de confiabilidade num sistema distribuído assíncrono. Adicionalmente, adotaremos técnicas que levem requisitos temporais em consideração, permitindo, portanto, garantias de qualidade de serviço (QoS). Nosso objetivo é associar propriedades QoS orientadas para o tempo ao nosso serviço de comunicação baseado em grupo. A incorporação de tais requisitos não é simplesmente uma questão de performance. De fato, aspectos temporais e de prognóstico são os requisitos não-funcionais fundamentais a serem alcançados. Pretende-se atacar, no mínimo, a questão geral de garantias probabilísticas dos aspectos temporais, cobrindo assim um aspecto fundamental ainda não explorado no escopo dos sistemas distribuídos assíncronos.

  • Monitor - Um ambiente para o diagnóstico e gerenciamento de sistemas distribuídos
    • Website: http://www.lasid.ufba.br/projetos/monitor.html

    • Members: Coordinator -- Raimundo José de Araújo Macêdo;

    • Summary: O projeto Monitor tem como objetivo o desenvolvimento de uma ferramenta para a monitoria de serviços distribuídos sobre no ambiente JAVA/CORBA. MONITOR é uma ferramenta totalmente distribuída e tolerante a falhas. Ela é comporta de dois módulos principais : o SDF (Servico de diafnóstico de falhas) e o SGD (serviço de gerenciamento distribuído). O SDF é como objetivo diagnosticar um determinado conjunto de objetos/processos, através de uma monitoria constante de comportamento dos objetos e dos canais de comunicacao. Com os dados fornecidos pelo SDF, o SGG pode criar novos objetos para substituir objetos diagnosticados como falhos, mover objetos para estacoes menos carregadas pra melhorar o desempenho do sistema, etc. Monitor trabalha sobre sistemas assíncronos onde limites de tempo (timeouts) não podem ser usados como indicação precisa de falhas e/ou estabelecimento do Diagnóstico. Para gerar Diagnósticos, além de timeouts adaptáveis, consultas ao sistema operacional e consultas a agentes SNMP, o SDF usa um protocolo de decisão tolerante a falha em duas fases (two-phase commit). O SDF, que também inclui uma ferramenta visualizadora, foi implementado e testado num ambiente JAVA/CORBA na rede de computadores do LaSiD/UFBA [BM/01]. Atualmente (Fev/2001) estamos iniciando o projeto e implementação do módulo SGD que incluirá também uma ferramenta de gerencia.

  • MARES - Plataform suporting Mobile-Agent based REliable and Correct Applications
    • Website: http://www.lasid.ufba.br/projetos/mares.html

    • Financial Support: CNPq

    • Members: Coordinator -- Raimundo José de Araújo Macêdo

    • Summary: O objetivo do projeto MARES (Plataform suporting Mobile-Agent based REliable and Correct ApplicationS) é construir uma plataforma que suporte o desenvolvimento de aplicações baseadas em agentes móveis corretas e confiáveis, ou seja, aplicações baseadas em agentes que atendam aos reuisitos de seus usuários e que sejam tolerantes a falhas e possuam semântica transacional. A plataforma MARES se baseia na BCGmóvel, a nova versão da plataforma de comunicaçãi em grupo BCG, desenvolvida pelo LaSiD. Sobre a BCGmóvel serão implementados protocolos protocolos para tolerância a falhas e para garantir o comportamento transacional de aplicações baseadas em agentes. Ferramentas de suporte à geração de programas baseados em agentes móveis corretos completam a arquitetura. No contexto deste projeto, um sistema de gerenciamento de workflows está sendo desenvolvido, chamado MABflow (Mobile Agent-based Workflow Management System). Neste sistema, agentes móveis são utilizados na automatização da execução de processos comerciais.

  • ForMOS - Métodos Formais para Código Móvel em Sistemas Abertos
  • IQ-Mobile - Improving the Quality of open Systems with Code Mobility through Rigorous Development
    • Website: http://www.inf.pucrs.br/~formos/iqmobile.htm

    • Summary: 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.

  • IARA - Integrated Architecture for Real-Time Applications
    • Website: http://www.lasid.ufba.br/projetos/iara.htm

    • Financial Support: CNPq, CAPES, FAPESB

    • Summary: 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 fornece 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 foi encontrar meios adequados para que tal integração fosse 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.

  • Modelos para sistemas distribuídos híbridos e adaptativos, tolerantes a falhas
    • Website: http://www.lasid.ufba.br/projetos/modha.htm

    • Financial Support: CNPq, FAPESB

    • Summary: O presente projeto representa um esforço inovador na busca de modelos híbridos (algoritmos e provas de correção) para a construção de sistemas distribuídos confiáveis e adaptáveis. Os sistemas desenvolvidos nesse modelo devem ser capazes de funcionar tanto em ambientes assíncronos quanto síncronos ou com caracteristicas hibricas (algumas partes síncronas e outras assíncronas), tipicamente o que ocorre em sistemas de tempo real distribuídos com características híbridas (e.g., com algumas tarefas críticas e outras não criticas) e em arquiteturas de QoS. Os resultados parciais já obtidos no contexto dessa pesquisa, incluem a definição de um modelo híbrido e adaptativo e uma implementação baseada em arquiteturas de QoS.