Especificação formal e validação de um sistema de arquivos paralelos distribuídos

• Processo: 98/02532-8
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de setembro de 1998
• Data de Término da vigência: 30 de abril de 2000
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Wanderley Lopes de Souza
• Beneficiário: Ulisses Mantovan
• Instituição Sede: Centro de Ciências Exatas e de Tecnologia (CCET). Universidade Federal de São Carlos (UFSCAR). São Carlos , SP, Brasil
• Assunto(s): Sistemas distribuídos Ambientes computacionais distribuídos Validação
• Palavra(s)-Chave do Pesquisador: Especificacao Formal | Estelle | Sistemas Distribuidos | Validacao

Resumo

Parallel NetWork File System (PNFS) é um sistema de arquivos paralelos, que está sendo desenvolvido junto à Escola Politécnica da Universidade de São Paulo (EPUSP) como parte dos trabalhos de doutoramento do Prof. Hélio Crestana Guardia, que é docente do Departamento de Computação (DC) da Universidade Federal de São Carlos (UFSCar). Por tratar-se de um sistema baseado num ambiente computacional distribuído, foi necessário a definição de uma arquitetura de protocolos, incluindo a especificação informal das entidades, as primitivas de serviço e as unidades de dados de protocolo. O objetivo deste projeto de mestrado é a especificação formal do sistema PNFS, através da Técnica de Descrição Formal (TDF) Extended State Transition Language (Estelle), e a sua validação, que deverá ser alcançada com o auxílio do ambiente integrado de ferramentas Estelle Simulator/Debuger (Edb) e Estelle-to-C Compiler (Ec). (AU)