Linha de Pesquisa: Redes de Computadores e Sistemas Distribuídos Nome do Projeto: VAS - Verificação de Arquiteturas de Software Docente participante do PEL: Alexandre Sztajnberg Ano de início do projeto: 2003 RESUMO: O objetivo deste projeto é investigar a integração de linguagens de descrição de arquiteturas de software (ADL), utilizando a liguagem CBabel assim como o middleware R-RIO, à técnicas de validação formal como verificação de modelos ("model checking") e uso de provadores de teoremas, no desenvolvimento de aplicações com requisitos funcionais e não-funcionais que podem evoluir dinamicamente. O formalismo da lógica de reescrita é utilizado por suas características interessantes como um framework lógico e semântico, e devido a sua visão unificada de computação e prova. Propomos então definir um método rigoroso para verificação de aplicações complexas e que precisam evoluir dinamicamente, amparadas pelos conceitos de CBabel e formalizado em lógica de reescrita. Será implementada uma ferramenta que suporte este método utilizando o sistema Maude, uma implementação de alto desempenho de lógica de reescrita. A estratégia de ação deste projeto segue a seguinte seqüência de atividades: 1) Formalização da ADL Cbabel e do middleware R-RIO em lógica de reescrita; 2) Produzir estudos de caso simples ("toy examples") simulando a execução de aplicações, definidas em CBabel, sobre o ambiente Maude; 3) Aplicar técnicas de verificação de modelos ("model checking") e prova de teoremas sobre os estudos de caso definidos no passo 2. Utilizaremos lógica temporal linear e o provador indutivo de teoremas disponíveis no sistema Maude de forma a verificar propriedade dos estudos de caso; 4) Desenvolver um estudo de caso mais complexo, idealmente em parceria com o segmento industrial. Financiamento: CNPq PDPG-TI (contrato 552192/02-3, valor total de R$143.635,72 e valor destinado à UERJ de R$71.817,86). Coordenador: Alexandre Sztajnberg (UERJ). Docente participante: Christiano Braga (IC/UFF). Intercâmbios e parcerias: IC/UFF, INF/PUC-RJ, SRG/Univ. Illinois Urbana-Champaign, Univ. Madrid, Univ. Aarus e Advus Ltda. (empresa de software nacional). Alunos participantes: 03 alunos de graduação com bolsa ITI/CNPq (Mateus Mansur (UFF), Julio Heitor Nobrega (UERJ) e Rafael Martinelli (UERJ)), 02 alunos de Mestrado Acadêmico (Fabrício Chalub e Alexandre Rademaker (UFF), este último co-orientado pelo Prof. Alexandre Sztajnberg (UERJ)) e 03 alunos de graduação (Rodrigo Martins, Bernardo Nogueira Hodge e Márcio S. Camilo (UERJ)). Produção: 6 trabalhos em congresso, 1 mini-curso, 4 artigos em periódicos, 2 dissertações de Mestrado, 4 projetos de graduação, organização de evento internacional (Middleware 2003), organização de anais e editoração de volume de periódico. ------------------------------------------------------------------------ Linha de Pesquisa: Redes de Computadores e Sistemas Distribuídos Nome do Projeto: CARAVELA - Contratos para Aplicações em Redes de Alta Velocidade Docente participante do PEL: Alexandre Sztajnberg Ano de início do projeto: 2004 RESUMO: O foco principal é o Gerenciamento de Redes Avançadas, dentro do qual estamos propondo uma nova abordagem, baseada em contratos de alto nível, que permite automatizar diversas atividades de gerenciamento a partir de especificações de QoS associadas à arquitetura da aplicação. A proposta também se relaciona a Protocolos de Rede e Transporte em Redes Avançadas, que engloba diversos mecanismos necessários ao suporte das aplicações. Como aplicação alvo, enfocaremos sistemas de teleconferência e televisão corporativa, enquadrados em Aplicações Multimídia de Tempo Real em Redes Avançadas. Deve-se ressaltar que os mecanismos de especificação e gerenciamento de QoS propostos podem ser imediatamente empregados em aplicações enquadradas em Aplicações Distribuídas de Larga Escala. O projeto CARAVELA tem os seguintes objetivos: (a) Oferecer mecanismos e ferramentas para facilitar o projeto de aplicações que precisam utilizar comunicação de alta velocidade e que tenham requisitos de QoS; (b) Sistematizar o uso dos mecanismos e ferramentas delineados acima e permitir a verificação da aplicação sendo projetada quanto aos seus aspectos formais e operacionais e, (c) Prover abstrações para que usuários possam estabelecer e colocar em execução aplicações com as arquiteturas desejadas sem terem que se preocupar com detalhes específicos dos níveis de suporte e comunicação de alta velocidade. Financiamento: CPqD/RNP/Finep (Projeto GIGA, valor total de R$280.000,00, valor destinado à UERJ de R$23.400,00). Coordenador: Orlando Loques (IC/UFF) Docentes participantes: Alexandre Sztajnberg (UERJ), Ronaldo C. Gismondi (Lâmpada/UERJ), Sergio M. Freire (Lâmpada/UERJ), Julius Leite (IC/UFF), Michael Stanton (IC/UFF - RNP), Christiano Braga (IC/UFF); Maurício Magalhães (DECA/Unicamp), Antônio Jorge Gomes Abelém (INF/UFPA). Intercâmbio e parcerias: IC/UFF, INF/UFPA, DECA/Unicamp e TOC/Petrobras. Alunos participantes: 03 alunos de Mestrado Acadêmico (Leonardo Cardozo (UFF), Alexssandro Corradi (UFF) e Fernando Nazareno Nascimento Farias (UFPA)). Produção: 1 capítulo em livro, 8 artigos em congressos e 6 artigos em periódicos. ------------------------------------------------------------------------ Linha de Pesquisa: Redes de Computadores e Sistemas Distribuídos Nome do Projeto: Ubicomp - Sistemas Computacionais para Aplicações Ubíquas Docentes participantes do PEL: Alexandre Sztajnberg e Marcelo Rubinstein Ano de início do projeto: 2004 RESUMO: As evoluções tecnológicas nas áreas de redes de computadores e de circuitos integrados VLSI possibilitaram o aumento da capacidade de processamento dos computadores, e também a integração de serviços em sistemas portáteis, bem como a interação entre estes sistemas em alta velocidade. Com isto, a forma de se utilizar os sistemas de computação vem sofrendo uma mudança drástica. A idéia é ter acesso aos recursos computacionais de forma ubíqua - não importa onde se esteja - e que o acesso às informações seja pervasivo - o acesso às informações é sempre possível e consistente. Estima-se, já para este início de século, que uma grande parcela da utilização de sistemas computacionais será proveniente de aplicações distribuídas que ainda nem sequer foram concebidas. Durante a realização do projeto espera-se obter: i) o desenvolvimento de técnicas e serviços avançados em sistemas distribuídos; ii) a criação de massa crítica no desenvolvimento de software para dispositivos com poucos recursos computacionais; iii) a criação de aplicações distribuídas para estes mesmos dispositivos em ambientes de redes móveis. Financiamentos: Bolsa Prociência da FAPERJ (valor total de R$99.138,60) e auxílio financeiro APQ1 da FAPERJ (valor total de R$8.000,00). Coordenador: Alexandre Sztajnberg Docentes participantes: Marcelo Gonçalves Rubinstein (UERJ) e Maria Alice Silveira de Brito (UERJ). Alunos participantes: 02 bolsitas PIBIC/UERJ (Angelo Vimeney e Rodrigo de Souza Granja, orientados pelo prof. Alexandre Sztajnberg) e 03 alunos de graduação (Gustavo Villela Guimarães, Sued Lima e Vitor do Valle (UERJ)). Produção: 02 artigos em periódicos, 01 artigo em congresso e 04 monografias de graduação.