Ver registro no DEDALUS
Exportar registro bibliográfico

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:
  • USP affiliated authors: MANTOVAN, ULISSES - EP
  • USP Schools: EP
  • 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
  • Acesso online ao documento

    Online access or search this record in

    Exemplares físicos disponíveis nas Bibliotecas da USP
    BibliotecaCód. de barrasNúm. de chamada
    EPBC31200018034FT-2289
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      MANTOVAN, Ulisses; SOUZA, Wanderley Lopes de. 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.Universidade de São Paulo, São Paulo, 2006. Disponível em: < http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19092006-162648/ >.
    • APA

      Mantovan, U., & Souza, W. L. de. (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. 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, Souza WL de. 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 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19092006-162648/
    • Vancouver

      Mantovan U, Souza WL de. 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 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19092006-162648/

    Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI: