28 resultados para fratura padronizada


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este trabalho apresenta o método dos elementos finitos em conjunto com métodos numéricos especificos para a solução de problemas de fratura. Esta é uma poderosa ferramenta para a análise de fraturas e soluções confiáveis são obtidas para problemas complexos de Engenharia tanto no campo linear como no não-linear. O elemento finito. implementado é do tipo isoparamétrico quadrâtico da família Serendipity. Com dois graus de liberdade por nó, permite discretizar em estado plano de tensão ou deformação estruturas com geometrias bastante variadas. Para a análise linear são implementadas quatro técnicas consagradas para a avaliação do fator de intensidade de tensão no modo I de fratura: extrapolação de doslocamentos (usando malha somente com elementos convencionais e malha mesclada com elementos especiais), taxa de liberação de energia de defermação, extensão virtual da trinca e o método da integral J, descartando-se neste caso a hipótese de descarregamento. A linguagem de programação adotada é o FORTRAN 77. A entrada de dados é feita por intermédio de arquivos previamente preparados. Os resultados obtidos são confrontados com resultados experimentais e computacionais fornecidos por outros programas. Analisam-se placas, estruturas de uso na indústria e simulam-se ensaios como o corpo de prova de flexão em três pontos e o corpo de prova de tensão. compacto.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este trabalho apresenta uma abordagem numérica da fratura baseada no Método dos Elementos Finitos na qual são considerados materiais frágeis como objeto de estudo. As simulações realizadas são possíveis através de um algoritmo computacional que consiste na implementação de molas entre as faces dos elementos finitos. Esta composição constitui o método denominado Interfaces Coesivas. As molas fornecem o efeito de coesão e é representado por leis constitutivas do tipo bi-linear. Sua descrição é apresentada, bem como sua implementação na análise. Tanto o modo I como o modo II de ruptura são considerados. Com o objetivo de verificar o presente modelo com outros resultados e soluções, são analisados exemplos numéricos e experimentais extraídos da literatura. Tais exemplos tratam da nucleação, propagação e eventuais paradas de trincas em peças estruturais submetidas aos mais diversos carregamentos e condições de contorno. É ainda discutido como os parâmetros de fratura do material interferem no processo de ruptura. Uma tentativa é feita de determinar estes parâmetros, em especial no caso de concreto.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Estudou-se, através do método eletroquímico de permeação, a difusão de hidrogênio no ferro puro e no aço DIN 90MnV8. Observou-se nestes materiais, que o coeficiente aparente de difusão de hidrogênio diminui no decorrer dos transientes de permeação, tendo-se interpretado este comportamento como causado pela presença de armadilhas reversíveis. Deduziu-se, para transientes de permeação obtidos entre dois estados estacionários de difusão, que a variação da concentração de hidrogênio preso a armadilhas reversiveis é dada por: Delta Ca = Na. In [(1+alfa)1/2 dividido por (1+beta)1/2], alfa = K.Co/p beta=K.Cl/p sendo Na a densidade de armadilhas; k e p, os parâmetros de captura e de liberação de uma armadilha e Co e Cl, a concentrasão inicial e final de H. Mediu-se, no ferro recozido, um coeficiente médio de difusão de hidrogênio de 6,4.10-5 cm²/s. A deformação com 50% de trabalho a frio no ferro reduz este valor em aproximadamente uma ordem de grandeza. Verificou-se no aço DIN 90MnV8 que o coeficiente de difusão de hidrogênio aumenta com o aumento dn temperatura de revenimento após a têmpera, atingindo o valor máximo de 7,0.10-6 cm²/s no aço esferoidizado. A dependência térmica do coeficiente de difusão no aço DIN 90MnV8 esferoidizado pode ser expressa por: D = 1,95 (+0,49) exp (-30,43kJ/mol.R.T.) (cm²/s) e neste mesmo aço temperado e revenido com 55RC de dureza por : D=0,29 (+- 0,05 ) exp (-28,47kJ/mol.R.T.) ( cm²/s). Uma nova metodolagia fractomecânica foi introduzida, a qual permite a determinação da cnncentração crítica de hidrogênio necessária para provocar o avanço de uma trinca estacionária. Observou-se no aço DIN 9OMnV8, que a concentração crítica de hidrogênio diminui com o aumento da dureza do aço e é menor quando um valor maior de KI é aplicado. O modo de fratura apresentado Por este aço revelou ser independente da concentração de hidrogênio e do valor de KI, sendo função unicamente de sua dureza.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

o objetivo deste trabalho é a análise de barragens de gravidade de concreto desde a faseda sua construção até sua completa entrada em serviço. Inicialmente é feita a análise da fase construtiva, onde o problema fundamental é devido às tensões térmicas decorrentes do calor de hidratação. O método dos elementos finitos é empregado para a solução dos problemasde transferência de calor e de tensões. A influência da construção em camadas é introduzidaatravés da redefinição da malha de elementos finitos, logo após o lançamento de cadacamada de concreto. Uma atenção especial é dada ao problema de fissuração em estruturas de concreto simples.Algunsmodelos usuais são apresentados, discutindo-se a eficiência dos mesmos. Os modelosde fissuração distribuída têm sido preferidos, em virtude dos vários inconvenientes apresentados pelas formulações discretas. Esses modelos, entretanto, fornecem resultados dependentesda malha de elementos finitos e alguma consideração adicional deve ser feita para corrigiressas distorções. Normalmente, tenta-se corrigir esse problema através da adoção de umaresistênciaà tração minorada que é definida em função da energia de fratura do material. Neste trabalho, é demonstrado que esse procedimento não é satisfatório e é proposta uma novaformulaçãopara a análise de grandes estruturas de concreto. A análise das tensões na etapa de construção da barragem é feita com o emprego de um modelo constitutivo viscoelástico com envelhecimento para o concreto. Em virtude do envelhecimento,a matriz de rigidez da estrutura é variável no tempo, devendo ser redefinida e triangularizadaem cada instante. Isto leva a um grande esforço computacional, sobretudo, quandoa barragem é construída em muitas camadas. Para evitar esse inconveniente, adota-se um procedimento iterativo que permite que a matriz de rigidez seja redefinida em poucas idadesde referência. Numa segunda etapa da análise, a barragem é submetida à pressão hidrostática e a uma excitação sísmica. A análise dinâmica é realizada considerando-se o movimento do sistema acoplado barragem-reservatório-fundação. O sismo é considerado um processo estocásticonão estacionário e a segurança da estrutura é determinada em relação aos principais modos de falha

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A caracterização de desempenho e uma atividade fundamental na area de controle industrial. Por se tratar, na maior parte das vezes, de aplicações de tempo real, a caracterização de desempenho torna-se ainda mais necessária e importante. Entretanto, atualmente não há nenhuma metodologia estabelecida para realizar esta caracterização. Não há nem mesmo um conjunto de parâmetros que devem ser avaliados em um equipamento de controle utilizado em processos industriais. Para tentar suprir esta carência, este trabalho apresenta uma proposta de métricas e workloads para serem utilizados na avaliação de desempenho de sistemas de controle baseados em CLPs e CPUs Industriais. O processo de avaliação de desempenho e discutido em todas as etapas, desde o estudo da aplicação at e a execução dos passos de caracterização de desempenho. Para ilustrar a aplicação das métricas, técnicas e procedimentos propostos, são avaliadas três CPUs Industriais, e os resultados s~ao apresentados ao nal do trabalho. Espera-se assim estar contribuindo para o estabelecimento de uma metodologia padronizada para avaliação de desempenho de equipamentos de controle industrial.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Estudou-se o comportamento do aço inoxidável ABNT 304 à corrosão-sob-tensão (C.S.T.) em soluções aquosas com 0,1%, 3,5% e 20% de NaCl, na temperatura de 103°C, através de ensaios de carga constante. Com auxílio das técnicas e conceitos de Mecânica de Fratura Linear Elástica e das análises eletroquímicas procurou-se encontrar as condições em que ocorre C.S.T. no sistema aço inoxidável austenítico/solução aquosa de NaCl a 103°C. Utilizou-se o corpo-de-prova do tipo dupla viga em balanço (T-notch double cantilever beam: TN-DCB), com intuito de observar a influência do fator de intensidade de tensão, concentração da solução e potencial eletroquímico. Estimou-se o valor do fator de intensidade de tensão limite (KICST) e a velocidade de propagação das trincas; também foram analisadas outras importantes características em termos mecanísticos. Definiu-se faixas de potenciais e valores de intensidade de tensão a partir dos quais ocorre o surgimento de trincas por C.S.T.. Fêz-se análises metalográficas dos corpos-de-prova onde se pode constatar trincas transgranulares bem típicas do fenômeno de C.S.T.. Foram feitos alguns testes em solução aquosa saturada de MgCl2, em ebulição, para se comparar as diferentes soluções quanto ao fenômeno de C.S.T.. Alterou-se as dimensões do corpo-de-prova para avaliar a orientação da propagação das trincas por C.S.T..

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A ciência moderna apresentou significativo avanço a partir do desenvolvimento da análise diferencial. A transformação de equações diferenciais de alta ordem em sistemas de equações algébricas foi possível através do desenvolvimento de métodos numéricos, constituindo este, outro grande avanço. Dentro desses pode-se destacar os métodos de diferenças finitas, dos elementos finitos, dos elementos discretos e mais recentemente, os elementos de contorno. Neste trabalho, faz-se uma contribuição ao desenvolvimento do Método dos Elementos Discretos para aplicações na Mecânica do Contínuo, na Mecânica da Fratura, assim como na determinação do dano em elementos estruturais submetidos a cargas. Neste método, a discretização espacial no modelo se realiza mediante um conjunto de massas ligadas entre se por forças materializadas como um arranjo de barras de treliça com rigidez equivalente ao contínuo que se quer representar, e mediante um esquema de integração explícita, se realiza a integração das equações de movimento no tempo. Verifica-se a validade e a capacidade do método em predizer o efeito de tamanho em elementos de concreto e concreto armado, obtendo-se uma excelente correlação com ensaios encontrados na literatura técnica, além de importantes conclusões a respeito da aplicação de cargas estáticas e dinâmicas, tanto em padrões de fissuração ou ruptura, quanto aos valores limites de resistência dos materiais ou cargas aplicadas, dando-se importância na geração aleatória das propriedades dos materiais mediante o uso do Método de Representação Espectral.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O presente trabalho relata o estudo realizado na área de lavagem de embalagens provenientes da coleta domiciliar de resíduos sólidos. Foram triadas três tipos de embalagens muito utilizados no dia-a-dia: garrafas PET, embalagens cartonadas (Tetra Pak) e embalagens diversas de PP (polipropileno). Após a triagem das embalagens, as mesmas foram cortadas de forma padronizada com uma guilhotina e submetidas à lavagem por 3 horas com cinco soluções diferentes: água da torneira, solução de detergente a 0,5 % e 1 % e solução de soda cáustica (NaOH) a 1 % e 2 %. Foram feitas coletas da água de lavagem ao início de cada experimento (0 h), antes da adição das embalagens e ao final da lavagem (3h). Foram coletadas, também, amostras aos 15 min, 45 min, 1h 30 min e 2h 30 min, para análise da Demanda Bioquímica de Oxigênio (DBO5). Em complemento, realizou-se a análise das variáveis físico-químicos potencial hidrogeniônico (pH), cor, turbidez, demanda química de oxigênio (DQO), fósforo total, nitrogênio total de Kjeldahl, sólidos totais, sólidos totais fixos, sólidos totais voláteis, sólidos suspensos totais, sólidos suspensos fixos, sólidos suspensos voláteis, sólidos dissolvidos totais, sólidos dissolvidos fixos, sólidos dissolvidos voláteis, sólidos sedimentáveis, coliformes totais, coliformes fecais e demanda bioquímica de oxigênio (DBO5), além de uma avaliação visual do material lavado. Os resultados da caracterização do efluente de cada lavagem mostraram uma grande variabilidade nas variáveis, presença elevada de sólidos e efluente de mau aspecto. É proposto um tratamento para estes efluentes. Houve uma eficiência elevada nas lavagens, o que viabiliza a técnica, com vistas à reciclagem.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Devido às altas tensões envolvidas nos mecanismos de fadiga por contato, o uso de aços de alta dureza é uma exigência na fabricação de mancais de rolamento. Se a dureza de uma das partes em contato é baixa (sendo menor que 58 HRC), a ocorrência da descamação de camadas superficiais torna-se iminente no material menos duro. Estes defeitos superficiais podem, eventualmente, levar o componente a fraturar na direção radial se as tensões circunferenciais trativas forem relativamente elevadas. Os rolamentos que apresentam estes tipos de falhas são fabricados com o aço SAE 52100 temperado e revenido, com têmpera total. Recentemente tem sido sugerida a utilização do aço SAE 52100 processado por tratamento isotérmico para a obtenção de bainita inferior já que esta microestrutura apresenta boa tenacidade e resistência à fadiga associadas a uma alta dureza. Neste trabalho, foram realizados tratamentos térmicos utilizando o aço SAE 52100 a fim de obter microestruturas cujas matrizes fossem, predominantemente, martensita revenida ou bainita inferior. Para a condição martensítica, utilizou-se o tratamento térmico convencional de têmpera e revenido com três temperaturas de revenido para a obtenção de diferentes quantidades de austenita retida na matriz martensítica. Para a condição bainítica, utilizou-se o tratamento de austêmpera para a obtenção de bainita inferior com alto nível de dureza O comportamento mecânico do aço SAE 52100, tratado termicamente nas quatro condições, foi avaliado através de ensaio de tração e ensaio de impacto Charpy. O comportamento em fadiga, por sua vez, foi avaliado através de ensaios de propagação de trinca por fadiga realizados em corpos de prova tensão compacto. Para a determinação da influência da razão de carregamento (R=Kmin/Kmax) sobre o comportamento em fadiga este parâmetro foi variado entre 0,1 e 0,5. Foram realizadas análises fractográficas em todas as superfícies de fratura e de fadiga. Os resultados dos testes indicaram um melhor comportamento em fadiga para o aço SAE 52100 com microestrutura bainítica. No entanto para um R = 0,5, este material apresentou comportamento semelhante ao martensítico de mesmo nível de dureza na região limiar de fadiga. Observou-se o fenômeno de fechamento de trinca nos testes realizados com R de 0,1 e 0,3, sendo este efeito mais pronunciado para o menor valor de R.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O presente trabalho tem como objetivo determinar a pressão de colapso de tubos API 5L X56 de parede fina com trincas longitudinais internas e externas submetidas a pressão interna. Foi utilizado o método R6 conforme a norma BS7910:1999 e a Análise por Elementos Finitos. Foram feitos ensaios de tração e de caracterização da tenacidade do material utilizado por integral J, assim como o modelamento por Elementos Finitos do tubo e a aplicação dos “Failure Assessment Diagram” FAD para determinar a pressão de colapso. Verificou-se que para trincas internas a pressão de colapso é levemente maior que em trincas externas. Isto é mais acentuado para trincas com uma profundidade maior que a metade da parede do tubo. As predições da pressão de colapso em função do tamanho da trinca do método R6 em comparação com alguns resultados experimentais mostraram uma precisão satisfatória, porem em alguns casos não conservadora.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Este trabalho descreve o protocolo de adaptação ATM do tipo 2 (AAL2), e expõe as mudanças que foram realizadas no simulador de rede ATM com a finalidade de estudá-lo. É proposto que se conheça melhor este novo padrão, planejado para baixa taixa de transferência e multiplexação de usuários e pode contribuir nos serviços de tráfego de voz, quando ocorre a integração de diversas aplicações que é o objetivo da B-ISDN. Após algumas explanações sobre o ATM em geral, é descrita de forma detalhada a recomendação I.362 que padroniza o novo AAL. É explicado o comportamento da máquina de estados de transmissão, e como ocorre a temporização para carregar diversos pacotes de voz numa mesma célula. Como foi idealizado para a classe de serviços do tipo VBR em tempo real, comentam-se alguns mecanismos próprios do AAL2 para controle de tráfego e sua influência. Descreve-se a subcamada SSCS proposta para pacotes longos, recentemente padronizada. São apresentados alguns artigos e estudos realizados sobre o AAL2 que descreve quantitativamente o ganho esperado pelo protocolo e levanta algumas questões comparando-o ao AAL1. Por ter sido inicialmente uma necessidade da telefonia celular, realiza-se um breve comentário de estudos dirigidos para a área. Com o intuito de realizar a simulação do protocolo, foi utilizado o simulador de redes ATM, desenvolvido pelo NIST, que possui certas qualidades desejadas para este trabalho, porém, foram necessárias realizar modificações para implementar a camada AAL que não estava prevista na arquitetura original dele. Para se criar um ambiente de testes propício, e com a preocupação de não corromper o funcionamento padrão, foram criadas estruturas semelhantes às existentes e realizadas mudanças sutis, reconhecidas normalmente pelo simulador original. A partir destas simulações, pretende-se deixar uma ferramenta para fazer análises deste protocolo; utilizando modelos de tráfego de voz, a fim de obter informações do seu comportamento. No entanto, este estudo limitou-se somente a demonstrar a verificação e validação do simulador a partir dos resultados gerados. Para verificar a integridade do código fonte original foram utilizados os exemplos do próprio NIST e assim garantir que nada foi alterado. Além disso, o novo módulo foi comparado a norma através de um "debug". Na validação, devido ao fato de não existir uma rede real montada e disponível para testes, foram empregados artigos para comparar os resultados e demonstrar a boa aproximação obtida. Acredita-se que desta forma obteve-se o resultado desejado de um ambiente para estudo e compreensão do AAL2 e que, futuramente, pode ser usado para todos os protocolos da camada AAL.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

As empresas estão atuando, hoje, frente a um mercado global que elevou os padrões de competitividade e intensificou as mudanças no comportamento do consumidor que está cada vez mais exigente, buscando alternativas cada vez mais precisas para o atendimento de suas necessidades. Para tanto, tornou-se necessário o desenvolvimento de uma estratégia de gestão que focasse a eficiência da cadeia de abastecimento como um todo. O Efficient Cosumer Response (ECR) surge na década de 90 para permitir que as empresas respondam a essas mudanças no ambiente. O objetivo do ECR é o de integrar os processos logísticos e comerciais ao longo de toda a cadeia de abastecimento, propiciando a maximização da satisfação ao consumidor, ao mesmo tempo em que permite a redução dos custos excedentes da cadeia. Essa estratégia de gestão, introduzida em 1992 nos Estados Unidos, teve sua difusão no Brasil em 1997, com a criação da Associação ECR Brasil que passou a coordenar diversos projetos-piloto de ECR no País. A partir de então, esse tema ganhou destaque junto aos membros que compõem a cadeia de abastecimento de produtos de mercearia básica. No entanto, existe uma carência de publicações acadêmicas sobre o tema. Amparada na relevância do segmento supermercadista para a economia, e pela constatação da carência de estudos científicos relacionando o tema ao segmento, este trabalho tem por objetivo descrever como os pequenos e médios supermercados de Caxias do Sul trabalham as estratégias que embasam o ECR. Para tanto, inicialmente buscou-se o embasamento, através da literatura existente, sobre os aspectos que compõem o ECR, para, num segundo momento, com base na realização de uma pesquisa exploratória junto a uma amostra não-probabilística, buscar responder ao problema de pesquisa acima exposto. A partir da pesquisa realizada, constatouse que as empresas, participantes da pesquisa, não possuem estrutura, pessoas e tecnologia capazes de suportar a aplicação formalizada e padronizada dos processos que operacionalizam as estratégias como sugerem os modelos conceituais do ECR. No entanto, constatou-se que as estratégias do ECR são utilizadas como elementos-chave para a orientação da gestão das empresas.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A presente dissertação trata da qualidade do atendimento aos clientes do Programa Brasil Empreendedor em Curitiba/PR. O Programa Brasil Empreendedor presta apoio financeiro ao micro e pequeno empresário, financiando recursos a juros menores que os do mercado e oferecendo fac ilidades de pagamento. Envolve o esforço conjunto de três setores da sociedade: o setor governamental (primeiro setor) – representado pelo Ministério do Trabalho e emprego e Banco do Brasil; o setor privado (segundo setor) – representado pelo SEBRAE e por micro e pequenos empreendedores, clientes do Programa Brasil Empreendedor; e o setor de responsabilidade social corporativa (terceiro setor) representado pelo Centro Cape – Centro de Capacitação e Apoio ao Empreendedor – instituição de caráter não governamental. A Fundação Banco do Brasil também participa dessa parceria. Os recursos do Programa Brasil Empreendedor vêm do FAT – Fundo de Amparo ao Trabalhador. O objetivo geral deste trabalho é avaliar a satisfação em relação à qualidade dos serviços de crédito a micro e pequenos empresários do Programa Brasil Empreendedor, na linha de crédito do PROGER Empresarial Urbano, por meio de pesquisa de satisfação dos clientes, considerando todos os processos, do primeiro contato com o cliente ao pós-crédito. Tem como fundamentação teórica o incentivo à micro e pequena empresa por parte do Governo Federal, apresentando o funcionamento do Programa Brasil Empreendedor, suas linhas de crédito, e itens não financiáveis. Pelo fato de o Programa atender a empreendedores, apr esenta-se também a fundamentação teórica sobre empreendedorismo, oportunidade e plano de negócios; marketing empresarial, marketing institucional, marketing social, responsabilidade social e cidadania corporativa; marketing de serviços, seu papel e escopo e marketing mix; marketing financeiro, produtos financeiros, os 4Ps aplicados ao setor financeiro e estratégia de marketing de relacionamento para produtos e serviços financeiros; e finalizando a parte teórica, o terceiro setor. Como método de pesquisa, foi feita a pesquisa de marketing, classificada como descritiva, que utilizou uma técnica padronizada de coleta de dados, descrevendo as características da população (clientes do Programa Brasil Empreendedor) em relação ao problema de pesquisa, descrevendo a situação de mercado. Com base nos dados obtidos, observou-se que, em relação à qualidade do atendimento no primeiro contato, a maioria considera “bom’ os esclarecimentos recebidos; o tempo de atendimento e a cortesia são considerados pela maioria como “muito bom”. Quanto à qualidade do atendimento após o primeiro contato, a maioria considera o tempo de liberação do financiamento, exigência de documentação, facilidade de entendimento do formulário e respostas a informações técnicas ou financeiras como sendo “bom” As opiniões sobre a qualidade do treinamento demonstram que, entre os clientes que participaram do curso “Viabilidade de negócios”, a maioria o considerou “bom”. Foi também pesquisado sobre a opinião dos clientes em relação à qualidade do crédito obtido e qualidade dos benefícios obtidos com o projeto; no geral, a percepção dos clientes entrevistados, com relação à qualidade dos serviços, tendeu a “bom”.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Neste trabalho apresenta-se um método de desenvolvimento integrado baseado no paradigma de orientação a objetos, que visa abordar todo o ciclo de desenvolvimento de uma aplicação tempo real. Na fase de especificação o método proposto baseia-se no uso de restrições temporais padronizadas pelo perfil da UML-TR, sendo que uma alternativa de mapeamento destas restrições para o nível de programação é apresentada. Este mapeamento serve para guiar a fase de projeto, onde utilizou-se como alvo a interface de programação orientada a objetos denominada TAFT-API, a qual foi projetada para atuar junto ao ambiente de execução desenvolvido no âmbito desta tese. Esta API é baseada na especificação padronizada para o Java-TR. Este trabalho também discute o ambiente de execução para aplicações tempo real desenvolvido. Este ambiente faz uso da política de escalonamento tolerante a falhas denominada TAFT (Time-Aware Fault- Tolerant). O presente trabalho apresenta uma estratégia eficiente para a implementação dos conceitos presentes no escalonador TAFT, que garante o atendimento a todos os deadlines mesmo em situações de sobrecarga transiente. A estratégia elaborada combina algoritmos baseados no Earliest Deadline, sendo que um escalonador de dois níveis é utilizado para suportar o escalonamento combinado das entidades envolvidas. Adicionalmente, também se apresenta uma alternativa de validação dos requisitos temporais especificados. Esta alternativa sugere o uso de uma ferramenta que permite uma análise qualitativa dos dados a partir de informações obtidas através de monitoração da aplicação. Um estudo de caso baseado em uma aplicação real é usado para demonstrar o uso da metodologia proposta.