Uma abordagem, baseada em framework e na técnica de descrição formal Estelle, para o desenvolvimento de sistemas de arquivos paralelos distribuídos (2006)
- Authors:
- Autor USP: MANTOVAN, ULISSES - EP
- Unidade: EP
- Sigla do Departamento: PCS
- Subjects: DESCRIÇÃO DE SISTEMAS; ARQUITETURAS PARALELAS; SIMULAÇÃO DISTRIBUÍDA; FRAMEWORKS
- Language: Português
- Abstract: O constante aumento da velocidade de processamento, devido principalmente à utilização de um número cada vez maior de processadores, tem propiciado grandes avanços no projeto e na construção de sistemas computacionais paralelos. Entretanto o desempenho de muitas aplicações é afetado pela latência das operações de Entrada e Saída de dados. Para solucionar esse problema, sistemas de arquivos paralelos, que oferecem acesso paralelo aos dados armazenados em diversos discos, vêm sendo desenvolvidos. O desenvolvimento desses sistemas complexos pode ser beneficiado pela adoção de Técnicas de Descrição Formal (TDFs), durante as fases de projeto e especificação dos mesmos, as quais podem ser aliadas a técnicas de implementação durante as demais fases. Neste sentido, este projeto propõe uma abordagem baseada em frameworks e na TDF Extended State Transition Language (Estelle), para a especificação formal, validação, implementação e teste de sistemas dessa categoria. Um framework que descreve um sistema funcional é apresentado, e dois estudos de caso são desenvolvidos dando origem a dois sistemas de arquivos derivados do framework. Uma metodologia para a validação, que usa ferramentas de simulação, é apresentada. Um dos estudos de caso é implementado semi-automaticamente, a partir de sua especificação formal Estelle, e comparações de desempenho com o mesmo sistema implementado manualmente são realizadas
- Imprenta:
- Data da defesa: 07.07.2006
-
ABNT
MANTOVAN, Ulisses. Uma abordagem, baseada em framework e na técnica de descrição formal Estelle, para o desenvolvimento de sistemas de arquivos paralelos distribuídos. 2006. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2006. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19092006-162648/. Acesso em: 23 abr. 2024. -
APA
Mantovan, U. (2006). Uma abordagem, baseada em framework e na técnica de descrição formal Estelle, para o desenvolvimento de sistemas de arquivos paralelos distribuídos (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19092006-162648/ -
NLM
Mantovan U. Uma abordagem, baseada em framework e na técnica de descrição formal Estelle, para o desenvolvimento de sistemas de arquivos paralelos distribuídos [Internet]. 2006 ;[citado 2024 abr. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19092006-162648/ -
Vancouver
Mantovan U. Uma abordagem, baseada em framework e na técnica de descrição formal Estelle, para o desenvolvimento de sistemas de arquivos paralelos distribuídos [Internet]. 2006 ;[citado 2024 abr. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19092006-162648/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
