Uma Abordagem, baseada em framework e na técnica de descrição formal Estelle, para o desenvolvimento de sistemas de arquivos paralelos distribuídos. / An approach, based on framework and the formal description technique Estelle, for the development of distributed parallel file systems.
AUTOR(ES)
Ulisses Mantovan
DATA DE PUBLICAÇÃO
2006
RESUMO
The constant increase of processing speed, mainly due to the use of a large number of processors, has allowed an improvement in the design and building of parallel computation systems. However, the performance of several types of applications is affected by the latency originated from Input/Output operations on data. In order to solve this problem parallel file systems, which allow parallel access to the data stored on a set of discs, have been developed. The design of such complex systems can benefit from the adoption of implementation techniques allied with Formal Description Techniques (FDTs). Aimed to introduce the use of FDTs in the development cycle of distributed parallel file systems, this work proposes an approach, based on framework and the FDT Extended State Transition Language (Estelle), for the formal specification, validation, implementation and testing of systems belonging to this domain. A conceptual framework that describes a basic functional system is presented, and two case studies are developed from it. A methodology for Estelle specification validation that makes use of simulation tools is also proposed in this work. One of the systems, developed as a case study, is semi-automatically implemented from its Estelle formal specification, and performance comparisons with a hand-coded implementation of the same system are done.
ASSUNTO(S)
sistemas paralelos validation formal specification especificação formal validação parallel systems
Documentos Relacionados
- Sistemas de Arquivos Distribuídos
- Verificação formal de sistemas discretos distribuídos.
- Controle de acesso para sistemas distribuídos.
- Integration between multi-agent systems and distributed data base systems.
- Avaliação de desempenho de sistemas paralelos baseada em descrição simplificada do programa e da arquitetura.